NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание

Описание

Перевод названия: Неунифицируемость в линейной временной логике знания с многоагентными отношениями

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

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

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

Ключевые слова: unification, modal temporal logic, passive inference rules, унификация, модальная временная логика, пассивные правила вывода

Аннотация: The paper is devoted to the study of the unification problem in the linear temporal logic of knowledge with multi-agent relations (denoted in the sequel as LFPK). This logic is based on frames (models) with time points represented by integer numbers from Z and the information clusters Ci for i € Z with multi-agent accessibility relПоказать полностьюations Ri. The first main result is a theorem describing a criterion for formulas to be not unifiable in LFPK. The second one is a construction of a basis for all inference rules passive in LFPK. Работа посвящена изучению проблемы унификации в линейной временной логике знания с многоагентными отношениями (в дальнейшем обозначаемой $LFPK$). Данная логика основывается на фреймах (моделях) с временными точками, представленными целыми числами из $Z$ и информационными кластерами $C

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

Издание

Журнал: Сибирские электронные математические известия

Выпуск журнала: Т. 13

Номера страниц: 656-663

ISSN журнала: 18133304

Место издания: Новосибирск

Издатель: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук

Персоны

  • Bashmakov S.I. (Institute of mathematics and computer science, Siberian Federal University)
  • Kosheleva A.V. (Institute of space and informatic technologies, Siberian Federal University)
  • Rybakov V. (Department of Computing and Mathematics)

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