Representing and Reasoning with Qualitative Spatial Relations About Regions

摘要: Qualitative Reasoning (QR) has now become a mature subfield of AI as its tenth annual international workshop, several books (e.g. (Weld and de Kleer, 1990; Faltings Struss, 1992)) wealth conference journal publications testify. QR tries to make explicit our everyday commonsense knowledge about the physical world also underlying abstractions used by scientists engineers when they create models. Given this kind appropriate reasoning methods, computer could predictions diagnoses explain behavior systems in qualitative manner, even precise quantitative description is not available or computationally intractable. Note that representation normally deemed be community simply because it symbolic utilizes discrete quantity spaces but distinctions made these discretizations are relevant high-level descriptions system being modeled.