Mental-Model and Mental-Logic based Reasoning about Space
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.
Unable to display preview. Download preview PDF.
- 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.Google Scholar
- R.J. Brachman. What is-a is and isn’t: An analysis of taxonomic links in semantic networks. Computer IEEE, October 1983.Google Scholar
- M. DiManzo and F. Giunchiglia. A representation of space for knowledge based scene generation. In Cognitiva 85, June 1985.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- J. N. Johnson-Laird. Mental Models. Harvard University Press, 1983.Google Scholar
- Z. Manna. Mathematical theory of computation. Mc Graw hill Book Company, 1974.Google Scholar
- D. McDermott. Finding objects with given spatial properties. Technical Report Research Report n. 195, Dept. of computer Science, Yale University, 1981.Google Scholar
- 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.Google Scholar
- R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 1980.Google Scholar
- R.W. Weyhrauch. Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence, 13, 1980.Google Scholar