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}
}
  • M. Covington
  • Published 1 July 2000
  • Computer Science
  • IEEE Trans. Autom. Control.
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… 
An implementation of propositional plausible logic
  • Andrew Rock, D. Billington
  • Computer Science
    Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)
  • 2000
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
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
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
TLDR
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.
...
1
2
...

References

SHOWING 1-10 OF 12 REFERENCES
Prolog Programming in Depth
TLDR
Prolog as its own Metalanguage, Artificial Intelligence and the Search for Solutions, and Natural Language Processing.
How to Reason Defeasibly
TLDR
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
TLDR
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
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
TLDR
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
  • R. Reiter
  • Mathematics, Computer Science
    Artif. Intell.
  • 1980
TLDR
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
TLDR
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
TLDR
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
...
1
2
...