A Framework to Compute Inference Rules Valid in Agents’ Temporal Logics

  • Sergey Babenyshev
  • Vladimir Rybakov
Conference paper

DOI: 10.1007/978-3-642-15387-7_27

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6276)
Cite this paper as:
Babenyshev S., Rybakov V. (2010) A Framework to Compute Inference Rules Valid in Agents’ Temporal Logics. In: Setchi R., Jordanov I., Howlett R.J., Jain L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2010. Lecture Notes in Computer Science, vol 6276. Springer, Berlin, Heidelberg

Abstract

Our paper suggests a computational framework for verification valid inference in agents’ temporal logics. As a tool, describing human reasoning procedure, we suggest valid inference rules (valid semantically - in Kripke-like frames generating logic). We investigate valid inference rules in agents’ temporal logics with linear and branching intransitive time. Main results of our paper are suggested 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}\).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Sergey Babenyshev
    • 1
    • 2
  • Vladimir Rybakov
    • 1
    • 2
  1. 1.Department of Computing and MathematicsManchester Metropolitan UniversityManchesterU.K.
  2. 2.Siberian Federal UniversityKrasnoyarskRussia

Personalised recommendations