Inference rules in multi-agents' temporal logics

  • Authors:
  • Vladimir Rybakov

  • Affiliations:
  • Manchester Metropolitan University, Manchester, UK and Siberian Federal University, Krasnoyarsk, Russia

  • Venue:
  • Transactions on computational collective intelligence IV
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 LTLK and LTLK(Z), agents' logic with branching intransitive time LTAi, and the logic with branching transitive time LTAi.