Advertisement

Defeasible Deontic Control for Discrete Events Based on EVALPSN

  • Kazumi Nakamatsu
  • Hayato Komaba
  • Atsuyuki Suzuki
  • Chung-Lun Lie
  • Sheng-Luen Chung
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3066)

Abstract

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.

Keywords

annotated logic program paraconsistent logic discrete event systems defeasible deontic reasoning EVALPSN 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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
  3. 3.
    Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated Semantics for Defeasible Deontic Reasoning. In: Ziarko, W.P., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol. 2005, pp. 432–440. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 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. 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
  6. 6.
    Nakamatsu, K., Seno, T., Abe, J.M., Suzuki, A.: Intelligent Real-time Traffic Signal Control Based on a Paraconsistent Logic Program EVALP. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds.) RSFDGrC 2003. LNCS (LNAI), vol. 2639, pp. 719–723. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  7. 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. 8.
    Nute, D. (ed.): Defeasible Deontic Reasoning, Synthese Library, vol. 263. Kluwer Academic Publishers, Dordrecht (1997)Google Scholar
  9. 9.
    Ramadge, J.G.P., Wonham, W.M.: The Control of Discrete Event Systems. Proc. IEEE 77(1), 81–98 (1989)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Kazumi Nakamatsu
    • 1
  • Hayato Komaba
    • 2
  • Atsuyuki Suzuki
    • 2
  • Chung-Lun Lie
    • 3
  • Sheng-Luen Chung
    • 3
  1. 1.School of S.H.S.E.University of HyogoHimejiJapan
  2. 2.Dept. InformationShizuoka UniversityHamamatsuJapan
  3. 3.Dept. Electric and ElectronicsNTUSTTaipeiTaiwan

Personalised recommendations