# Logical control of an elevator with defeasible logic

@article{Covington2000LogicalCO, title={Logical control of an elevator with defeasible logic}, author={Michael A. Covington}, journal={IEEE Trans. Autom. Control.}, year={2000}, volume={45}, pages={1347-1349} }

The elevator control program of Dyck and Caines (1995) can be implemented more concisely in d-Prolog, a defeasible logic programming system developed by Nute (1992, 1996, 1997). To demonstrate this, the program is recast, first into ordinary Prolog and then into d-Prolog. In defeasible logic, more specific rules take precedence over more general ones. Thus, the d-Prolog programmer can state general rules and then give explicit exceptions, just as humans do when explaining complex regularities…

## Topics from this paper

## 16 Citations

An implementation of propositional plausible logic

- Computer ScienceProceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)
- 2000

The first complete implementation of propositional plausible logic is reported, which is an extension of defeasible logic that overcomes the latter's inability to represent or prove disjunctions.

DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

- Computer ScienceIEEE Transactions on Knowledge and Data Engineering
- 2007

This paper reports on the implementation of a system for defeasible reasoning on the Web that is syntactically compatible with RuleML, is based on a translation to logic programming with declarative semantics, and is flexible and adaptable to different intuitions within defeasibility reasoning.

Induction of defeasible logic theories in the legal domain

- Computer ScienceICAIL
- 2003

An algorithm is developed that integrates defeasible logic into a decision support system by automatically deriving its knowledge from databases of precedents, comparable to and exceeding other approaches.

Propositional Plausible Logic: Introduction and Implementation

- Computer ScienceStud Logica
- 2001

The implementation is evaluated experimentally, and is shown to be capable of handling tens of thousands of rules and sufficiently many disjunctions for realistic problems and to be the first complete implementation of propositional Plausible Logic.

A Practical Framework for Policy Composition and Conflict Resolution

- Computer ScienceInt. J. Secur. Softw. Eng.
- 2012

A semi-automated framework called Policy Composition and Conflict Resolution framework (P2CR) is presented to address the policy composition problem in a broader scenario in which different entities are interested in composing their independently stated policies while retaining their autonomy.

A review of current defeasible reasoning implementations

- Computer ScienceThe Knowledge Engineering Review
- 2008

An important goal of this paper is to argue for the need for well-designed empirical evaluations, as well as formal complexity analysis, in order to justify the practical applicability of a reasoning engine.

How do you make software components argue? An exploration of argumentative reasoning within autonomous software agents

- Computer Science
- 2007

This work discusses the vision for a non-monotonic reasoning component for software agents, and presents a prototype light-weight Java-based reasoning engine based on defeasible argumentation, a relatively new paradigm in logical reasoning based upon sound theoretical concepts from the study of argument.

Elevator Optimization Control System Design Based on LabVIEW 2010

- Engineering
- 2014

In this project, Labview programming language is used to design the control system of an elevator for multiple users. Based on the use of visual programming by Labview, the project establishes a…

PLC controlled elevator system

- Engineering2013 Students Conference on Engineering and Systems (SCES)
- 2013

This paper presents the control of elevator system using Siemens LOGO PLC. The system is programmed to drive a dc motor for forward and backward motoring mode with sensors at each floor, emergency…

Dynamic Fuzzy Logic Elevator Group Control System With Relative Waiting Time Consideration

- Computer Science, EngineeringIEEE Transactions on Industrial Electronics
- 2014

The first entirely dynamic fuzzy logic EGCS to dispatch landing calls so as to minimize waiting time is proposed, which constitutes an innovative solution that outperforms usual dispatchers but also an easy, cheap, feasible, and reliable solution, which is able to be implemented.

## References

SHOWING 1-10 OF 12 REFERENCES

Prolog Programming in Depth

- Computer Science
- 1988

Prolog as its own Metalanguage, Artificial Intelligence and the Search for Solutions, and Natural Language Processing.

How to Reason Defeasibly

- Computer ScienceArtif. Intell.
- 1992

The construction of a general-purpose defeasible reasoner that is complete for first-order logic and provably adequate for the argument-based conception of defeasibles reasoning that I have developed elsewhere is described.

Defeasible logic graphs: II. Implementation

- Computer ScienceDecis. Support Syst.
- 1998

This method for propagating labels through d-graphs is developed as a means for reasoning about the theory from which the d- graph is generated, and is proven to be sound with respect to Nute's defeasible logic and complete for finite, consistent theories with acyclic d-Graphs.

The logical control of an elevator

- Computer Science, MathematicsIEEE Trans. Autom. Control.
- 1995

This paper presents a detailed example of the design of a logical feedback controller for finite state machines. In this approach, the control objectives and associated control actions are formulated…

Defeasible logic graphs: I. Theory

- Computer ScienceDecis. Support Syst.
- 1998

This method for propagating labels through a d-graph is developed as a means for reasoning about the theory from which the d- graph is generated and is proven to be sound with respect to Nute's defeasible logic and complete for finite, consistent theories with acyclic d-Graphs.

A Logic for Default Reasoning

- Mathematics, Computer ScienceArtif. Intell.
- 1980

This paper proposes a logic for default reasoning, develops a complete proof theory and shows how to interface it with a top down resolution theorem prover, and provides criteria under which the revision of derived beliefs must be effected.

Defeasible Logic

- Computer ScienceINAP
- 2001

A theoretical approach to this problem is described, implementation of this approach as an extension of Prolog is discussed, and some application of this work to normative reasoning, learning, planning, and other types of automated reasoning is described.

Nonmonotonic Reasoning: An Overview

- Computer ScienceCSLI Lecture Notes
- 1997

Nonmonotonicity in logic programming is studied as well as consistency based logics and nonmonotonic inference relations for logic programs with negation in a post-modern setting.

Prolog: an implementation of defeasible logic in Prolog In Non-monotonic extensions of logic programming: theory, implementation , and applications

- Prolog: an implementation of defeasible logic in Prolog In Non-monotonic extensions of logic programming: theory, implementation , and applications
- 1996

d-Prolog: an implementation of defeasible logic in Prolog

- Research report
- 1996