Show simple item record

dc.contributor.authorGhosh, Manas
dc.date.accessioned2013-11-05T14:56:00Z
dc.date.available2013-11-05T14:56:00Z
dc.date.issued2013-11-05
dc.identifier.urihttp://hdl.handle.net/10464/5109
dc.description.abstractQualitative spatial reasoning (QSR) is an important field of AI that deals with qualitative aspects of spatial entities. Regions and their relationships are described in qualitative terms instead of numerical values. This approach models human based reasoning about such entities closer than other approaches. Any relationships between regions that we encounter in our daily life situations are normally formulated in natural language. For example, one can outline one's room plan to an expert by indicating which rooms should be connected to each other. Mereotopology as an area of QSR combines mereology, topology and algebraic methods. As mereotopology plays an important role in region based theories of space, our focus is on one of the most widely referenced formalisms for QSR, the region connection calculus (RCC). RCC is a first order theory based on a primitive connectedness relation, which is a binary symmetric relation satisfying some additional properties. By using this relation we can define a set of basic binary relations which have the property of being jointly exhaustive and pairwise disjoint (JEPD), which means that between any two spatial entities exactly one of the basic relations hold. Basic reasoning can now be done by using the composition operation on relations whose results are stored in a composition table. Relation algebras (RAs) have become a main entity for spatial reasoning in the area of QSR. These algebras are based on equational reasoning which can be used to derive further relations between regions in a certain situation. Any of those algebras describe the relation between regions up to a certain degree of detail. In this thesis we will use the method of splitting atoms in a RA in order to reproduce known algebras such as RCC15 and RCC25 systematically and to generate new algebras, and hence a more detailed description of regions, beyond RCC25.en_US
dc.language.isoengen_US
dc.publisherBrock Universityen_US
dc.subjectRegion Connection Calculusen_US
dc.subjectRelation Algebraen_US
dc.subjectConstraint Satisfaction Problemen_US
dc.titleRegion Connection Calculus: Composition Tables and Constraint Satisfaction Problemsen_US
dc.typeElectronic Thesis or Dissertationen_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
refterms.dateFOA2021-08-07T01:50:03Z


Files in this item

Thumbnail
Name:
Brock_Ghosh_Manas_2013.pdf
Size:
3.125Mb
Format:
PDF
Description:
Thesis

This item appears in the following Collection(s)

Show simple item record