Results 1 - 10 of 117

AgentSpeak(L): BDI Agents speak out in a logical computable language

by Anand S. Rao , 1996
"... Belief-Desire-Intention (BDI) agents have been investigated by many researchers from both a theoretical specification perspective and a practical design perspective. However, there still remains a large gap between theory and practice. The main reason for this has been the complexity of theorem-prov ..."
Abstract - Cited by 514 (2 self) - Add to MetaCart
Belief-Desire-Intention (BDI) agents have been investigated by many researchers from both a theoretical specification perspective and a practical design perspective. However, there still remains a large gap between theory and practice. The main reason for this has been the complexity of theorem

Proving BDI Properties of an Agent-Oriented Logic Programming Language (Extended Abstract)

by Rafael H. Bordini, Alvaro F. Moreira
"... Rafael H. Bordini Department of Computer Science University of Liverpool Liverpool L69 7ZF, U.K. ..."
Abstract - Add to MetaCart
Rafael H. Bordini Department of Computer Science University of Liverpool Liverpool L69 7ZF, U.K.

Goal representation for BDI agent systems

by Lars Braubach, Er Pokahr, Daniel Moldt, Winfried Lamersdorf , 2004
"... Abstract. Agent-oriented system development aims to simplify the construction of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed of autonomous interacting actors. One main advantage of the agent metaphor is that an agent can be described sim ..."
Abstract - Cited by 66 (18 self) - Add to MetaCart
similar to the characteristics of the human mind consisting of several interrelated concepts which constitute the internal agent structure. General consensus exists that the Belief-Desire-Intention (BDI) model is well suited for describing an agent’s mental state. The desires (goals) of an agent represent

Nu-BDI: Norm-aware BDI Agents

by Felipe Meneguzzi, Wamberto Vasconcelos, Nir Oren, Michael Luck
"... Abstract Systems of autonomous and self-interested agents interacting to achieve individual and collective goals may exhibit undesirable or unexpected properties if left unconstrained. Using deontic concepts of obligations, permissions and prohibitions to describe, what must, may and should not be d ..."
Abstract - Add to MetaCart
Abstract Systems of autonomous and self-interested agents interacting to achieve individual and collective goals may exhibit undesirable or unexpected properties if left unconstrained. Using deontic concepts of obligations, permissions and prohibitions to describe, what must, may and should

BDI-Modelling of Intracellular Dynamics

by Catholijn M. Jonker, Jacky L. Snoep, Jan Treur, Hans V. Westerhoff, Wouter C. A. Wijngaards , 2002
"... Existing chemical models of bacteria are complicated, due to the thousands of interacting chemical reactions within the cell. To gain a higher level of understanding, more transparent and abstract models are needed. In this paper an intentional dynamic modelling approach is introduced and used to si ..."
Abstract - Cited by 6 (3 self) - Add to MetaCart
to simulate the behaviour of Escherichia coli. A model of the entire cell is presented that covers E. coli's behaviour, including its intracellular processes and their control. The intentional state properties used in the model are in a one-to-one correspondence to chemical state properties

Levels of Modality for BDI Logic

by Jeff Bleea, David Billingtona, Guido Governatori, Abdul Sattara
"... The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI (Beliefs, Desires, and Intentions) Logic being a widely used architecture to represent and rea-son about rational agency. However, in the real world, we often have to de ..."
Abstract - Add to MetaCart
to deal with different levels of confidence in the beliefs we hold, desires we have, and intentions that we commit to. This paper extends our previous frame-work that integrated qualitative levels of beliefs, desires, and intentions into BDI Logic. We describe an expanded set of axioms and properties

Representation and Reasoning for Goals in BDI Agents

by John Thangarajah, Lin Padgham, James Harland
"... A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this logic, goals are a consistent set of desires, and this property is fundamental to the semantics of the logic. However, im ..."
Abstract - Cited by 21 (4 self) - Add to MetaCart
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this logic, goals are a consistent set of desires, and this property is fundamental to the semantics of the logic. However

BDI-Modelling of Complex Intracellular Dynamics

by C. M. Jonker, J. L. Snoep, J. Treur
"... A BDI-based continuous-time modelling approach for intracellular dynamics is presented. It is shown how temporalised BDI-models make it possible to model intracellular biochemical processes as decision processes. By abstracting from some of the details of the biochemical pathways, the model achieves ..."
Abstract - Cited by 9 (8 self) - Add to MetaCart
A BDI-based continuous-time modelling approach for intracellular dynamics is presented. It is shown how temporalised BDI-models make it possible to model intracellular biochemical processes as decision processes. By abstracting from some of the details of the biochemical pathways, the model

N.: Modelling emotional BDI agents

by David Pereira, Eugénio Oliveira, Nelma Moreira - In: Workshop on Formal Approaches to Multi-Agent Systems (FAMAS 2006), Riva Del Garda , 2006
"... Abstract. Emotional-BDI agents are agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. In this paper we introduce the logic EBDI for specifying Emotional-BDI agents in general and a special kind of Emotional ..."
Abstract - Cited by 5 (1 self) - Add to MetaCart
of Emotional-BDI agent under the effect of fear. The focus of this work is in the expressiveness of EBDI and on using it to establish some properties which agents under the effect of an emotion should exhibit. 1

The observation-based model for bdi-agents

by Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Nair - In AAAI-05 , 2005
"... We present a new computational model of BDI-agents, called the observation-based BDI-model. The key point of this BDImodel is to express agents ’ beliefs, desires and intentions as a set of runs (computing paths), which is exactly a system in the interpreted system model, a well-known agent model du ..."
Abstract - Cited by 5 (3 self) - Add to MetaCart
due to Halpern and his colleagues. Our BDI-model is computationally grounded in that we are able to associate the BDIagent model with a computer program, and formulas, involving agents ’ beliefs, desires (goals) and intentions, can be understood as properties of program computations. We present a
Results 1 - 10 of 117