an:05918384
Zbl 1216.68273
Rybakov, Vladimir
Inference rules in multi-agents' temporal logics
EN
Nguyen, Ngoc Thanh (ed.), Transactions on Computational Collective Intelligence IV. Berlin: Springer (ISBN 978-3-642-21883-5/pbk). Lecture Notes in Computer Science 6660. Lecture Notes in Artificial Intelligence. Journal Subline, 160-176 (2011).
2011
a
68T27 68T42
multi-agents logic; temporal logic; linear temporal logic; inference rules; valid inference rules
Summary: The aim of this paper is to work out a framework for computational 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 the 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 one to compute valid inference rules in agents liner time logics \(\mathcal{LTL}_{K}\) and \(\mathcal{LTL}_{K}(Z)\), agents logic with branching intransitive time \(\mathcal{L}_{TA_{i}}\), and the logic with branching transitive time \(\mathcal{L}_{TA_{t}}\).
For the entire collection see [Zbl 1217.68015].