Mental-Model and Mental-Logic based Reasoning about Space

  • Enrico Giunchiglia
  • Alessandro Armando
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


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.


Semantic Network Order Theory Compatibility Function Qualitative Reasoning Intended Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    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
  2. [2]
    R.J. Brachman. What is-a is and isn’t: An analysis of taxonomic links in semantic networks. Computer IEEE, October 1983.Google Scholar
  3. [3]
    J.H. De Kleer and J.S. Brown. A qualitative physics based on confluences. Artificial Intelligence., 24: 7 – 83, 1984.CrossRefGoogle Scholar
  4. [4]
    M. DiManzo and F. Giunchiglia. A representation of space for knowledge based scene generation. In Cognitiva 85, June 1985.Google Scholar
  5. [5]
    K.D. Forbus. Qualitative process theory. Artificial Intelligence., 24: 85 – 168, 1984.CrossRefGoogle Scholar
  6. [6]
    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
  7. [7]
    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
  8. [8]
    J. N. Johnson-Laird. Mental Models. Harvard University Press, 1983.Google Scholar
  9. [9]
    B.J. Kuipers. Qualitative simulation. Artificial Intelligence, 29: 289 – 338, 1986.MathSciNetMATHCrossRefGoogle Scholar
  10. [10]
    Z. Manna. Mathematical theory of computation. Mc Graw hill Book Company, 1974.Google Scholar
  11. [11]
    D. McDermott. Finding objects with given spatial properties. Technical Report Research Report n. 195, Dept. of computer Science, Yale University, 1981.Google Scholar
  12. [12]
    D. McDermott and E. Davis. Planning routes through uncertain territory. Artificial Intelligence, Vol. 22: 107 – 156, 1984.CrossRefGoogle Scholar
  13. [13]
    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
  14. [14]
    R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 1980.Google Scholar
  15. [15]
    R.W. Weyhrauch. Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence, 13, 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Enrico Giunchiglia
    • 1
  • Alessandro Armando
    • 1
  1. 1.DISTUniversity of Genoa GenoaItaly

Personalised recommendations