Abstract
A paraconsistent annotated logic program called bf-EVALPSN has been developed for dealing with before-after relations between time intervals (processes) and applied to real-time process order control. In this paper, we introduce a logical before-after relation reasoning system based on two inference rules for before-after relation with simple examples.
Keywords
References
Allen, J.F.: Towards a General Theory of Action and Time. Artificial Intelligence 23, 123–154 (1984)
Allen, J.F., Ferguson, G.: Actions and Events in Interval Temporal Logic. J. Logic and Computation 4, 531–579 (1994)
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.: Pipeline Valve Control Based on EVALPSN Safety Verification. JACIII 10, 647–656 (2006)
Nakamatsu, K., Mita, Y., Shibata, T.: An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation. J. Intelligent Automation and Soft Computing 13, 289–304 (2007)
Nakamatsu, K., Abe, J.M., Akama, S.: Paraconsistent Before-after Relation Reasoning Based on EVALPSN. Studies in Computational Intelligence, vol. 142, pp. 265–274. Springer, Heidelberg (2008)
Nakamatsu, K., Akama, S., Abe, J.M.: Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. In: Lovrek, I., Howlett, R.J., Jain, L.C. (eds.) KES 2008, Part II. LNCS (LNAI), vol. 5178, pp. 474–482. Springer, Heidelberg (2008)
Nakamatsu, K., Abe, J.M.: The development of Paraconsistent Annotated Logic Program. Intl. J. Reasoning-based Intelligent Systems 1, 92–110 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nakamatsu, K., Abe, J.M., Akama, S. (2009). A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. In: Sakai, H., Chakraborty, M.K., Hassanien, A.E., Ślęzak, D., Zhu, W. (eds) Rough Sets, Fuzzy Sets, Data Mining and Granular Computing. RSFDGrC 2009. Lecture Notes in Computer Science(), vol 5908. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10646-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-10646-0_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10645-3
Online ISBN: 978-3-642-10646-0
eBook Packages: Computer ScienceComputer Science (R0)