A Quantified Epistemic Logic for Reasoning about Multi-Agent Systems
F. Belardinelli
Department of Computing Imperial College London 180 Queen's Gate London SW7 2AZ
A. Lomuscio
Department of Computing Imperial College London 180 Queen's Gate London SW7 2AZ
ABSTRACT
We investigate quantified interpreted systems, a semantics
for multi-agent 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.
pdflogo.jpg
AAMAS07_0044_01c58fdddfba346c920bba09f0f27dbb