A logical account of causal and topological maps

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 5-11

  Remolina, Emilio ^a   Kuipers, Benjamin ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS INTERACTIONS; ENVIRONMENT STATE; LOGIC PROGRAMS; MINIMAL MODEL; SPATIAL PROPERTIES; SPATIAL REPRESENTATIONS; SPATIAL SEMANTICS; TOPOLOGICAL MAP;

LOGIC PROGRAMMING; SEMANTICS;

ARTIFICIAL INTELLIGENCE;

EID: 84880888153     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. K. Basye, T. Dean, and L. P. Kaelbling. Learning dynamics: System identification for perceptually challenged agents. Artificial Intelligence, 72(1):139-171, 1995.
2. M Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
3. D. Kortenkamp, E. Chown, and S. Kaplan. Prototypes, locations, and associative networks (PLAN): towards a unified theory of cognitive mapping. Cognitive Science, 19:1-51, 1995.
4. B. Kuipers and Y. T. Byun. A robust qualitative method for spatial learning in unknown environments. In Morgan Kaufmann, editor, AAAI-88, 1988.
5. B. J. Kuipers and Y.-T. Byun. A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations. Journal of Robotics and Autonomous Systems, 8:47-63, 1991.
6. B. Kuipers. Representing Knowledge of Large-Scale Space. PhD thesis, Artificial Intelligence Laboratory, MIT, 1977.
7. B. J. Kuipers. Modeling spatial knowledge. Cognitive Science, 2:129-153, 1978.
8. B. Kuipers. The spatial semantic hierarchy. Artificial Intelligence, 119:191-233, 2000.
9. D. Leiser and A. Zilbershatz. THE TRAVELLER: a computational model of spatial network learning. Environment and Behavior, 21(4):435-463, 1989.
10. V. Lifschitz. Circumscription. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 297-352. Oxford University Press, 1994.
11. V. Lifschitz. Nested abnormality theories. Artificial Intelligence, (74):351-365, 1995.
12. D. V. McDermott and E. Davis. Planning routes through uncertain territory. Artificial Intelligence, 22:107-156, 1984. (Pubitemid 14581470)
13. I. Niemelä and P. Simons. Smodels - an implementation of the stable model and well-founded semantics for normal logic programs. In 4th International Conference on Logic Programming and Nonmonotonic Reasoning, number 1265 in LNCS, pages 420-429. Springer-Verlag, 1997.
14. E. Remolina and B. Kuipers. Towards a formalization of the Spatial Semantic Hierarchy. In Fourth Symposium on Logical Formalizations of Commonsense Reasoning, London, January 1998.
15. E. Remolina and B. Kuipers. A logical account of causal and topological maps. Technical Report AI01-288, The University of Texas at Austin, http://www.cs.utexas.edu/users/qr, April 2001.
16. M. Shanahan. Noise and the common sense informatic situation for a mobile robot. In AAAI-96, pages 1098-1103, 1996.
17. M. Shanahan. Noise, non-determinism and spatial uncertainty. In AAAI-97, pages 153-158, 1997.
18. W. K. Yeap. Towards a computational theory of cognitive maps. Artificial Intelligence, 34:297-360, 1988.