Defeasible Deontic Control for Discrete Events Based on EVALPSN
We have developed an annotated logic program called an EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), which can deal with defeasible deontic reasoning and some kinds of contradiction, and applied EVALPSN to automatic safety verification, traffic signal control, robot action control, etc.. Generally, discrete event control can be represented as deontic rules such as it is forbidden for both the cat and mouse to occupy the same room simultaneously, and must deal with contradiction to avoid unexpected system states. We show that such discrete event control can be easily formalized in EVALPSN. In this paper, we introduce the application of EVALPSN to discrete event control with taking a famous example Cat and Mouse.
Keywordsannotated logic program paraconsistent logic discrete event systems defeasible deontic reasoning EVALPSN
Unable to display preview. Download preview PDF.
- 1.Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible Reasoning Between Conflicting Agents Based on VALPSN. In: Proc. AAAI Workshop Agents’ Conflicts, pp. 20–27. AAAI Press, Menlo Park (1999)Google Scholar
- 2.Nakamatsu, K., Abe, J.M., Suzuki, A.: A Defeasible Deontic Reasoning System Based on Annotated Logic Programming. In: Computing Anticipatory Systems, CASYS 2000, AIP Conference Proceedings, vol. 573, pp. 609–620. American Institute of Physics, New York (2001)Google Scholar
- 4.Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible Deontic Robot Control Based on Extended Vector Annotated Logic Programming. In: Computing Anticipatory Systems, CASYS 2001, AIP Conference Proceedings, vol. 627, pp. 490–500. American Institute of Physics, New York (2002)Google Scholar
- 5.Nakamatsu, K., Abe, J.M., Suzuki, A.: A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. In: Soft Computing Systems, Frontiers in AI Applications, vol. 87, pp. 775–784. IOS Press, Amsterdam (2002)Google Scholar
- 7.Nakamatsu, K., Mita, Y., Shibata, T., Abe, J.M.: Defeasible Deontic Action Control Based on Paraconsistent Logic Program and its Hardware Implementation. In: Proc. CIMCA 2003, CD-ROM (2003)Google Scholar
- 8.Nute, D. (ed.): Defeasible Deontic Reasoning, Synthese Library, vol. 263. Kluwer Academic Publishers, Dordrecht (1997)Google Scholar