Multi-Agent Temporary Logic TS4_(K_n)~U Based at Non-linear Time and Imitating Uncertainty via Agents' Interaction

摘要

This paper considers AI problems concerning reasoning in multi-agent environment. We introduce and study multi-agents' nonlinear temporal logic TS4_(K_n)~U based on arbitrary (in particular, nonlinear, finite or infinite) frames with reflexive and transitive accessibility relations, and individual symmetric accessibility relations R_i for agents. Main accent of our paper is modeling of logical uncertainty for statements via interaction of agents (passing knowledge). Conception of interacting agents is implemented via arbitrary finite paths of transitions by agents accessibility relations. We address problems decidability and satisfiability for TS4_(K_n)~U . It is proved that TS4_(K_n)~U is decidable (and, in particular, the satisfiability problem for it is also decidable). We suggest an algorithm for checking satisfiability based on computation possibility of refutation special inference rues in finite models of effectively bounded size.