Agent-Oriented Probabilistic Logic Programming

Currently, agent-based computing is an active research area, and great efforts have been made towards the agent-oriented programming both from a theoretical and practical view. However, most of them assume that there is no uncertainty in agents’ mental state and their environment. In other words, under this assumption agent developers are just allowed to specify how his agent acts when the agent is 100% sure about what is true/false. In this paper, this unrealistic assumption is removed and a new agent-oriented probabilistic logic programming language is proposed, which can deal with uncertain information about the world. The programming language is based on a combination of features of probabilistic logic programming and imperative programming.

[1]  Nicholas R. Jennings,et al.  Acquiring user tradeoff strategies and preferences for negotiating agents: A default-then-adjust method , 2006, Int. J. Hum. Comput. Stud..

[2]  Yuefeng Li,et al.  Information Fusion and Decision Making for Utility-based Agents , 2007 .

[3]  Chengqi Zhang,et al.  A Hybrid Model for Sharing Information Between Fuzzy, Uncertain and Default Reasoning Models in Multi-agent Systems , 2002, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[4]  Koen V. Hindriks,et al.  Formal Semantics for an Abstract Agent Programming Language , 1997, ATAL.

[5]  Nicholas R. Jennings,et al.  A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments , 2003, Artif. Intell..

[6]  Yuefeng Li,et al.  Information-Based Cooperation in Multiple Agent Systems , 1999, Australian Joint Conference on Artificial Intelligence.

[7]  Jürgen Dix,et al.  Probabilistic agent programs , 1999, TOCL.

[8]  Nicholas R. Jennings,et al.  A Fuzzy-Logic Based Bidding Strategy for Autonomous Agents in Continuous Double Auctions , 2003, IEEE Trans. Knowl. Data Eng..

[9]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[10]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[11]  P. Giorgini,et al.  An approach to using degrees of belief in BDI agents , 2000 .

[12]  Xudong Luo,et al.  PROBABILISTIC LOGIC PROGRAMMING WITH INHERITANCE , 2003 .

[13]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[14]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[15]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[16]  Nicholas R. Jennings,et al.  A Roadmap of Agent Research and Development , 2004, Autonomous Agents and Multi-Agent Systems.