Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
2,141
A TwoLevel BDI-Agent Model for Theory of Mind and its Use
- in Social Manipulation. In: Proc. of the AISB 2007 Workshop on Mindful Environments
, 2007
"... Abstract. This paper introduces a formal BDI-based agent model for Theory of Mind. The model uses BDI-concepts to describe the reasoning process of an agent that reasons about the reasoning process of another agent, which is also based on BDI-concepts. A case study illustrates how the model can be u ..."
Abstract
-
Cited by 28 (17 self)
- Add to MetaCart
Abstract. This paper introduces a formal BDI-based agent model for Theory of Mind. The model uses BDI-concepts to describe the reasoning process of an agent that reasons about the reasoning process of another agent, which is also based on BDI-concepts. A case study illustrates how the model can
Modeling Rational Agents within a BDI-Architecture
, 1991
"... Intentions, an integral part of the mental state of an agent, play an important role in ..."
Abstract
-
Cited by 1044 (21 self)
- Add to MetaCart
Intentions, an integral part of the mental state of an agent, play an important role in
AgentSpeak(L): BDI Agents speak out in a logical computable language
, 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
-proving or model-checking in these expressive specification logics. Hence, the implemented BDI systems have tended to use the three major attitudes as data structures, rather than as modal operators. In this paper, we provide an alternative formalization of BDI agents by providing an operational and proof
The observation-based model for bdi-agents
- 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
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
A Model of BDI-Agent in Game-Theoretic Framework
, 1997
"... . A model of BDI--agent in game--theoretic framework is presented. The desire is represented as agent's goal to achieve a maximum level of utility. A reasoning process based on agent's rational behavior is proposed. This process determines agent's intention. It is also shown how to u ..."
Abstract
-
Cited by 8 (3 self)
- Add to MetaCart
. A model of BDI--agent in game--theoretic framework is presented. The desire is represented as agent's goal to achieve a maximum level of utility. A reasoning process based on agent's rational behavior is proposed. This process determines agent's intention. It is also shown how
Incorporating BDI-Agent Concepts into Object-Oriented Programming
"... Abstract. In 1987 Bratman introduced the model of reasoning on the grounds of beliefs, desires, and intentions (BDI) to mimic important as-pects of human reasoning. This view has since been adopted as one of the major paradigms in agent-oriented modelling and agent program-ming. A number of dedicate ..."
Abstract
- Add to MetaCart
Abstract. In 1987 Bratman introduced the model of reasoning on the grounds of beliefs, desires, and intentions (BDI) to mimic important as-pects of human reasoning. This view has since been adopted as one of the major paradigms in agent-oriented modelling and agent program-ming. A number
Regular models of phonological rule systems
, 1994
"... This paper presents a set of mathematical and computational tools for manipulating and reasoning about regular languages and regular relations and argues that they provide a solid basis for computational phonology. It shows in detail how this framework applies to ordered sets of context-sensitive re ..."
Abstract
-
Cited by 382 (6 self)
- Add to MetaCart
-sensitive rewriting rules and also to grammars in Koskenniemi's two-level formalism. This analysis provides a common representation of phonological constraints that supports efficient generation and recognition by a single simple interpreter.
A Methodology and Modelling Technique for Systems of BDI Agents
, 1996
"... The construction of large-scale embedded software systems demands the use of design methodologies and modelling techniques that support abstraction, inheritance, modularity, and other mechanisms for reducing complexity and preventing error. If multi-agent systems are to become widely accepted as a b ..."
Abstract
-
Cited by 218 (6 self)
- Add to MetaCart
and engineers rather than researchers. In this paper we describe an agent-oriented methodology and modelling technique for systems of agents based upon the Belief-Desire-Intention (BDI) paradigm. Our models extend existing Object-Oriented (OO) models. By building upon and adapting existing, well
Modelling rational BDI-agents within the framework of asynchronous automata (Extended Abstract)
"... ) Stanis/law Ambroszkiewicz and Wojciech Penczek Institute of Computer Science, Polish Academy of Sciences email: penczek, sambrosz@ipipan.waw.pl Abstract A new model for multi-agent systems is introduced. Multi-agent systems are defined as asynchronous automata composed of non-deterministic agent ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
) Stanis/law Ambroszkiewicz and Wojciech Penczek Institute of Computer Science, Polish Academy of Sciences email: penczek, sambrosz@ipipan.waw.pl Abstract A new model for multi-agent systems is introduced. Multi-agent systems are defined as asynchronous automata composed of non
Results 1 - 10
of
2,141
