Generating Relation Algebras for Qualitative Spatial Reasoning
Prathap Siddavaatam
Broschiertes Buch

Generating Relation Algebras for Qualitative Spatial Reasoning

Advances in Artificial Intelligence

Versandkostenfrei!
Versandfertig in 6-10 Tagen
32,99 €
inkl. MwSt.
PAYBACK Punkte
16 °P sammeln!
First-order logic is symbolized reasoning in which each sentence, or statement, is broken down into a subject and a predicate. The predicate modifies or defines the properties of the subject. Apart from the formal properties, qualitative spatial representation and reasoning is an important criterion for choosing a set of spatial relations that humans perceive and choose the same relations for distinguishing spatial configurations. Since its earliest inception many theories have been proposed for mereotopology in AI among which Region Connection Calculus (RCC) is most prominent. RCC provides an...