IMPLEMENTATION OF 3-VALUED PARACONSISTENT LOGIC PROGRAMMING TOWARDS DECISION MAKING SYSTEM OF AGENTS

作     者：Yuki Goto Megumi Fujita Naoyuki Nide 

作者机构：Graduate School of System Informatics Kobe University (Until Mar. 2018) Faculty of Science and Engineering Kindai University Faculty Division of Human Life and Environmental Sciences Nara Women's University 

出 版 物：《Journal of Systems Science and Systems Engineering》 (系统科学与系统工程学报（英文版）)

年 卷 期：2018年第27卷第3期

页      面：322-339页

核心收录：

学科分类：1305[艺术学-设计学（可授艺术学、工学学位）] 0810[工学-信息与通信工程] 1205[管理学-图书情报与档案管理] 13[艺术学] 08[工学] 080202[工学-机械电子工程] 0802[工学-机械工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：Department of information Science Graduate School of System Infomatics Kinki University Nara Women's University RIMS, Kyoto University, (ICLP2013) Kyoto University Kobe Gakuin University Research Institute for Mathematical Sciences, RIMS 

主　　题：Agent-based modelling for complex systems paraconsistent logic programming solver implementation declarative programming application for agents 

摘      要：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.