Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control | SpringerLink
Skip to main content
Springer Nature Link
Log in

Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control

  • Chapter
  • First Online:
New Approaches in Intelligent Control

Part of the book series: Intelligent Systems Reference Library ((ISRL,volume 107))

  • 917 Accesses

Abstract

We have already proposed a paraconsistent annotated logic program called EVALPSN. In EVALPSN, an annotation called an extended vector annotation is attached to each literal. In order to deal with before-after relation between two time intervals, we also have introduced a new interpretation for extended vector annotations in EVALPSN, which is named before-after(bf)-EVALPSN. In this chapter, we introduce paraconsistent annotated logic programs EVALPSN/bf-EVALPSN and their application to intelligent control, especially logical safety verification based control with simple examples. First, the background and overview of EVALPSN are introduced, and paraconsistent annotated logics \( P{\mathcal{T}} \) and the basic annotated logic program are recapitulated as the formal background of EVALPSN/bf-EVALPSN with some simple examples. Then EVALPSN is formally defined and its application to traffic signal control is introduced. EVALPSN application to pipeline valve control is also introduced with examples. Bf-EVALPSN is formally defined and its unique and useful reasoning rules are introduced with some examples. Last, this chapter is concluded with some remarks.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 11439
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 14299
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
JPY 14299
Price includes VAT (Japan)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    An expression \( \neg p\, :\,\mu \) is conveniently used for expressing a negative annotated literal instead of \( \neg (p\, :\,\mu ) \) or \( p\, :\,\neg (\mu ) \).

  2. 2.

    The intersection is supposed to be in Japan where we need to keep left if driving a car.

  3. 3.

    Hereafter, expression “before-after” is abbreviated as just “bf” in this chapter.

  4. 4.

    If time t 1 is earlier than time t 2, we conveniently denote the before-after relation by the inequality t 1 < t 2.

