An Inferencing Language for Automated Spatial Reasoning about Graphic Entities

A method is proposed for automated reasoning about graphic entities. First, a formal representation scheme is suggested for persistently storing graphic information as fundamental graphic entity types. Next, fundamental relationships between these types are identified. A formal, graphic entity reasoning based inference language (GERBIL) is then presented to implement the relationships. An architecture is proposed, linking a computer graphic system for persistent entity storage with a knowledge based system shell for inferencing. A prototype system, Dafne, demonstrates proof of principle.

[1]  MAX J. EGENHOFER,et al.  Point Set Topological Relations , 1991, Int. J. Geogr. Inf. Sci..

[2]  Avinash C. Kak,et al.  Applying uncertainty reasoning to model based object recognition , 1989, Proceedings CVPR '89: IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

[3]  I. J. Oppenheim,et al.  An approach to geometric reasoning in robotics , 1988 .

[4]  Paul Scarponcini.  An inferencing language system for automated graphic reasoning , 1992 .

[5]  Rangasami L. Kashyap,et al.  Geometric Reasoning for Recognition of Three-Dimensional Object Features , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[6]  Edwina L. Rissland,et al.  Cognitive Science: An Introduction , 1987 .

[7]  Joseph L. Mundy,et al.  Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume , 1988, Artif. Intell..

[8]  Amitabha Mukerjee,et al.  Representing spatial relations between arbitrarily oriented objects , 1989, International Workshop on Industrial Applications of Machine Intelligence and Vision,.

[9]  Erland Jungert,et al.  Symbolic expressions within a spatial algebra: unification and impact upon spatial reasoning , 1989, [Proceedings] 1989 IEEE Workshop on Visual Languages.

[10]  James R. Miller,et al.  Architectural issues in solid modelers , 1989, IEEE Computer Graphics and Applications.

[11]  David B. Arnold,et al.  Iso Standards for Computer Graphics: The First Generation , 1990 .

[12]  N. Hari Narayanan,et al.  Perceptual Representation and Reasoning , 1993 .

[13]  Z. Pylyshyn.  The imagery debate: Analogue media versus tacit knowledge. , 1981 .

[14]  Robert J. Bowman,et al.  SMALS: a novel database for two-dimensional object location , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[15]  Benjamin Kuipers,et al.  Navigation and Mapping in Large Scale Space , 1988, AI Mag..

[16]  George F. Luger,et al.  Artificial Intelligence and the Design of Expert Systems , 1990 .

[17]  Hanan Samet,et al.  Hierarchical data structures and algorithms for computer graphics. I. Fundamentals , 1988, IEEE Computer Graphics and Applications.

[18]  Steven K. Feiner,et al.  Computer graphics: principles and practice (2nd ed.) , 1990 .

[19]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[20]  Ellen Walker,et al.  A framework for representing & reasoning about 3-D objects , 1988 .

[21]  Edward E. Smith,et al.  Readings in Cognitive Science: A Perspective from Psychology and Artificial Intelligence , 1988 .

[22]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[23]  S. Kosslyn.  Seeing and imagining in the cerebral hemispheres: a computational approach. , 1987, Psychological review.

[24]  Peter D. Holmes.  Visual reply to map-related queries-a free space graph approach , 1989, [Proceedings] 1989 IEEE Workshop on Visual Languages.