Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
-
Published:2022-01
Issue:1
Volume:15
Page:114-124
-
ISSN:1997-1397
-
Container-title:Journal of Siberian Federal University. Mathematics & Physics
-
language:
-
Short-container-title:J. Sib. Fed. Univ., Math. phys.
Author:
Rybakov Vladimir V.,
Abstract
We study an agents’ temporal logic with non-standard none-transitive temporal accessibility relations and operations of static agents’ knowledge. The main mathematical problem we work with is existence of algorithms for solving satisfiability problem. The problem is resolved and the algorithm is found. Some open problems are suggested in the concluding part
Publisher
Siberian Federal University
Subject
General Physics and Astronomy,General Mathematics