Show simple item record

dc.contributor.authorSiddavaatam, Prathap
dc.date.accessioned2013-04-15T14:14:04Z
dc.date.available2013-04-15T14:14:04Z
dc.date.issued2013-04-15
dc.identifier.urihttp://hdl.handle.net/10464/4294
dc.description.abstractBasic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.en_US
dc.subjectQualitative spatial reasoningen_US
dc.subjectRepresentable relation algebrasen_US
dc.subjectArtificial intelligenceen_US
dc.titleGenerating Relation Algebras for Qualitative Spatial Reasoningen_US
dc.degree.nameM.Sc. Computer Scienceen_US
dc.degree.levelMastersen_US
dc.contributor.departmentDepartment of Computer Scienceen_US
dc.degree.disciplineFaculty of Mathematics and Scienceen_US
dc.embargo.termsNoneen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record