Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Temporal data base management
Dean T., McDermott D. Artificial Intelligence32 (1):1-55,1987.Type:Article
Date Reviewed: Dec 1 1988

This paper presents a system for representing temporal knowledge, expressing temporal queries, performing temporal reasoning chores, and carrying out temporal reason maintenance. The system can be regarded as an extension of conventional predicate calculus databases such as those used by Prolog [1] and reason maintenance systems such as the one described by Doyle [2].

Although its length (55 pages) may be daunting, this important and well-written paper should be read by everyone interested in computational approaches to time. The paper contains seven sections. Section 1 introduces the subject matter. Section 2 proposes “shallow temporal reasoning” as a way of dealing with combinatorial problems associated with temporal reasoning. Section 3 introduces the “time map,” a graphical representation for temporal information. Sections 4 and 5 form the bulk of the paper. Section 4 deals with time map management, including notation, basic temporal notions, default reasoning about time, deduction involving forward and backward chaining, noticing assumption failures, and automatic projection and refinement. Section 5 deals with temporal reason maintenance, including an algorithm for updating the temporal data dependency network and a proof of correctness for the algorithm. Section 6 mentions some problems with the approach proposed in the paper and offers suggestions for further work. Section 7 presents the conclusions.

The paper assumes that the reader has a general knowledge of deductive retrieval, logic programming issues such as unification, and Prolog. It will be of interest to graduate students and researchers in database management and artificial intelligence.

Reviewer:  R. B. Abhyankar Review #: CR123605
1) Sterling, L. and Shapiro, E.The art of Prolog. MIT Press, Cambridge, MA, 1986. See <CR> Rev. 8707-0533.
2) Doyle, J.A truth maintenance system. Artif. Intell. 12, 3 (1979), 231–272.
Bookmark and Share
 
Knowledge Representation Formalisms And Methods (I.2.4 )
 
 
Computational Logic (F.4.1 ... )
 
 
Plan Execution, Formation, And Generation (I.2.8 ... )
 
 
Uncertainty, “Fuzzy,” And Probabilistic Reasoning (I.2.3 ... )
 
 
General (H.2.0 )
 
Would you recommend this review?
yes
no
Other reviews under "Knowledge Representation Formalisms And Methods": Date
Knowledge representation: an approach to artificial intelligence
Bench-Capon T., Academic Press Prof., Inc., San Diego, CA, 1990. Type: Book (9780120864409)
Jul 1 1991
Truth and modality for knowledge representation
Turner R., MIT Press, Cambridge, MA, 1991. Type: Book (9780262200806)
Nov 1 1991
Constraint relaxation may be perfect
Montanari U., Rossi F. (ed) Artificial Intelligence 48(2): 143-170, 1991. Type: Article
Aug 1 1992
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy