Constructive knowledge: what agents can achieve under imperfect information

DOI10.3166/jancl.17.423-475zbMath1186.03031OpenAlexW1966063923MaRDI QIDQ3647280

Wojciech Jamroga, Thomas Ågotnes

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.17.423-475

zbMATH Keywords

epistemic logicimperfect informationalternating-time temporal logicstrategic ability

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items

Specification and Verification of Multi-Agent Systems ⋮ A complete coalition logic of temporal knowledge for multi-agent systems ⋮ An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking ⋮ Knowledge-based strategies for multi-agent teams playing against nature ⋮ BISIMULATIONS FOR KNOWING HOW LOGICS ⋮ Complexity results of STIT fragments ⋮ Tableaux for the Logic of Strategically Knowing How ⋮ Neighborhood semantics for logic of knowing how ⋮ DOING WITHOUT ACTION TYPES ⋮ ACTION TYPES IN STIT SEMANTICS ⋮ A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ ⋮ Together we know how to achieve: an epistemic logic of know-how ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Intelligence in Strategic Games ⋮ Model checking abilities of agents: a closer look ⋮ What will they say? -- Public announcement games ⋮ Group announcement logic ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions ⋮ Knowing-how under uncertainty ⋮ Natural strategic ability ⋮ A logic of strategic ability under bounded memory ⋮ On composition of bounded-recall plans ⋮ Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information ⋮ REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION ⋮ Reasoning about temporal properties of rational play ⋮ Constructive knowledge: what agents can achieve under imperfect information ⋮ Multi-valued Verification of Strategic Ability ⋮ Knowing the price of success ⋮ Reasoning about memoryless strategies under partial observability and unconditional fairness constraints

Cites Work

• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Comparing semantics of logics for multi-agent systems
• Action and knowledge in alternating-time temporal logic
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Alternating-time temporal logic
• Constructive knowledge: what agents can achieve under imperfect information
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• A Modal Logic for Coalitional Power in Games
• On the Expressiveness and Complexity of ATL
• Unnamed Item
• Unnamed Item
• Unnamed Item