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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
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)
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)
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)
Nute, D. (ed.): Defeasible Deontic Reasoning, Synthese Library, vol. 263. Kluwer Academic Publishers, Dordrecht (1997)
Ramadge, J.G.P., Wonham, W.M.: The Control of Discrete Event Systems. Proc. IEEE 77(1), 81–98 (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nakamatsu, K., Komaba, H., Suzuki, A., Lie, CL., Chung, SL. (2004). Defeasible Deontic Control for Discrete Events Based on EVALPSN. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds) Rough Sets and Current Trends in Computing. RSCTC 2004. Lecture Notes in Computer Science(), vol 3066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25929-9_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-25929-9_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22117-3
Online ISBN: 978-3-540-25929-9
eBook Packages: Springer Book Archive