Reasoning with protocols under imperfect information

&
Review of Symbolic Logic 4 (3):412-444 (2011)
  Copy   BIBTEX

Abstract

We introduce and study a PDL-style logic for reasoning about protocols, or plans, under imperfect information. Our paper touches on a number of issues surrounding the relationship between an agent’s abilities, available choices, and information in an interactive situation. The main question we address is under what circumstances can the agent commit to a protocol or plan, and what can she achieve by doing so?

Categories

Add categories

Keywords

Reprint years

DOI

10.1017/s1755020311000190

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

Dynamic Logics of Imperfect Information: From Teams and Games to Transitions.Pietro Galliani - 2018 - In Hans van Ditmarsch & Gabriel Sandu, Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 299-315.
Representing Imperfect Information of Procedures with Hyper Models.Y. Wang - 2015 - In Mamata Banerjee & S. N. Krishna, Logic and Its Applications. ICLA 2015. Lecture Notes in Computer Science, vol 8923. Springer.
A logic for extensional protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3):477-502.
A logic of strategic ability under bounded memory.Thomas Ågotnes & Dirk Walther - 2009 - Journal of Logic, Language and Information 18 (1):55-77.
On Practical Reasoning under Ignorance.Georg Spielthenner - 2013 - Croatian Journal of Philosophy 13 (3):357-373.
Hidden protocols: Modifying our expectations in an evolving world.Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang - 2014 - Artificial Intelligence 208 (1):18--40.
Constructive knowledge: what agents can achieve under imperfect information.Wojciech Jamroga & Thomas Ågotnes - 2007 - Journal of Applied Non-Classical Logics 17 (4):423-475.
Knowledge condition games.Sieuwert van Otterloo, Wiebe Van Der Hoek & Michael Wooldridge - 2006 - Journal of Logic, Language and Information 15 (4):425-452.
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents.Anthia Solaki - 2022 - Journal of Logic, Language and Information 31 (4):529-553.
Valuing Others’ Information under Imperfect Expectations: A Cross-Individual Perspective on Harmful Information and Stock Market Price Reactions.Hagen Lindstädt - 2007 - Theory and Decision 62 (4):335-353.

Analytics

Added to PP
2013-12-01

Downloads
199 (#202,490)

6 months
16 (#749,564)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Eric Pacuit
Eric Pacuit
University of Maryland, College Park

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
A logic for extensional protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3):477-502.
The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.

View all 6 citations / Add more citations

References found in this work

The Concept of Mind.Gilbert Ryle - 2000 - New York: University Of Chicago Press.
Intention, plans, and practical reason.Michael Bratman - 1987 - Cambridge: MA: Harvard University Press.
The Concept of Mind.Gilbert Ryle - 1949 - Revue Philosophique de la France Et de l'Etranger 141:125-126.

View all 38 references / Add more references