Motivational Attitudes of Agents: On Desires, Obligations, and Norms
@inproceedings{Dignum2001MotivationalAO, title={Motivational Attitudes of Agents: On Desires, Obligations, and Norms}, author={Frank Dignum and David Kinny and Liz Sonenberg}, booktitle={CEEMAS}, year={2001} }
Many papers about agents mention BDI as a reference logical model for agents, but this model does not offer a thorough formal account of the connections between the different modalities of Beliefs, Desires and Intentions. Of course, work such as that of Rao and Georgeff [14] and of Cohen and Levesque [5] has pointed to some specific constraints, but does not offer a complete logical theory that explains all possible connections between, e.g., goals and intentions. Another point of concern often…
35 Citations
Expectation: the logic of flexible motivation
- PhilosophyAAMAS '03
- 2003
This work introduces the notion of expectation and a formalism is developed to describe the association of expectations and observations as well as how expectations could drive future observations.
Partial Implication Semantics for Desirable Propositions
- PhilosophyKR
- 2004
This paper presents a simple and intuitive semantics—partial implication—for the characterization of desirable propositions and investigates some fundamental properties of partial implication and discusses some of the potential applications.
Agents adapt to majority behaviours
- Computer Science
- 2008
A new modelling technique based on defeasible logic is proposed to explicitly describe the knowledge that is commonly shared by agents, and that obtained from other agents, which enables an agent to reason about the environment and the intentions of other agents.
Reasoning about the dynamics of social behaviour
- EconomicsAAMAS '03
- 2003
The central idea is that stability and regulation of activity within a multi-agent system can be accounted for by means of a complex web of roles, commitments, obligations and rights.
Logics for Intelligent Agents and Multi-Agent Systems
- Philosophy, Computer ScienceComputational Logic
- 2014
ANGLE: An autonomous, normative and guidable agent with changing knowledge
- Computer ScienceInf. Sci.
- 2010
An Extended Agent Model Based on E-institutions
- Economics2010 International Conference on Web Information Systems and Mining
- 2010
This paper extends the agent model with the E-institution elements (roles, role relations, scenes etc) and presents a language of theAgent model (including the semantic and the properties) to show the characteristics of this kind of agents according to the role-playings of the agents.
Modeling and Verifying Probabilistic Social Commitments in Multi-Agent Systems
- Computer Science
- 2015
A practical formal framework that is capable of handling the problem of uncertainty in social commitments in MASs is presented and an adequate semantics for the group social commitments is developed, for the first time in the literature, and integrated into the framework.
A Computational Framework for Practical Social Reasoning
- Computer ScienceComput. Intell.
- 2015
The foundations of ESB are introduced conceptually and an actual implementation of a reasoning engine is presented, which is specifically combined with a general (belief–desire–intention‐based) practical reasoning programming system.
Social reasoning in multi-agent systems with the expectation-strategy-behaviour framework
- Computer Science
- 2010
This thesis argues that social reasoning should be considered separately from practical reasoning, and presents the novel ExpectationStrategy-Behaviour framework for social reasoning, which provides a generic way to specify and execute agent reasoning approaches.
References
SHOWING 1-10 OF 23 REFERENCES
Revisiting rationality for agents with intentions 1
- Philosophy
- 1995
Formal frameworks for the speciication of autonomous agents are commonly based on logics of intention and belief. Desirable properties for logics of intention are particularly non-standard, even more…
Modeling Rational Agents within a BDI-Architecture
- PhilosophyKR
- 1991
A formalization of intentions based on a branching-time possible-worlds model is presented and it is shown how the formalism realizes many of the important elements of Bratman's theory of intention.
BDI Agents: From Theory to Practice
- BiologyICMAS
- 1995
This paper explores a particular type of rational agent, a BeliefDesire-Intention (BDI) agent, and integrates the theoretical foundations of BDI agents from both a quantitative decision-theoretic perspective and a symbolic reasoning perspective.
On social commitment, roles and preferred goals
- EconomicsProceedings International Conference on Multi Agent Systems (Cat. No.98EX160)
- 1998
Roles are used as an abstraction to enable the agent designer to scope the sphere of influence of one agent with respect to another and provide a way to specify how the agent should balance competing obligations from different relationships, and from tensions between personal preferences and social obligations.
Reasoning about rational agents
- Computer ScienceIntelligent robots and autonomous agents
- 2000
The book shows how LORA can be used to capture many components of a theory of rational agency, including such notions as communication and cooperation.
Deliberative Normative Agents: Principles and Architecture
- Computer ScienceATAL
- 1999
It is claimed that not only following norms, but also the possibility of 'intelligent' norm violation can be useful, and an architecture for this agent architecture is introduced.
Commitments and conventions: The foundation of coordination in multi-agent systems
- SociologyKnowl. Eng. Rev.
- 1993
Here agent communities are modelled using a distributed goal search formalism and it is argued that commitments (pledges to undertake a specified course of action) and conventions are the foundation of coordination in multi-agent systems.
Towards socially sophisticated BDI agents
- Computer ScienceProceedings Fourth International Conference on MultiAgent Systems
- 2000
An approach to social reasoning is presented that integrates prior work on norms and obligations with the BDI approach to agent architectures, and a modified BDI interpreter loop is proposed that takes norm and obligations into account in an agent's deliberation.