Propositional dynamic logic for reasoning about first-class agent interaction protocols

DOI10.1111/J.1467-8640.2011.00387.XMaRDI QIDQ3224882zbMATH OpenOpenAlexFDO

Authors Tim Miller, Peter McBurney

Publication date 2 April 2012

Published in Computational Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1467-8640.2011.00387.x

zbMATH Keywords

agent interaction protocolsfirst-class protocolsmultiagent systemspropositional dynamic logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Reasoning about conversation protocols in a logic-based agent language
• Theoretical Computer Science
• Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
• Reasoning with protocols under imperfect information
• Intensional protocols for dynamic epistemic logic

Cites work

• A calculus of communicating systems
• A logic-based calculus of events
• Dynamic Logic for Plan Revision in Agent Programming
• Fundamental concepts in programming languages
• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• Notes on recursion elimination
• Propositional dynamic logic of nonregular programs
• Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
• Some Techniques for Recursion Removal from Recursive Functions
• Systematic recursion removal

Cited in

(6)

• Intensional protocols for dynamic epistemic logic
• Propositional statecharts for agent interaction protocols
• Reasoning with protocols under imperfect information
• Reasoning about conversation protocols in a logic-based agent language
• Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
• A sequent calculus for propositional dynamic logic for agents with interactions

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Propositional dynamic logic for reasoning about first-class agent interaction protocols

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