Skip to Main content Skip to Navigation
Journal articles

Reasoning with Protocols under Imperfect Information

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?
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00644259
Contributor : Jurgen Vinju Connect in order to contact the contributor
Submitted on : Wednesday, November 23, 2011 - 10:40:48 PM
Last modification on : Thursday, January 20, 2022 - 4:13:08 PM

Identifiers

Collections

Citation

Eric Pacuit, Sunil Simon. Reasoning with Protocols under Imperfect Information. The review of symbolic logic, Cambridge University Press, 2011, 4 (3), pp.412-444. ⟨10.1017/S1755020311000190⟩. ⟨hal-00644259⟩

Share

Metrics

Record views

59