A quantified epistemic logic for reasoning about multiagent systems

Authors:
F. Belardinelli;A. Lomuscio
Affiliations:
Imperial College London, London;Imperial College London, London
Venue:
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Year:
2007

Citing 8
Cited 1

Intention is choice with commitment

Artificial Intelligence
Reasoning about knowledge

Reasoning about knowledge
Model checking

Model checking
Tractable multiagent planning for epistemic goals

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
On the Relation between Interpreted Systems and Kripke Models

Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
QLB: A Quantified Logic for Belief

ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Computationally Grounded Theories of Agency

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)

A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate quantified interpreted systems, a semantics for multiagent systems in which agents can reason about individuals, their properties, and the relationships among them. We analyse a first-order epistemic language interpreted on this semantics and show soundness and completeness of Q.S5n, an axiomatisation for these structures.