Temporal logics in AI: semantical and ontological considerations
type: Item
instance of: scholarly article
title: Temporal logics in AI: semantical and ontological considerations
zbMATH Open document ID: 0633.68014
DOI: 10.1016/0004-3702(87)90052-X
author: Yoav Shoham
published in: Artificial Intelligence
publication date: 1987-01-01T00:00:00Z
review text: Two temporal formalisms in AI are examined and problems for application are shown. A new formalism, interval logic, is presented with syntax similar to meta-syntax and semantics similar Kripke-semantics. Some ontological definitions are given on this formal basis.
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4030959
zbMATH Keywords: representation of temporal information
zbMATH Keywords: temporal logic
zbMATH Keywords: interval logic
zbMATH Keywords: Kripke-semantics
reviewed by: Erica Melis
MaRDI profile type: Publication
cites work: Towards a general theory of action and time
cites work: A propositional modal logic of time intervals
cites work: Interval semantics for tense logic: Some remarks
cites work: Q5339289
cites work: Q5633670
cites work: Q3806791
cites work: Intervals and tenses
full work available at URL: 0004-3702(87)90052-x
OpenAlex ID: W2005678616
description: scientific article; zbMATH DE number 4030959