Skip to main content

Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents

Abstract

Due to the rapid development of applications of artificial intelligence and robotics in recent years, the necessity of reasoning and decision making with uncertain and inaccurate information is increasing. Since robots in the real world are always exposed to behavioral inaccuracies and uncertainty arising from recognition methods, they may occasionally encounter contradictory facts during reasoning on action decision.

Paraconsistent logic programming is promising to make appropriate action decisions even when an agent is exposed to such uncertain information or contradictory facts, but there has been no implementation of this programming to the best of our knowledge. We propose a resolution algorithm for the 3-valued paraconsistent logic programming system QMPT0 and its implementation on SWI-Prolog. We also describe an application of the 3-valued paraconsistent logic programming regarding agent decision making.

This is a preview of subscription content, access via your institution.

References

  1. Angelotti, E. S., Scalabrin, E. E. & Ávila, B. C. (2001). PANDORA: a multi-agent system using paraconsistent logic, Proc. of ICCIMA 2001, pp. 352–356.

    Google Scholar 

  2. Beirlaen, M. & Straßer, C. (2011). A paraconsistent multi-agent framework for dealing with normative conflicts, of CLIMA XII, pp. 312–329.

    MATH  Google Scholar 

  3. Blair, H. A. & Subrahmanian, V.S. (1989). Paraconsistent logic programming, Theoretical Computer Science 68(2): 135–154.

    MathSciNet  Article  MATH  Google Scholar 

  4. Bordini, R. H., Hübner, J. F. & Wooldridge, M. (2007). Programming Multi-Agent Systems in AgentSpeak Using Jason, John Wiley & Sons.

    Book  MATH  Google Scholar 

  5. Coniglio, M. E. & Oliveira, K. E. (2016). On 3-valued paraconsistent logic programming, Syntax Meets Semantics (SYSMICS) 2016.

    Google Scholar 

  6. Coniglio, M. E. & Silvestrini, L. H. D. C. (2013). An alternative approach for quasi-truth. Logic Journal of IGPL, 22(2): 387–410.

    MathSciNet  Article  MATH  Google Scholar 

  7. Da Costa, N. C., & Bueno, O. (1999). Quasi-truth, supervaluations and free logic. History and Philosophy of Logic, 20(3–4): 215–226.

    MathSciNet  Article  MATH  Google Scholar 

  8. de Amo, S. & Pais, M. S. (2007). A paraconsistent logic programming approach for querying inconsistent databases, International Journal of Approximate Reasoning 46(2): 366–386.

    MathSciNet  Article  MATH  Google Scholar 

  9. Dries, A., Kimmig, A., Meert, W., Renkens, J., den Broeck, G. V., Vlasselaer, J. & Raedt, L. D. (2015). Problog2: Probabilistic logic programming, Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2015, LNCS, Vol.9286, 312–315.

    Google Scholar 

  10. Fujita, M., Goto, Y., Nide, N., Satoh, K. & Hosobe, H. (2013). An architecture for autonomously controlling robot with embodiment in real world. Proc. of Knowledge Representation and Reasoning in Robotics (workshop at ICLP 2013), 59–71.

    Google Scholar 

  11. Fujita, M., Goto, Y., Nide, N., Satoh, K. & Hosobe, H. (2014). Logic-based and robust decision making for robots in real world. Proc. of AAMAS’ 14, 1685–1686.

    Google Scholar 

  12. Fujita, M., Goto, Y., Nide, N., Satoh, K. & Hosobe, H. (2016). Autonomous control of mobile robots using logical representation of map and inference of location. Proc. of IEEE ICA 2016, 78–81.

    Google Scholar 

  13. Mares, E. D. (1997). Paraconsistent probability theory and paraconsistent Bayesianism. Logique et Analyse 40(160): 375–384.

    MathSciNet  MATH  Google Scholar 

  14. Rao, A. S. & Georgeff, M. P. (1997). Modeling rational agents within a BDI-architecture. in M. N. Huhns & M. P. Singh (eds), Readings in Agents, Morgan Kaufmann, 317–328.

    Google Scholar 

  15. Su, C.P. (2014). Paraconsistent justification logic: a starting point. Advances in Modal Logic 10: 513–532.

    MathSciNet  MATH  Google Scholar 

  16. Vojtáš, P. (2001). Fuzzy logic programming. Fuzzy Sets and Systems, 124(3): 361–370.

    MathSciNet  Article  MATH  Google Scholar 

  17. Zhang, X., Zhang, Z. & Lin, Z. (2009). An argumentative semantics for paraconsistent reasoning in description logic. Proc. of 22nd International Workshop on Description Logics.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Naoyuki Nide.

Additional information

Yuki Goto was a doctoral student of Department of information Science, Graduate School of System Infomatics, Kobe University until March 2018.He received a B.S. from Kyoto University in 2011, and an MSc from RIMS, Kyoto University in 2014. Then he received his Ph.D. in System Informatics from Kobe University on March 26, 2018. After completing Graduate School of Kobe University, he joined SanDisk Corporation as a staff engineer from April 2018. His primary academic achievement is mainly on paraconsistent logic programming and his representative paper is this paper. His research interest is logical representation for uncertainty in real world. According to this interest, he participated in collaborative research on intellectual control of robots, and the results are published in the proceedings paper "An architecture for autonomously controlling robot with embodiment in real world"(Knowledge Representation and Reasoning in Robotics, Workshop at ICLP2013, 2013.) and the article "Toward a robot that acquires logical recognition of space" (Information Engineering Express, 2017).

Megumi Fujita is a project researcher of National Institute of Informatics since Apr. 2018. She received a B.S. from Nara Women's University in 2006, and an MSc from Nara Women's University in 2009. Then She received her Ph.D. in information science from Nara Women's University on March 23, 2012. After working at Nara Women's University as a postdoctoral fellow from 2012 to 2017 and at Kinki University as a part-time lecturer from 2012 to 2018, she got to the present position. Her primary academic achievement and resent interest are mainly on controlling of robots with logic programming. Her representative paper are the article "Toward a robot that acquires logical recognition of space" (Information Engineering Express, 2017) and the proceedings paper "An architecture for autonomously controlling robot with embodiment in real world"(Knowledge Representation and Reasoning in Robotics, Workshop at ICLP2013, 2013.).

Naoyuki Nide is an associate professor of Faculty, Division of Human Life and Environmental Sciences, Nara Women's University since 2014. He received a B.S. from Kyoto University in 1986, and an MSc from RIMS, Kyoto University in 1988. From 1988 to 1992 he worked at Educational Center for Information Processing, Kyoto University as an assistant professor. Then he moved to Faculty of Science, Nara Women's University as a lecturer in 1992, and served as an associate professor from 2008.He received his Ph.D. in information science from Nara Women's University in Jun 2007. His research areas are mathematical logic and autonomous agents. His recent achievements are mainly on modeling and reasoning about intentional action decision of autonomous agents using probabilistic modal logic. His representative paper is "Tracing Werewolf game by using extended BDI model" (with Shiro Takata, IEICE Transactions on Information and Systems, 2017).

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Goto, Y., Fujita, M. & Nide, N. Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents. J. Syst. Sci. Syst. Eng. 27, 322–339 (2018). https://doi.org/10.1007/s11518-018-5367-7

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11518-018-5367-7

Keywords

  • Agent-based modelling for complex systems
  • paraconsistent logic programming
  • solver implementation
  • declarative programming application for agents