Computing Truth of Logical Statements in Multi-Agents’ Environment

Перевод названия: Исчисление истинных утверждений с помощью операций теории Chance Discovery в многоагентном окружении

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

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

Ключевые слова: Chance discovery, Cd, случайные открытия, Во, Temporal logics, multi-agent logics, Kripke-Hintikka models, Временные логики, многоагентные логики, модели Крипке-Хинтикка

Аннотация: Thispaperdescribeslogical models and computational algorithmsforlogical statements(specs) including various versions ofChanceDiscovery(CD).The approachisbased attemporal multi-agentlogic. Prime question is how to express most essential properties of CD in terms of temporal logic (branching time multi-agents’ logic or a linear one), how to de?ne CD by formulas in logical language. We, as an example, introduce several formulas in the language of temporal multi-agent logic which may express essential properties of CD. Then we study computational questions (in particular, using some light modi?cation of the standard ?ltration technique we show that the constructed logic has the ?nite-model property with e?ectively computable upper bound; this proves that the logic is decidable and provides a decision algorithm). At the ?nal part of the paper we consider interpretation of CD via uncertainty and plausibility in an extension ofthelineartemporallogicLTL and computationfortruth values(satis?ability) ofits formulas.

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

Издание

Журнал: Журнал Сибирского федерального университета. Серия: Математика и физика

Выпуск журнала: Т.6, 3

Номера страниц: 315-328

ISSN журнала: 19971397

Место издания: Красноярск

Издатель: Федеральное государственное автономное образовательное учреждение высшего образования Сибирский федеральный университет

Авторы

  • McLean David (School of Computing, Mathematics and DT, Manchester Metropolitan University)
  • Rybakov Vladimir V. (Institute of Mathematics and Computer Science, Siberian Federal University)

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

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

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