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 relations 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.

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

Издание

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

Выпуск журнала: Т.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)

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.