About agents that reason by case (Preliminary report)

This paper is concerned with intelligent agents that are able to perform nonmonotonic reasoning in the presence of various sources of information. More precisely, the focus is on default logic agents. It is well-known that default logic suffers from a lack of reasoning by case ability. Such a problem is even more important in the context of intelligent agents that should be able to draw the most valuable conclusions from several information sources. In the paper, an original approach to address this default logic drawback is investigated. Interestingly, it allows several levels of reasoning by case to be differentiated.

[1]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[2]  Gerhard Brewka.  Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules , 1991, Artif. Intell..

[3]  V. S. Costa,et al.  Theory and Practice of Logic Programming , 2010 .

[4]  Torsten Schaub.  On Constrained Default Theories , 1992, ECAI.

[5]  Viviana Mascardi,et al.  Logic-based specification languages for intelligent software agents , 2003, Theory and Practice of Logic Programming.

[6]  Iyad Rahwan,et al.  Argumentation in Multi-Agent Systems, 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers , 2008, Argumentation in Multi-Agent Systems.

[7]  Leon Sterling,et al.  Declarative Agent Languages and Technologies , 2003, Lecture Notes in Computer Science.

[8]  Miroslaw Truszczynski,et al.  Rational Default Logic and Disjunctive Logic Programming , 1993, LPNMR.

[9]  Jürgen Dix,et al.  Heterogeneous Agent Systems , 2000 .

[10]  Yarden Katz,et al.  Social Network-based Trust in Prioritized Default Logic , 2006, AAAI.

[11]  Henryk Rybinski,et al.  Knowledge sharing in default reasoning based multi-agent systems , 2003, IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT 2003..

[12]  Iyad Rahwan,et al.  Argumentation in Multi-Agent Systems , 2011, Lecture Notes in Computer Science.

[13]  Michael Luck,et al.  Leveraging New Plans in AgentSpeak(PL) , 2008, DALT.

[14]  Witold Łukaszewicz.  Considerations on default logic: an alternative approach 1 , 1988 .

[15]  Patrice Quinton,et al.  A Theorem-Prover for a Decidable Subset of Default Logic , 1983, AAAI.

[16]  Yves Moinard,et al.  Reasoning by Cases without Contraposition in Default Logic , 1994, ECAI.

[17]  Jonas Schmitt.  Computational Logic in Multi-Agent Systems , 2009, Lecture Notes in Computer Science.

[18]  Henryk Rybinski,et al.  Distributed Default Logic for Multi-agent System , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.