e-space
Manchester Metropolitan University's Research Repository

Multi-agent logics with interacting agents based on linear temporal logic: deciding algorithms

Rybakov, Vladimir V. (2008) Multi-agent logics with interacting agents based on linear temporal logic: deciding algorithms. ISSN 1611-3349

Full text not available from this repository.

Abstract

We introduce a multi-agent logic – a variant of the linear temporal logic LTL with embedded multi-agent knowledge with interacting agents. The logic is motivated by semantics based on potentially infinite runs with time points represented by clusters of states with distributed knowledge of the agents. We address properties of local and global knowledge modeled in this framework, consider modeling of interaction between agents by possibility to puss information from one agent to others via possible transitions within time clusters of states. Main question we are focused on is the satisfiability problem and decidability of the logic . Key result is proposed algorithm which recognizes theorems of (so we show that is decidable). It is based on verification of validity for special normal reduced forms of rules in models with at most triple exponential size in the testing rules. In the final part we discuss possible variations of the proposed logic.

Impact and Reach

Statistics

Downloads
Activity Overview
0Downloads
257Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Actions (login required)

View Item View Item