Logical control of an elevator with defeasible logic

IEEE Transactions on Automatic Control

Volumn 45, Issue 7, 2000, Pages 1347-1349

  Covington, Michael A ^a  

^a UNIVERSITY OF GEORGIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ELEVATORS; LARGE SCALE SYSTEMS; PROLOG (PROGRAMMING LANGUAGE);

DEFAULTS; DEFEASIBLE LOGIC; LOGIC MODELING;

FORMAL LOGIC;

EID: 0034223824     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.867045     Document Type: Article

References (13)

1. G. Brewka, J. Dix, and K. Konolige, Nonmonotonic Reasoning: An Overview. Stanford, CA: CSLI.
2. M. A. Covington, "Defeasible logic on an embedded microcontroller," in Proc. Tenth Int. Conf. Industrial and Engineering Appl. Artificial Intelligence and Expert Systems (IEA-AIE), 1997.
3. M. A. Covington, D. Nute, and A. Vellino, Prolog Programming in Depth, second ed. Upper Saddle River, NJ: Prentice-Hall, 1997.
4. D. N. Dyck and P. E. Caines, "The logical control of an elevator," IEEE Trans. Automat. Contr., vol. 40, pp. 480-486, 1995.
5. D. Nute, "Basic defeasible logic," in Intensional Logics for Programming, L. Farinas del Cerro and M. Penttonen, Eds. Oxford: Oxford University Press, 1992, pp. 125-154.
6. _, "Defeasible logic," in Handbook of Logic in Artificial Intelligence and Logic Programming, D. M. Gabbay, C. J. Hogger, and J. A. Robinson, Eds. Oxford: Clarendon, 1994, vol. 3, pp. 353-395.
7. _, "d-Prolog: An implementation of defeasible logic in prolog," in Non-Monotonic Extensions of Logic Programming: Theory, Implementation, and Applications, J. Dix, L. M. Pereira, and T. Przymusinski, Eds: Institut für Informatik, Univ. of Koblenz-Landau, 1996, pp. 161-182.
8. _, "Defeasible prolog," in Prolog Programming in Depth, 2nd ed. Upper Saddle River, NJ: Prentice-Hall, 1997, pp. 345-405.
9. D. Nute and K. Erk, "Defeasible logic graphs - I. Theory," Decision Support Syst., vol. 22, pp. 277-293, 1998.
10. D. Nute, Z. Hunter, and C. Henderson, "Defeasible logic graphs - II. Implementation," Decision Support Syst., vol. 22, pp. 295-306, 1998.
11. J. L. Pollock, "How to reason defeasibly," Artif. Intell., vol. 57, pp. 1-42, 1992.
12. R. Reiter, "A logic for default reasoning," Artif. Intell., vol. 13, pp. 81-132, 1980.
13. M. A. Covington, "Defeasible logic on an embedded microcontroller," Appl. Intell., to be published.