References

  1. Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23, 123–154 (1984)

    Article  MATH  Google Scholar 

  2. Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. J. Logic Comput. 4, 531–579 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  3. Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundation of Deductive Database and Logic Programs, pp. 89–148. Morgan Kaufmann, CA (1989)

    Google Scholar 

  4. Belnap, N.D.: A useful four valued logic. In: Dunn, M., Epstein, G. (eds.) Modern uses of multiple-valued logic, pp. 8–37. D.Reidel Publishing, Netherlands (1977)

    Google Scholar 

  5. Billington, D.: Defeasible logic is stable. J. Logic Comput. 3, 379–400 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  6. Billington, D.: Conflicting literals and defeasible logic. In: Nayak, A., Pagnucco, M. (eds.) Proceedings of 2nd Australian Workshop Commonsense Reasoning, 1 December, Perth, Australia, Australian Artificial Intelligence Institute, Australia, pp. 1–15 (1997)

    Google Scholar 

  7. Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theoret. Comput. Sci. 68, 135–154 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  8. da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logics \( {\rm P}{\mathcal{T}} \). Zeitschrift für Mathematische Logic und Grundlangen der Mathematik 37, 139–148 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  9. Dressler, O.: An extended basic ATMS. In: Reinfrank, M. et al., (eds.) In: Proceedings of 2nd International Workshop on Non-monotonic Reasoning, 13–15 June, Grassau, Germany, (Lecture Notes in Computer Science LNCS 346), pp. 143–163. Springer, Heidelberg (1988)

    Google Scholar 

  10. Fitting, M.: Bilattice and the semantics of logic programming. J. Logic Program. 11, 91–116 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  11. Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38, 620–650 (1991)

    Google Scholar 

  12. Jaskowski, S.: Propositional calculus for contradictory deductive system (English translation of the original Polish paper). Stud. Logica. 24, 143–157 (1948)

    Article  MathSciNet  Google Scholar 

  13. Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. Logic Program. 12, 335–368 (1992)

    Article  MathSciNet  Google Scholar 

  14. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)

    Google Scholar 

  15. Moore, R.: Semantical considerations on non-monotonic logic. Artif. Intell. 25, 75–94 (1985)

    Article  MATH  Google Scholar 

  16. Nakamatsu, K.: On the relation between vector annotated logic programs and defeasible theories. Logic Logical Philos. 8, 181–205 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  17. Nakamatsu, K.: Paraconsistent annotated logic program EVALPSN and its application. In: Fulcher, J., Jain, C.L. (eds.) Computational Intelligence: A Compendium (Studies in Computational Intelligence 115), pp. 233–306. Springer, Germany (2008)

    Chapter  Google Scholar 

  18. Nakamatsu, K., Abe, J.M.: Reasonings based on vector annotated logic programs. In: Mohammadian, M. (ed.) Computational Intelligence for Modelling, Control and Automation (CIMCA99), (Concurrent Systems Engineering Series 55), pp. 396–403. IOS Press, Netherlands (1999)

    Google Scholar 

  19. Nakamatsu, K., Abe, J.M.: The development of paraconsistent annotated logic program. Int. J. Reasoning-based Intell. Syst. 1, 92–112 (2009)

    Article  Google Scholar 

  20. Nakamatsu, K., Suzuki, A.: Annotated semantics for default reasoning. In: Dai, R. (ed.) Proceedings 3rd Pacific Rim International Conference on Artificial Intelligence (PRICAI94), 15–18 August, Beijing, China, pp. 180–186. International Academic Publishers, China (1994)

    Google Scholar 

  21. Nakamatsu, K., Suzuki, A.: A nonmonotonic ATMS based on annotated logic programs. In: Wobcke, W., et al. (eds.) Agents and Multi-agents Systems (Lecture Notes in Artificial Intelligence LNAI 1441), pp. 79–93. Springer, Berlin (1998)

    Google Scholar 

  22. Nakamatsu, K., Suzuki, A.: Autoepistemic theory and paraconsistent logic program. In: Nakamatsu, K., Abe, J.M. (eds.) Advances in Logic Based Intelligent Systems (Frontiers in Artificial Intelligence and Applications 132), pp. 177–184. IOS Press, Netherlands (2005)

    Google Scholar 

  23. Nakamatsu, K., Suzuki, A.: Annotated semantics for non-monotonic reasonings in artificial intelligence—I, II, III, IV. In: Nakamatsu, K., Abe, J.M.: (eds.) Advances in Logic Based Intelligent Systems (Frontiers in Artificial Intelligence and Applications 132), pp. 185–215. IOS Press, Netherlands (2005)

    Google Scholar 

  24. Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible reasoning between conflicting agents based on VALPSN. In: Tessier, C., Chaudron, L. (eds.) In: Proceedings of AAAI Workshop Agents’ Conflicts, 18 July, Orland, FL, pp. 20–27. AAAI Press, Menlo Park, CA (1999)

    Google Scholar 

  25. Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible reasoning based on VALPSN and its application. In: Nayak, A., Pagnucco, M. (eds.) Proceedings of the Third Australian Commonsense Reasoning Workshop, 7 December, Sydney, Australia, pp. 114–130. University of Newcastle, Sydney, Australia (1999)

    Google Scholar 

  26. Nakamatsu, K., Abe, J.M., Suzuki, A.: A defeasible deontic reasoning system based on annotated logic programming. In: Dubois, D.M. (ed.) Proceedings of 4th International Conference on Computing Anticipatory Systems(CASYS2000), 7–12 August, 2000, Liege, Belgium, (AIP Conference Proceedings 573), pp. 609–620. American Institute of Physics, New York, NY (2001)

    Google Scholar 

  27. Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated semantics for defeasible deontic reasoning. In: Ziarko, W., Yao, Y. (eds.) Proceedings of 2nd International Conference on Rough Sets and Current Trends in Computing(RSCTC2000), 16–19 October, 2000, Banff, Canada, (Lecture Notes in Artificial Intelligence LNAI 2005), pp. 432–440. Springer, Berlin (2001)

    Google Scholar 

  28. Nakamatsu, K., Abe, J.M., Suzuki, A.: Extended vector annotated logic program and its application to robot action control and safety verification. In: Abraham, A., et al. (eds.) Hybrid Information Systems (Advances in Soft Computing Series), pp. 665–680. Physica-Verlag, Heidelberg (2002)

    Chapter  Google Scholar 

  29. Nakamatsu, K., Suito, H., Abe, J.M., Suzuki, A.: Paraconsistent logic program based safety verification for air traffic control. In: El Kamel, A. et al., (eds.) Proceedings of IEEE International Conference System, Man and Cybernetics 02(SMC02), 6–9 October, Hammamet, Tunisia, IEEE SMC (CD-ROM) (2002)

    Google Scholar 

  30. Nakamatsu, K., Abe, J.M., Suzuki, A.: A railway interlocking safety verification system based on abductive paraconsistent logic programming. In: Abraham, A., et al. (eds.) Soft Computing Systems (HIS02) (Frontiers in Artificial Intelligence and Applications 87), pp. 775–784. IOS Press, The Netherlands (2002)

    Google Scholar 

  31. Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible deontic robot control based on extended vector annotated logic programming. In: Dubois, D.M. (ed.) Proceedings of 5th International Conference on Computing Anticipatory Systems(CASYS2001) 13–18 August, 2001, Liege, Belgium, (AIP Conference Proceedings 627), pp. 490–500. American Institute of Physics, New York, NY (2002)

    Google Scholar 

  32. Nakamatsu, K., Mita, Y., Shibata, T.: Defeasible deontic action control based on paraconsistent logic program and its hardware application. In: Mohammadian, M. (ed.) In: Proceedings of International Conference on Computational Intelligence for Modelling Control and Automation 2003(CIMCA2003), 12–14 February, Vienna, Austria, IOS Press, Netherlands (CD-ROM) (2003)

    Google Scholar 

  33. Nakamatsu, K., Seno, T., Abe, J.M., Suzuki, A.: Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN. In: Wang, G., et al. (eds.) Rough Sets, Fuzzy Sets, Data Mining and Granular Computing(RSFDGrC2003), 26–29 May, Chongqing, China, (Lecture Notes in Artificial Intelligence LNAI 2639), pp. 719–723. Springer, Berlin (2003)

    Chapter  Google Scholar 

  34. Nakamatsu, K., Komaba, H., Suzuki, A.: Defeasible deontic control for discrete events based on EVALPSN. In: Tsumoto, S. et al., (eds.) Proceedings of 4th International Conference in Rough Sets and Current Trends in Computing(RSCTC2004), 1–5 June, Uppsala, Sweeden, (Lecture Notes in Artificial Intelligence LNAI 3066), pp. 310–315. Springer, Berlin (2004)

    Google Scholar 

  35. Nakamatsu, K., Ishikawa, R., Suzuki, A.: A paraconsistent based control for a discrete event cat and mouse. In: Negoita, M.G.H. et al., (eds.) Proceedings 8th International Conference on Knowledge-Based Intelligent Information and Engineering Systems(KES2004), 20–25 September, Wellington, New Zealand, (Lecture Notes in Artificial Intelligence LNAI 3214), pp. 954–960. Springer, Berlin (2004)

    Google Scholar 

  36. Nakamatsu, K., Chung, S.-L., Komaba, H., Suzuki, A.: A discrete event control based on EVALPSN stable model. In: Slezak, D., et al. (eds.) Rough Sets, Fuzzy Sets, Data Mining and Granular Computing(RSFDGrC2005), 31 August–3 September, Regina, Canada, (Lecture Notes in Artificial Intelligence LNAI 3641), pp. 671–681. Springer, Berlin (2005)

    Chapter  Google Scholar 

  37. Nakamatsu, K., Abe, J.M., Akama, S.: An intelligent safety verification based on a paraconsistent logic program. In: Khosla, R. et al., (eds.) Proceedings of 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems(KES2005), 14–16 September, Melbourne, Australia, (Lecture Notes in Artificial Intelligence LNAI 3682), pp. 708–715. Springer, Berlin (2005)

    Google Scholar 

  38. Nakamatsu, K., Kawasumi, K., Suzuki, A. (2005) Intelligent verification for pipeline based on EVALPSN. In: Nakamatsu, K., Abe, J.M. (eds.) Advances in Logic Based Intelligent Systems (Frontiers in Artificial Intelligence and Applications 132), pp. 63–70. IOS Press, Netherlands

    Google Scholar 

  39. Nakamatsu, K., Mita, Y., Shibata, T.: An intelligent action control system based on extended vector annotated logic program and its hardware implementation. J. Intell. Autom. Soft. Comput. 13, 289–304 (2007)

    Article  Google Scholar 

  40. Nakamatsu, K., Abe, J.M., Akama, S.: A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN. KES J. 15(3), 146–163 (2011)

    Google Scholar 

  41. Nute, D.: Defeasible reasoning. In: Stohr, E.A. et al., (eds.) Proceedings 20th Hawaii International Conference System Science(HICSS87) 1, 6–9 January, Kailua-Kona, Hawaii, pp. 470–477. University of Hawaii, Hawaii (1987)

    Google Scholar 

  42. Nute, D.: Basic defeasible logics. In: del Cerro, L.F., Penttonen, M. (eds.) Intensional Logics for Programming, pp. 125–154. Oxford University Press, UK (1992)

    Google Scholar 

  43. Nute, D.: Defeasible logic. In: Gabbay, D.M., et al. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming 3, pp. 353–396. Oxford University Press, UK (1994)

    Google Scholar 

  44. Nute, D.: Apparent obligatory. In: Nute, D. (ed.) Defeasible Deontic Logic (Synthese Library 263), pp. 287–316. Kluwer Academic Publisher, Netherlands (1997)

    Google Scholar 

  45. Przymusinski, T.C.: On the declarative semantics of deductive databases and logic programs. In: Minker, J. (ed.) Foundation of Deductive Database and Logic Programs, pp. 193–216. Morgan Kaufmann, New York, NY (1988)

    Google Scholar 

  46. Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81–123 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  47. Shepherdson, J.C.: Negation as failure, completion and stratification. In: Gabbay, D.M., et al. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming 5, pp. 356–419. Oxford University Press, UK (1998)

    Google Scholar 

  48. Subrahmanian, V.S.: Amalgamating knowledge bases. ACM Trans. Database Syst. 19, 291–331 (1994)

    Article  MathSciNet  Google Scholar 

  49. Subrahmanian, V.S.: On the semantics of qualitative logic programs. In: Proceedings of the 1987 Symposium on Logic Programming(SLP87), August 31–September 4, IEEE Computer Society Press, San Francisco, CA, pp 173–182 (1987)

    Google Scholar 

  50. Visser, A.: Four valued semantics and the liar. J. Philos. Logic 13, 99–112 (1987)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Human Science and Environment, University of Hyogo, 1-1-12 Shinzaike, Himeji, 670-0092, Japan

    Kazumi Nakamatsu

  2. Graduate Program in PE, ICET, Paulista University, R.Dr.Bacelar, 1212, Sao Paulo, 04026-002, Brazil

    Jair Minoro Abe

  3. Institute of Advanced Studies, University of Sao Paulo, Av. Prof. Luciano Gualberto, Travessa J, 374 Terreo, Cidade Universitaria, Sao Paulo, 05508-900, Brazil

    Jair Minoro Abe

  4. C-Republic, 1-20-1, Higashi-Yurigaoka, Asao-Ku, Kawasaki, 215-0012, Japan

    Seiki Akama

Authors
  1. Kazumi Nakamatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jair Minoro Abe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Seiki Akama
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kazumi Nakamatsu .

Editor information

Editors and Affiliations

  1. University of Hyogo, Chuo-ku, Japan

    Kazumi Nakamatsu

  2. Technical University of Sofia, Sofia, Bulgaria

    Roumen Kountchev

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Nakamatsu, K., Abe, J.M., Akama, S. (2016). Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control. In: Nakamatsu, K., Kountchev, R. (eds) New Approaches in Intelligent Control. Intelligent Systems Reference Library, vol 107. Springer, Cham. https://doi.org/10.1007/978-3-319-32168-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-32168-4_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-32166-0

  • Online ISBN: 978-3-319-32168-4

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics