Spatial Reasoning and Connectionist Inference

The system presented in this paper is based on ideas taken from Automated Reasoning and Connectionism. The connectionist inference system Chcl is applied to solve the question whether a given sentence correctly describes the spatial relations of objects shown in a visual scene. The sentence is posed in relational form to a set of rules deening spatial relations among objects and a set of facts describing the objects and their relations in the visual scene. These facts are abductively inferred from an analog representation of the visual scene.

[1]  Steffen Hölldobler,et al.  On the Adequateness of the Connection Method , 1993, AAAI.

[2]  Lawrence J. Henschen,et al.  What Is Automated Theorem Proving? , 1985, J. Autom. Reason..

[3]  I. Rock,et al.  The legacy of Gestalt psychology. , 1990, Scientific American.

[4]  P. Smolensky.  On variable binding and the representation of symbolic structures in connectionist systems , 1987 .

[5]  John A. Barnden.  Neural-Net Implementation of Complex Symbol-Processing in a Mental Model Approach to Syllogistic Reasoning , 1989, IJCAI.

[6]  Gadi Pinkas,et al.  Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks , 1991, IJCAI.

[7]  L. Shastri,et al.  From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony , 1993, Behavioral and Brain Sciences.

[8]  Michael G. Dyer,et al.  High-level Inferencing in a Connectionist Network , 1989 .

[9]  Lotfi A. Zadeh,et al.  Knowledge Representation in Fuzzy Logic , 1996, IEEE Trans. Knowl. Data Eng..

[10]  Michael I. Jordan.  Attractor dynamics and parallelism in a connectionist sequential machine , 1990 .

[11]  Jerome A. Feldman,et al.  Connectionist Models and Their Properties , 1982, Cogn. Sci..

[12]  G. A. Miller.  THE PSYCHOLOGICAL REVIEW THE MAGICAL NUMBER SEVEN, PLUS OR MINUS TWO: SOME LIMITS ON OUR CAPACITY FOR PROCESSING INFORMATION 1 , 1956 .

[13]  J. Fodor,et al.  Connectionism and cognitive architecture: A critical analysis , 1988, Cognition.

[14]  J. Austin.  Associative memory , 1987 .

[15]  Joachim Diederich,et al.  Connectionist Recruitment Learning , 1988, ECAI.