Automatic deduction of temporal information
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/374701
Tipus de documentText en actes de congrés
Data publicació1990
EditorUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Abstract
In many computer based applications, temporal information has to be stored, retrieved, and related to other temporal information. Several time models have been proposed to manage temporal knowledge in the fields of conceptual modeling, database systems, and artificial intelligence.
In this paper we present TSOS, a system for reasoning about time that can be integrated as a time expert in environments designed for broader problem solving domains. The main intended goal of TSOS is to allow a user to infer further information on the temporal data stored in the database through a set of deduction rules handling various aspects of time. For this purpose, TSOS provides the capability of answering queries about temporal specifications it has in its temporal database.
Distinctive time modeling features of TSOS are the introduction of temporal modalities, i.e., the possibility of specifying if a piece of information is always true within a time interval or if it is only sometimes true, and the capability of answering about the possibility and the necessity of the validity of sorne information at a given time, the association of temporal knowledge both to instances o{ data and to types o{ data, and the development of a time calculus for reasoning on temporal data. Another relevant feature of TSOS is the ca pability to reason about temporal data specified at different time granularities
CitacióBarbic, F.; Maiocchi, R.; Pernici, B. Automatic deduction of temporal information. A: . Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1990, p. 241-298.
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1DAISD_12 Automatic deduction of temporal.pdf | 2,394Mb | Visualitza/Obre |