A defeasible logic for modelling policy-based intentions and motivational attitudes

In this paper we show how defeasible logic could formally account for the non-monotonic properties involved in motivational attitudes like intention and obligation. Usually, normal modal operators are used to represent such attitudes wherein classical logical consequence and the rule of necessitation comes into play, i.e., ?A/? ?A, that is from ?A derive ? ?A. This means that such formalisms are affected by the Logical Omniscience problem. We show that policy-based intentions exhibit non-monotonic behaviour which could be captured through a non-monotonic system like defeasible logic. To this end we outline a defeasible logic of intention that specifies how modalities can be introduced and manipulated in a non-monotonic setting without giving rise to the problem of logical omniscience. In a similar way we show how to add deontic modalities defeasibly and how to integrate them with other motivational attitudes like beliefs and goals. Finally we show that the basic aspect of the BOID architecture is captured by this extended framework.

[1]  Michael J. Maher,et al.  A Flexible Framework for Defeasible Logics , 2000, AAAI/IAAI.

[2]  Leon van der Torre,et al.  Permission from an Input/Output Perspective , 2003, J. Philos. Log..

[3]  Michael J. Maher,et al.  A Semantic Decomposition of Defeasible Logics , 1999, AAAI/IAAI.

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

[5]  Guido Governatori,et al.  Defeasible Logic: Agency, Intention and Obligation , 2004, DEON.

[6]  Kurt Konolige,et al.  A Representationalist Theory of Intention , 1993, IJCAI.

[7]  Roderic A. Girle,et al.  Modal Logics and Philosophy , 2000 .

[8]  Leon van der Torre,et al.  Contrary‐to‐duty reasoning with preference‐based dyadic obligations , 1999, Annals of Mathematics and Artificial Intelligence.

[9]  Brian Logan,et al.  Preference-based belief revision for rule-based agents , 2008, Synthese.

[10]  Frank Dignum,et al.  The Role of Deontic Logic in the Specification of Information Systems , 1998, Logics for Databases and Information Systems.

[11]  Guido Governatori,et al.  BIO logical agents: Norms, beliefs, intentions in defeasible logic , 2008, Autonomous Agents and Multi-Agent Systems.

[12]  Guido Boella,et al.  Introduction to the special issue on normative multiagent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[13]  Moshe Y. Vardi.  On the complexity of epistemic reasoning , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[14]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[15]  Mark Jago,et al.  Epistemic Logic for Rule-Based Agents , 2009, J. Log. Lang. Inf..

[16]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[17]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[18]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[19]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[20]  HarlandJames,et al.  Representation and reasoning for goals in BDI agents , 2002 .

[21]  G. Sartor.  Legal Reasoning: A Cognitive Approach to Law , 2005 .

[22]  Jorge Lobo,et al.  A Policy Description Language , 1999, AAAI/IAAI.

[23]  Munindar P. Singh.  Semantical considerations on intention dynamics for BDI agents , 1998, J. Exp. Theor. Artif. Intell..

[24]  Frank Dignum,et al.  Autonomous agents with norms , 1999, Artificial Intelligence and Law.

[25]  David Billington,et al.  Defeasible Logic is Stable , 1993, J. Log. Comput..

[26]  Jörg Hansen,et al.  On a Fundamental Problem of Deontic Logic , 2008 .

[27]  Chrysanthos Dellarocas,et al.  Social Order in Multiagent Systems , 2001, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[28]  B. van Linder,et al.  Modal logics for rational agents , 1996 .

[29]  Mehdi Dastani,et al.  Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires , 2001, ECSQARU.

[30]  Toru Sugimoto,et al.  A Preference-Based Theory of Intention , 2000, PRICAI.

[31]  Michael J. Maher,et al.  Embedding defeasible logic into logic programming , 2006, Theory Pract. Log. Program..

[32]  Guido Governatori,et al.  A New Approach to Base Revision , 1999, EPIA.

[33]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

[34]  Jeremy Pitt,et al.  Open Agent Societies: Normative Specifications in Multi-Agent Systems , 2004 .

[35]  Michael J. Maher.  Propositional defeasible logic has linear complexity , 2001, Theory and Practice of Logic Programming.

[36]  Michael J. Maher,et al.  Revising Nonmonotonic Belief Sets: The Case of Defeasible Logic , 1999 .

[37]  Donald Nute,et al.  Defeasible Deontic Logic , 2010 .

[38]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[39]  Michael E. Bratman.  Intention and personal policies , 1988 .

[40]  Guido Governatori,et al.  On the Modeling and Analysis of Regulations , 1999 .

[41]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[42]  Michael J. Maher,et al.  An Argumentation-Theoretic Characterization of Defeasible Logic , 2000, ECAI.

[43]  Mehdi Dastani,et al.  BDIOCTL: Obligations and the Specification of Agent Behavior , 2003, IJCAI.

[44]  Mehdi Dastani,et al.  The BOID architecture: conflicts between beliefs, obligations, intentions and desires , 2001, AGENTS '01.

[45]  Benjamin N. Grosof.  Representing e-commerce rules via situated courteous logic programs in RuleML , 2004, Electron. Commer. Res. Appl..

[46]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[47]  J. Hintikka.  Knowledge and belief , 1962 .

[48]  Guido Governatori,et al.  Temporalised normative positions in defeasible logic , 2005, ICAIL '05.

[49]  Michael J. Maher,et al.  Efficient Defeasible Reasoning Systems , 2001, Int. J. Artif. Intell. Tools.

[50]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[51]  Frank Dignum,et al.  Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[52]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[53]  Mehdi Dastani,et al.  Obligations and the Specification of Agent Behavior , 2007 .

[54]  Lin Padgham,et al.  Representation and Reasoning for Goals in BDI Agents , 2002, ACSC.

[55]  Guido Governatori,et al.  The cost of social agents , 2006, AAMAS '06.

[56]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[57]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[58]  Ioannis P. Vlahavas,et al.  A Defeasible Logic Reasoner for the Semantic Web , 2004, Int. J. Semantic Web Inf. Syst..

[59]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[60]  Moshe Y. Vardi,et al.  On Epistemic Logic and Logical Omniscience. , 1988 .

[61]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[62]  Richmond H. Thomason,et al.  Desires and Defaults: A Framework for Planning with Inferred Goals , 2000, KR.

[63]  Guido Governatori,et al.  Programming Cognitive Agents in Defeasible Logic , 2005, LPAR.

[64]  Guido Governatori,et al.  Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories , 2008, DEON.

[65]  Jorge Lobo,et al.  Reasoning about Policies using Logic Programs , 2001, Answer Set Programming.

[66]  Xiaoping Chen,et al.  A Logic of Intention , 1999, IJCAI.