BRANCHING TIME AGENT'S LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM : научное издание

Описание

Тип публикации: статья из журнала

Год издания: 2019

Идентификатор DOI: 10.33048/semi.2019.16.079

Ключевые слова: temporal logic, branching time logic, multi-agent logic, computability, information, satisfiability, decidability

Аннотация: This paper considers the branching time logic on non-transitive intervals of agent's accessibility relations. The agents' accessibility relations are defined inside transitivity intervals and via neighboring limit points, they may be not complete and lose This paper considers the branching time logic on non-transitive intervals of Показать полностьюagents' accessibility relations. The agents' accessibility relations are defined inside transitivity intervals and via neighboring limit points, they may be not complete and lose some states-the lacunas of forgotten time thought they may interfere. This approach is used for modeling computational processes and analysis of incomplete information for individual agents. A logical language for reasoning about models' properties which includes temporal and modal logical operations is suggested. Illustrative examples are provided. Mathematical part of the paper is devoted to the satisfiability and decidability problems for the suggested logic. We use instruments of reduced normal forms for rules and algorithms converting rules to such forms. We find algorithms solving the satisfiability problem. Some open problems are suggested. © 2019 Rybakov V.V.

Ссылки на полный текст

Издание

Журнал: SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA

Выпуск журнала: Vol. 16

Номера страниц: 1158-1170

ISSN журнала: 18133304

Место издания: NOVOSIBIRSK

Издатель: SOBOLEV INST MATHEMATICS

Авторы

  • Rybakov V.V. (Siberian Fed Univ, Inst Math & Comp Sci, 79 Svobodny Av, Krasnoyarsk 660041, Russia; AP Ershov Inst Informat Syst SB RAS, 6 Acad Lavrentjev Ave, Novosibirsk 630090, RussiaArticle)

Вхождение в базы данных