2009 | OriginalPaper | Buchkapitel
Temporal Logic for Modeling Discovery and Logical Uncertainty
verfasst von : Sergey Babenyshev, Vladimir V. Rybakov
Erschienen in: Knowledge-Based and Intelligent Information and Engineering Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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).