Multi-agent non-linear temporal logic with embodied agent describing uncertainty

Тип публикации: статья из журнала (материалы конференций, опубликованные в журналах)

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

Идентификатор DOI: 10.1007/978-3-319-07650-8_10

Ключевые слова: Embodied agent, Interacting agents, Multi-agent logic, Non-linear temporal logic, Computation theory, Temporal logic, Bounded size, Computational algorithm, Embodied agent, Interacting agents, Multi-agent environment, Multi-agent logic, Non linear, Satisfiability, Multi agent systems

Аннотация: We study multi-agent non-linear temporal Logic TEm , Int Knwith embodied agent. Our approach models interaction of the agents and various aspects for computation of uncertainty in multi-agent environment. We construct algorithms for verification satisfiability and truth statements in the logic TEm , Int Kn. Found computational algorithms are based at refutability of rules in reduced form at special finite frames of effectively bounded size. We show that our chosen framework is rather flexible and it allows to express various approaches to uncertainty and formalizing meaning of the embodied agent. © Springer International Publishing Switzerland 2014

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

Издание

Журнал: (18 June 2014 through 20 June 2014

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

Номера страниц: 87-96

Авторы

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

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

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