Work

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

Year: 2012

Type: article

Abstract: We investigate a class of first-order temporal-epistemic logics for reasoning about multi-agent systems. We encode typical properties of systems including perfect recall, synchronicity, no learning, and having a unique initial state in terms of variants of quantified interpreted systems, a first-order extension of interpreted systems. We identify several monodic fragments of first-order temporal-epistemic logic and show their completeness with respect to their corresponding classes of quantified interpreted systems.

Source: Journal of Artificial Intelligence Research

DOI: 10.1613/jair.3547

Authors: F. Belardinelli, A. Lomuscio

Institution: Imperial College London

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: European Commission, Trusted Autonomous Systems Defence CRC, Engineering and Physical Sciences Research Council

Awards: G1610671871, G2025879468, First-order Modal Logics for the Specification and Verification of Multi-Agent Systems, Trusted Autonomous Systems, Artifact-Centric Service Interoperation