Abstract
We have developed a paraconsistent logic program called an Extended Vector Annotated Logic Program with Strong Negation (abbr. EVALPSN), which can deal with defeasible deontic reasoning and contradiction, and applied it to safety verification and control such as railway interlocking safety verification, traffic signal control etc.. In this paper, we introduce how to apply EVALPSN to discrete event control with taking an example called Cat and Mouse. Generally, event control can be represented as deontic rules such as it is forbidden for both the cat and the mouse to occupy the same room simultaneously, and the control must deal with contradiction to avoid unexpected system states. We show that such a discrete event control can be easily formalized in EVALPSN and implemented.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gelder, A.V., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. J. Association for Computing Machinery 38, 620–650 (1991)
Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. 5th International Conference and Symposium on Logic Programming, pp. 1070–1080 (1989)
Nakamatsu, K., Abe, J.M., Suzuki, A.: A Defeasible Deontic Reasoning System Based on Annotated Logic Programming. In: Proc. the Fourth International Conference on Computing Anticipatory Systems. American Institute of Physics. AIP Conference Proceedings, vol. 573, pp. 609–620 (2001)
Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated Semantics for Defeasible Deontic Reasoning. In: Ziarko, W., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol. 2005, Springer, Heidelberg (2001)
Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible Deontic Robot Control Based on Extended Vector Annotated Logic Programming. In: Proc. the Fifth International Conference on Computing Anticipatory Systems. American Institute of Physics. AIP Conference Proceedings, vol. 627, pp. 490–500 (2002)
Nakamatsu, K., Suito, H., Abe, J.M., Suzuki, A.: Paraconsistent Logic Program Based Safety Verification for Air Traffic Control. In: Proc. 2002 IEEE International Conference on Systems, Man and Cybernetics, IEEE, Los Alamitos (2002) (CD-ROM)
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. 3rd International Conference on Computational Intelligence for Modelling Control and Automation, IOS Press, Amsterdam (2003) (CD-ROM)
Nute, D. (ed.): Defeasible Deontic Reasoning. Synthese Library, vol. 263. Kluwer Academic Publisher, Dordrecht (1997)
Ramadge, J.G.P., Wonham, W.M.: The Control of Discrete Event Systems. In: Proc. IEEE, vol. 77(1), pp. 81–98. IEEE, Los Alamitos (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., Ishikawa, R., Suzuki, A. (2004). A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2004. Lecture Notes in Computer Science(), vol 3214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30133-2_126
Download citation
DOI: https://doi.org/10.1007/978-3-540-30133-2_126
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23206-3
Online ISBN: 978-3-540-30133-2
eBook Packages: Springer Book Archive