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.

Keywords

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

References

[1] Angelotti E. S., Scalabrin E. E., Ávila B. C.. PANDORA: a multi-agent system using paraconsistent logic. Proc. of ICCIMA 2001, 2001 352-356.

[2] Beirlaen M., Straßer C.. A paraconsistent multi-agent framework for dealing with normative conflicts, of CLIMA XII, 2011 312-329.

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

[4] Bordini R. H., Hübner J. F., Wooldridge M.. Programming Multi-Agent Systems in AgentSpeak Using Jason, 2007.

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

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

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

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

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

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

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

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

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

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

[15] Su C.P.. Paraconsistent justification logic: a starting point. Advances in Modal Logic, 2014, 10: 513-532.

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

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