Inference Rules in Multi-agents’ Temporal Logics

Abstract

Listen

Translate article

Aim of this paper 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 \(\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}\).Keywordsmulti-agents’ logicstemporal logicslinear temporal logicinference rulesvalid inference rules