Тип публикации: глава из книги
Год издания: 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, 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