Modelling Agent Reasoning in a Logic Programming Framework for Possibilistic Argumentation

A well-known problem in multiagent systems (MAS) involves finding an adequate formalization of an agent’s knowledge to perform defeasible inferences in a computationally effective way. In the last years, argument-based approaches have proven to be an attractive setting to achieve this goal. Dealing with uncertainty and fuzziness associated with the available knowledge are also common requirements in MAS. Such features, however, are not embedded in most argument-based formalisms. Possibilistic Defeasible Logic Programming (P-DeLP) has recently appeared as an alternative to solve the above problem. P-DeLP is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty and fuzzy knowledge at object-language level. This paper describes how P-DeLP can be applied in the context of formalizing an agent’s beliefs and perceptions, along with an argumentative inference procedure to determine which of the agent’s beliefs are ultimately accepted (or warranted).

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

[2]  Guillermo Ricardo Simari,et al.  A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge , 2004, UAI.

[3]  Jürg Kohlas,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems , 2000 .

[4]  Teresa Alsinet,et al.  A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants , 2001, ECSQARU.

[5]  Rolf Haenni,et al.  Probabilistic Argumentation Systems , 2003 .

[6]  Ana Gabriela Maguitman,et al.  Logical models of argument , 2000, CSUR.

[7]  Guillermo Ricardo Simari,et al.  A first approach to argument-based recommender systems based on defeasible logic programming , 2004, NMR.

[8]  Rolf Haenni,et al.  Probabilistic Argumentation Systems : a New Perspective on Dempster-Shafer Theory ∗ , 2001 .

[9]  Anthony Hunter,et al.  A logic-based theory of deductive arguments , 2001, Artif. Intell..

[10]  Leila Amgoud,et al.  A Formal Framework for Handling Conflicting Desires , 2003, ECSQARU.

[11]  Ana Gabriela Maguitman,et al.  An Argumentative Approach to Assessing Natural Language Usage based on the Web Corpus , 2004, ECAI.

[12]  Ana Gabriela Maguitman,et al.  ArgueNet: an argument-based recommender system for solving Web search queries , 2004, 2004 2nd International IEEE Conference on 'Intelligent Systems'. Proceedings (IEEE Cat. No.04EX791).

[13]  Henri Prade,et al.  Reaching Agreement Through Argumentation: A Possibilistic Approach , 2004, KR.

[14]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[15]  Guillermo Ricardo Simari,et al.  An Argument-Based Framework to Model an Agent's Beliefs in a Dynamic Environment , 2004, ArgMAS.

[16]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[17]  H. Prade,et al.  Possibilistic logic , 1994 .

[18]  Jürgen Dix,et al.  Relating defeasible and normal logic programming through transformation properties , 2000, Theor. Comput. Sci..

[19]  N. Iyadrahwa,et al.  Argumentation-based negotiation , 2004 .

[20]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[21]  Teresa Alsinet,et al.  A Complete Calcultis for Possibilistic Logic Programming with Fuzzy Propositional Variables , 2000, UAI.

[22]  Simon Parsons,et al.  Qualitative methods for reasoning under uncertainty , 2001 .

[23]  Guillermo Ricardo Simari,et al.  Computing Generalized Specificity , 2003, J. Appl. Non Class. Logics.

[24]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[25]  Claudette Cayrol,et al.  Inferring from Inconsistency in Preference-Based Argumentation Frameworks , 2002, Journal of Automated Reasoning.

[26]  Didier Dubois,et al.  The Possibilistic Handling of Irrelevance in Exception-Tolerant Reasoning , 2004, Annals of Mathematics and Artificial Intelligence.

[27]  Carlos Iván Chesñevar,et al.  A Hybrid Approach To Pattern Classification Using Neural Networks and Defeasible Argumentation , 2004, FLAIRS.