A Logic for Reasoning about Rational Agents

DOI10.1007/978-3-540-88833-8_3MaRDI QIDQ3602940zbMATH OpenOpenAlexFDO

Authors Wojciech Jamroga, Nils Bulling

Publication date 12 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88833-8_3

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Applications of game theory (91A80)

Recommendations

• Reasoning about temporal properties of rational play
• Model checking abilities of agents: a closer look
• Logics for Reasoning About Strategic Abilities in Multi-player Games
• scientific article; zbMATH DE number 2182496
• Reasoning about actions meets strategic logics

Cites work

• A course in game theory.
• A Logic for Reasoning about Rational Agents
• Alternating-time logic with imperfect recall
• Alternating-time temporal logic
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Comparing semantics of logics for multi-agent systems
• scientific article; zbMATH DE number 1705163 (Why is no real title available?)
• scientific article; zbMATH DE number 3543895 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2063025 (Why is no real title available?)
• scientific article; zbMATH DE number 2182496 (Why is no real title available?)
• Model checking abilities of agents: a closer look
• Nash and correlated equilibria: Some complexity considerations
• New complexity results about Nash equilibria
• On epistemic temporal strategic logic
• On the NP-completeness of finding an optimal strategy in games with common payoffs
• Social laws in alternating time: effectiveness, feasibility, and synthesis
• The complexity of two-person zero-sum games in extensive form

Cited in

(15)

• Reasoning about temporal properties of rational play
• A logic for conditional local strategic reasoning
• Towards a logic for conditional local strategic reasoning
• Reasoning about actions meets strategic logics
• Reasoning about agent programs using ATL-like logics
• A logic for reasoning about moral agents
• A modal logic for reasoning about economic policies
• A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
• How to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games (extended abstract)
• A Logic for Reasoning about Rational Agents
• scientific article; zbMATH DE number 1759694 (Why is no real title available?)
• scientific article; zbMATH DE number 2182495 (Why is no real title available?)
• Theoretical Computer Science
• Programming rational agents in a modal action logic
• Where logic and agents meet

This page was built for publication: A Logic for Reasoning about Rational Agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602940)