Modeling Rational Agents within a BDI-Architecture

Anand Srinivasa Rao, M. Georgeff · International Conference on Principles of Knowledge Representation and Reasoning · 1997

Explore this paper's citation graph

Summary

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.

Published: 1997-10-01
Cited by: 2,661
References: 20
Semantic Scholar: https://api.semanticscholar.org/CorpusID:98670

References

Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention LogicsAnand S. Rao, Michael Georgeff — 1991
Decision-Making in an Embedded Reasoning SystemMichael Georgeff, Félix Ingrand — 1989
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about ActionsAnand S. Rao, Norman Foo — 1989
Intention = Choice + CommitmentPhilip R. Cohen, Hector J. Levesque — 1987
A companion to modal logicG. E. Hughes, M. J. Cresswell — 1984
Principles of MetareasoningStuart Russell, Eric Wefald — 1989
A Temporal Logic for Reasoning About Processes and PlansDrew McDermott — 1982
Knowledge in flux: modeling the dynamics of epistemic statesPeter Menzies, Peter Gärdenfors — 1988
A Guide to the Modal Logics of Knowledge and Belief: Preliminary DraftJoseph Y. Halpern, Yoram Moses — 1985
On Epistemic Logic and Logical OmniscienceMoshe Y. Vardi — 1986
Branching time temporal logicE. Emerson, Jai Srinivasan — 1988

Cited by

Enterprise Agents Solving Conflicts: Thecobac ApproachIngo J. Timm — 2001
Using constraints for norm-aware BDI agentsFelipe Meneguzzi, Nir Oren, Wamberto Vasconcelos — 2010
A LOGIC OF BDI AGENTS WITH PROCEDURAL KNOWLEDGEMichael Wooldridge — 1996
A Multiagent Approach to Educational Resources RetrievalAna Casali, Claudia Deco, Cristina Bender — 2006
BDI^ATL : An Alternating-Time BDI Logic for Multiagent SystemsRoberto Montagna, Giorgio Delzanno, Maurizio Martelli — 2005
Norm-governed practical reasoning agentsMartin J. Kollingbaum — 2005
Semantics of AlanFrancesco Pagliarecci — 2006
Automated Generation of Geometrically-Precise and Semantically-Informed Virtual Geographic Environments Populated with Spatially-Reasoning AgentsMehdi Mekni — 2010
Goal Generation and Adoption from Partially Trusted BeliefsCélia da Costa Pereira, Andrea G. B. Tettamanzi — 2008
Practical and Industrial Applications of Agent-Based SystemsH. Van Dyke Parunak — 1998
Methodologies and Software Engineering for Agent SystemsFederico Bergenti, Franco Zambonelli, Marie-Pierre Gleizes — 2004
Plan Recognition in Military Simulation: Incorporating Machine Learning with Intelligent AgentsClinton Heinze, Simon Goss, Adrian R. Pearce — 1999
Grounding and the Expression of BeliefBenoît Gaudou, Andreas Herzig, Dominique Longin — 2006
Commitment and Effectiveness of Situated AgentsDavid Kinny, Michael Georgeff — 1991
A Formal Specification Language for MAS EngineeringHong Zhu — 2001
Perspectives on belief and changeGuillaume Aucher, HERZIG, Andréas — 2008
THE ROLE OF NORMS IN INTELLIGENT REACTIVE AGENTSRossana Damiano — 2005
Towards Anticipatory Traffic Forecast - Modelling of Route Choice BehaviourFranziska Klügl, Joachim Wahle, Ana L. C. Bazzan — 2000
Enhancing Affective Communication in Embodied Conversational AgentsMichelle Denise Leonhardt, Rosa María Vicari, Sylvie Pesty — 2010
Representing Knowledge of Resource-bounded AgentsHo Ngoc Duc — 2003

Related papers

No related papers recorded.