Open Access
BDI Agents: From Theory to Practice
Anand S. Rao,Michael P. Georgeff +1 more
- pp 312-319
TLDR
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.Abstract:
The study of computational agents capable of rational behaviour has received a great deal of attention in recent years. Theoretical formalizations of such agents and their implementations have proceeded in parallel with little or no connection between them. Tkis paper explores a particular type of rational agent, a BeliefDesire-Intention (BDI) agent. The primary aim of this paper is to integrate (a) the theoretical foundations of BDI agents from both a quantitative decision-theoretic perspective and a symbolic reasoning perspective; (b) the implementations of BDI agents from an ideal theoretical perspective and a more practical perspective; and (c) the building of large-scale applications based on BDI agents. In particular, an air-trafflc management application will be described from both a theoretical and an implementation perspective.read more
Citations
More filters
Journal ArticleDOI
Explanation in artificial intelligence: Insights from the social sciences
TL;DR: This paper argues that the field of explainable artificial intelligence should build on existing research, and reviews relevant papers from philosophy, cognitive psychology/science, and social psychology, which study these topics, and draws out some important findings.
Book
Developing Multi-Agent Systems with JADE
TL;DR: JADE (Java Agent Development Framework) is a software framework to make easy the development of multi-agent applications in compliance with the FIPA specifications and can be considered a middle-ware that implements an efficient agent platform and supports theDevelopment of multi agent systems.
Journal ArticleDOI
Software agents: an overview
TL;DR: This overview paper presents a typology of agents, places agents in context, defines them and goes on, inter alia, to overview critically the rationales, hypotheses, goals, challenges and state-of-the-art demonstrators of the various agent types in this typology.
Journal ArticleDOI
Agent-based software engineering
TL;DR: The paper considers the problem of building a multi-agent system as a software engineering enterprise and discusses three issues: how agents might be specified; how these specifications might be refined or otherwise transformed into efficient implementations: and how implemented agents and multi- agent systems might subsequently be verified, to show that they are correct with respect to their specifications.
Journal ArticleDOI
Multiagent Systems: A Survey from a Machine Learning Perspective
Peter Stone,Manuela Veloso +1 more
TL;DR: This survey of MAS is intended to serve as an introduction to the field and as an organizational framework, and highlights how multiagent systems can be and have been used to build complex systems.
References
More filters
Book ChapterDOI
Temporal and modal logic
TL;DR: In this article, a multiaxis classification of temporal and modal logic is presented, and the formal syntax and semantics for two representative systems of propositional branching-time temporal logics are described.
Proceedings Article
Modeling rational agents with a BDI-architecture
Anand S. Rao,Michael P. Georgeff +1 more
TL;DR: 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.
Journal ArticleDOI
Intention is choice with commitment
TL;DR: In this article, the authors explore principles governing the rational balance among an agent's beliefs, goals, actions, and intentions, and show how agents can avoid intending all the foreseen side-effects of what they actually intend.
Journal ArticleDOI
Agent-oriented programming
TL;DR: The concept of agent-oriented programming is presented, the concept of mental state and its formal underpinning are discussed, a class of agent interpreters are defined, and a specific interpreter that has been implemented is described.
Agent Oriented Programming
TL;DR: This paper describes features of the agent oriented programming framework in a little more detail, and summarizes recent results and ongoing AOP-related work.