Decision procedures for BDI logics

DOI10.1093/logcom/8.3.293zbMath0904.68158OpenAlexW2103739844MaRDI QIDQ4209288

Anand S. Rao, M. P. Georgeff

Publication date: 27 September 1998

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/8.3.293

zbMATH Keywords

BDI logicscomputational agents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (21)

How to decide what to do? ⋮ Reasoning About Belief Revision ⋮ A formal model of emotion triggers: an approach for BDI agents ⋮ From model checking to equilibrium checking: reactive modules for rational verification ⋮ Towards a theory of intention revision ⋮ Postulates for revising BDI structures ⋮ Levels of modality for BDI logic ⋮ Decision field theory extensions for behavior modeling in dynamic environment using Bayesian belief network ⋮ Where logic and agents meet ⋮ Unnamed Item ⋮ Mechanising first-order temporal resolution ⋮ Using temporal logics of knowledge for specification and verification -- a case study ⋮ Formal Modelling of Emotions in BDI Agents ⋮ Language Constructs for Multi-agent Programming ⋮ Exploring the future with resource-bounded agents ⋮ A Connectionist Computational Model for Epistemic and Temporal Reasoning ⋮ Tableaux for logics of time and knowledge with interactions relating to synchrony ⋮ A logical characterisation of qualitative coalitional games ⋮ Temporal Logics of Knowledge and their Applications in Security ⋮ Clausal resolution in a logic of rational agency ⋮ \({\mathcal E}\)-connections of abstract description systems

This page was built for publication: Decision procedures for BDI logics