Temporal Logic for Modeling Discovery and Logical Uncertainty

  • Authors:

  • Sergey Babenyshev;Vladimir V. Rybakov

  • Affiliations:

  • Dept. Computing and Math., Manchester Metropolitan University, Manchester, UK M1 5GD;Dept. Computing and Math., Manchester Metropolitan University, Manchester, UK M1 5GD

  • Venue:
  • KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part II
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The paper investigates a new temporal logic ${\mathcal LTL}^{\mathcal Z}_{{\mathcal D}{\mathcal U}}$ combining operations of the linear temporal logic LTL, the operation for discovery and operation for logical uncertainty. Our main aim is to construct a logical framework for modeling logical laws connecting temporal operations and operations of discovery and uncertainty. We consider questions of satisfiability and decidability for ${\mathcal LTL}^{\mathcal Z}_{{\mathcal D}{\mathcal U}}$. Our principal result is found algorithm which recognizes theorems of ${\mathcal LTL}^{\mathcal Z}_{{\mathcal D}{\mathcal U}}$ (which implies that ${\mathcal LTL}^{\mathcal Z}_{{\mathcal D}{\mathcal U}}$ is decidable, and the satisfiability problem for ${\mathcal LTL}^{\mathcal Z}_{{\mathcal D}{\mathcal U}}$ is solvable).