Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Default reasoning about spatial occupancy
Shanahan M. Artificial Intelligence74 (1):147-163,1995.Type:Article
Date Reviewed: Apr 1 1996

Spatial occupancy issues are discussed. They are important for planning systems and for systems that reason about agents endowed with physical presence moving through two-dimensional space. The author points out that spatial axioms and reasoning techniques are needed for correct description of the fact that an object moving through space occupies a location. The default involved in planning for movement is that, unless we know that a location is occupied, it is free. It is clear that the continuous nature of the space leads to problems with such assumptions. The author points out that careless formulation of occupancy axioms leads to strange side effects. He shows how better axioms can be devised. He also shows how the classical result of Lifschitz on iteration of prioritized circumscription can be used to compute a correct sequence of actions.

Reviewer:  Victor Marek Review #: CR119200 (9604-0293)
Bookmark and Share
 
Representation Languages (I.2.4 ... )
 
 
Nonmonotonic Reasoning And Belief Revision (I.2.3 ... )
 
 
Representations (Procedural And Rule-Based) (I.2.4 ... )
 
 
Mathematical Logic (F.4.1 )
 
Would you recommend this review?
yes
no
Other reviews under "Representation Languages": Date
An artificial intelligence technique for information and fact retrieval
Findler N., MIT Press, Cambridge, MA, 1991. Type: Book (9780262560603)
Nov 1 1992
Knowledge representation and language in AI
Hodgson J., Ellis Horwood, Upper Saddle River, NJ, 1991. Type: Book (9780135151235)
Feb 1 1993
Handling the unconscious
Meltzer B.  Artificial and human intelligence (, Lyon, France,2631984. Type: Proceedings
Sep 1 1985
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