2009 | OriginalPaper | Chapter
Temporal Logic for Modeling Discovery and Logical Uncertainty
Authors : Sergey Babenyshev, Vladimir V. Rybakov
Published in: Knowledge-Based and Intelligent Information and Engineering Systems
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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).