Abstract
A paraconsistent annotated logic program called bf-EVALPSN has been developed for dealing with before-after relations between processes and applied to real-time process order control. In this paper, we propose a logical aticipatory system for before-after relation between processes based on reasoning of bf-EVALP vector annotations.
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
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. J. Advanced Computational Intelligence and Intelligent Informatics 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. In: New Directions in Intelligent Interactive Multimedia. Studies in Computational Intelligence, vol. 142, pp. 265–274. Springer, Heidelberg (2008)
Nakamatsu, K., Akama, S., Abe, J.M.: Annotated Semantics for Defeasible Deontic Reasoning. 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. Int’l J. Reasoning-based Intelligent Systems, vol. 1 (to appear, 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 Anticipatory System of Before-After Relation Based on Bf-EVALPSN. In: Velásquez, J.D., RÃos, S.A., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2009. Lecture Notes in Computer Science(), vol 5712. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04592-9_48
Download citation
DOI: https://doi.org/10.1007/978-3-642-04592-9_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04591-2
Online ISBN: 978-3-642-04592-9
eBook Packages: Computer ScienceComputer Science (R0)