Тип публикации: статья из журнала (материалы конференций, опубликованные в журналах)
Конференция: KES Conference on Agent and Multi Agent Systems - Technologies and Applications, KES-AMSTA 2014; ; Chania, Greece; Chania, Greece
Год издания: 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, Multi-agent environment, 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 algoПоказать полностьюrithms 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
Журнал: Advances in Intelligent Systems and Computing
Выпуск журнала: Vol. 296
Номера страниц: 87-96