Inference Rules in Multi-agents' Temporal Logics

Тип публикации: глава из книги

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

Идентификатор DOI: 10.1007/978-3-642-21884-2_4

Ключевые слова: multi-agents' logics, temporal logics, linear temporal logic, inference rules, valid inference rules, Human reasoning, Inference rules, Linear temporal logic, Logical reasoning, Multi agent, Inference engines, Temporal logic

Аннотация: Aim of this paper(1) is to work out a framework for computation inference rules valid in agents' temporal logics. Coordinated, rational actions of agents use logical reasoning, derivations (in order to predict results). As a tool, describing human reasoning procedure, we suggest valid inference rules (valid semantically - in Kripke-like frames generating logic). Our paper studies inference rules valid in temporal agents' logics admitting various representations of time, in particular, we consider logics with linear and branching intransitive time. We suggest algorithms which allow to compute valid inference rules in agents' liner time logics LTL(K) and LTL(K)(Z), agents' logic with branching intransitive time L(TAi), and the logic with branching transitive time L(TAt).

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

Издание

Журнал: TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE IV

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

Номера страниц: 160-176

ISSN журнала: 03029743

Место издания: BERLIN

Издатель: SPRINGER-VERLAG BERLIN

Авторы

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

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

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