An Inferencing Language for Automated Spatial Reasoning About Graphic Entities
Abstract
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.
Recommended Citation
P. Scarponcini et al., "An Inferencing Language for Automated Spatial Reasoning About Graphic Entities," Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 951, pp. 259 - 278, Springer, Jan 1995.
The definitive version is available at https://doi.org/10.1007/3-540-60159-7_16
Department(s)
Mathematics and Statistics
Second Department
Computer Science
International Standard Book Number (ISBN)
978-354060159-3
International Standard Serial Number (ISSN)
1611-3349; 0302-9743
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2024 Springer, All rights reserved.
Publication Date
01 Jan 1995
