Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems

DOI10.1007/s11704-016-5100-yzbMath1403.68275OpenAlexW2592722669MaRDI QIDQ1712550

Xiangyu Lu, Jingyu Chen, Kaile Su, Yabiao Han, Lijun Wu

Publication date: 22 January 2019

Published in: Frontiers of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-016-5100-y

zbMATH Keywords

hierarchical multi-agent systemsquantified interpreted systemsquantified temporal KBC logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of temporal-epistemic actions
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Game logic and its applications. II
• A complete coalition logic of temporal knowledge for multi-agent systems
• Limited reasoning in first-order knowledge bases with full introspection
• Game logic and its applications. I
• First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• What can machines know?
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Epistemic Conditions for Nash Equilibrium
• Knowledge, Identity, and Existence¹

This page was built for publication: Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems