Перевод названия: Неунифицируемость в линейной временной логике знания с многоагентными отношениями
Тип публикации: статья из журнала
Год издания: 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
Место издания: Новосибирск
Издатель: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук