Changing Commitments Based on Reasons and Assumptions

Intention reconsideration is a central challenge in BDI (Belief-Desire-Intention) theory. The intention reconsideration models of the early nineties focus on when a commitment may be reconsidered, for example when it has been achieved, when it is no longer achievable, or when the associated goal has been dropped. In this paper, we create an abstract framework in which we add the "reasons" and the "assumptions" that form the base of those commitments. Reasons are an abstract category of cognitive attitudes that motivate something else, including goals, principles, norms, intentions, and actions. To make our mechanism widely applicable, we introduce an abstract approach and 10 requirements from both early and more recent approaches, such as the model of Icard et al., focusing on the interaction between beliefs and changing commitments. Moreover, we do not focus only on an intention's reconsideration, but also on the effects. To that end, we introduce an intention reconsideration mechanism with algorithms satisfying the requirements, using only the dichotomy between assumptions and reasons.

[1]  Yoav Shoham,et al.  Logical Theories of Intention and the Database Perspective , 2009, J. Philos. Log..

[2]  Yoav Shoham,et al.  Joint revision of belief and intention , 2010, KR 2010.

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

[4]  Henry Prakken,et al.  A formal analysis of the AIF in terms of the ASPIC framework , 2010, COMMA.

[5]  Henderik Alex Proper,et al.  Architecture Principles - The Cornerstones of Enterprise Architecture , 2011, The Enterprise Engineering Series.

[6]  J. Cummins,et al.  The Economics of Insurance Intermediaries , 2006 .

[7]  Davide Grossi,et al.  Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems , 2007 .

[8]  Michael Georgeff,et al.  Intentions and Rational Commitment , 1993 .

[9]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[10]  Mathijs de Weerdt,et al.  Plan Repair as an Extension of Planning , 2005, ICAPS.

[11]  Henderik Alex Proper,et al.  The Roles of Principles in Enterprise Architecture , 2010, TEAR.

[12]  Alessandro Saffiotti,et al.  Intention Reconsideration in Theory and Practice , 2000, ECAI.

[13]  George A. Vouros,et al.  Building intelligent collaborative interface agents with the ICAGENT development framework , 2006, Autonomous Agents and Multi-Agent Systems.

[14]  van der R.P.J. Krogt,et al.  Self-interested Planning Agents using Plan Repair , 2005 .

[15]  Cristiano Castelfranchi,et al.  The role of beliefs in goal dynamics: prolegomena to a constructive theory of intentions , 2007, Synthese.

[16]  Guido Boella,et al.  The role of goals in belief selection , 2010, Log. J. IGPL.

[17]  Stuart C. Shapiro,et al.  Belief Revision and Truth Maintenance Systems: An Overview and Proposal , 1998 .

[18]  Leon van der Torre,et al.  Changing Agreements: Intention Reconsideration based on Assumptions and Reasons , 2012, AT.

[19]  Yoav Shoham,et al.  Joint Revision of Beliefs and Intention , 2010, KR.

[20]  Michael Wooldridge,et al.  Intention Reconsideration Reconsidered , 1998, ATAL.

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

[22]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[23]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..