Abstract
The aim of this work is to describe (part of) a system able to visualize natural language descriptions of complex scenes. Indefinitely many objects may take part in the scenario and are introduced one at any time with their relative positions (expressed as a certain number of spatial predicates). The specific goal of this paper is to specify which reasoning needs to be done between the input natural language descriptions and the visualization of the scene. The key idea of our approach is to use both a declarative representation of space based on first order logic, and a procedural one based on a semantic network. The two representations are linked defining the semantic network to be the intended model of the first order theory. The first order and the semantic network based descriptions can be respectively regarded as the system mental-logic model and mental model of the scenario.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Adorni, M. DiManzo, and F. Giunchiglia. From descriptions to images: what reasoning in between? In Proc. 6th European Conference on Artificial Intelligence, September 1984.
R.J. Brachman. What is-a is and isn’t: An analysis of taxonomic links in semantic networks. Computer IEEE, October 1983.
J.H. De Kleer and J.S. Brown. A qualitative physics based on confluences. Artificial Intelligence., 24: 7 – 83, 1984.
M. DiManzo and F. Giunchiglia. A representation of space for knowledge based scene generation. In Cognitiva 85, June 1985.
K.D. Forbus. Qualitative process theory. Artificial Intelligence., 24: 85 – 168, 1984.
E. Giunchiglia, A. Armando, P. Traverso, and A. Cimatti. Reasoning about the configuration of spatial objects. Technical report, Dep. Comp. Science, University of Genoa, January 1991. Technical Report DIST-91–03.
F. Giunchiglia, C. Ferrari, P. Traverso, and E. Trucco. Understanding scene descriptions by integrating different sources of knowledge. Technical report, Dep. Comp. Science, University of Genoa, October 1990. Technical Report DIST-90–54. To be published in the International Journal of Man Machines Studies.
J. N. Johnson-Laird. Mental Models. Harvard University Press, 1983.
B.J. Kuipers. Qualitative simulation. Artificial Intelligence, 29: 289 – 338, 1986.
Z. Manna. Mathematical theory of computation. Mc Graw hill Book Company, 1974.
D. McDermott. Finding objects with given spatial properties. Technical Report Research Report n. 195, Dept. of computer Science, Yale University, 1981.
D. McDermott and E. Davis. Planning routes through uncertain territory. Artificial Intelligence, Vol. 22: 107 – 156, 1984.
P. Pecchiari. Meccanizzazione del concetto di modello di un dimostratore interattivo. Master's thesis, University of Trento, Dept. of Mathematics, 1990. IRST-Thesis 9009–15.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 1980.
R.W. Weyhrauch. Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence, 13, 1980.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giunchiglia, E., Armando, A. (1993). Mental-Model and Mental-Logic based Reasoning about Space. In: Sorensen, H. (eds) AI and Cognitive Science ’91. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3562-3_17
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3562-3_17
Publisher Name: Springer, London
Print ISBN: 978-3-540-19785-0
Online ISBN: 978-1-4471-3562-3
eBook Packages: Springer Book Archive