From BDI and stit to bdi-stit logic

Logic and Logical Philosophy 17 (1-2):185-207 (2008)
  Copy   BIBTEX


Since it is desirable to be able to talk about rational agents forming attitudes toward their concrete agency, we suggest an introduction of doxastic, volitional, and intentional modalities into the multi-agent logic of deliberatively seeing to it that, dstit logic. These modalities are borrowed from the well-known BDI (belief-desire-intention) logic. We change the semantics of the belief and desire operators from a relational one to a monotonic neighbourhood semantic in order to handle ascriptions of conflicting but not inconsistent beliefs and desires as being satisfiable. The proposed bdi-stit logic is defined with respect to branching time frames, and it is shown that this logic is a generalization of a bdi logic based on branching time possible worlds frames (but without temporal operators) and dstit logic. The new bdi-stit logic generalizes bdi and dstit logic in the sense that for any model of bdi or dstit logic, there is an equivalent bdi-stit model



    Upload a copy of this work     Papers currently archived: 94,549

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Springer. pp. 340-354.
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
A language for the execution of graded BDI agents.A. Casali, L. Godo & C. Sierra - 2013 - Logic Journal of the IGPL 21 (3):332-354.


Added to PP

426 (#50,306)

6 months
20 (#173,391)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum