The Complexity of Reasoning about Spatial Congruence
نویسنده
چکیده
In the recent literature of Arti cial Intelligence, an intensive research e ort has been spent, for various algebras of qualitative relations used in the representation of temporal and spatial knowledge, on the problem of classifying the computational complexity of reasoning problems for subsets of algebras. The main purpose of these researches is to describe a restricted set of maximal tractable subalgebras, ideally in an exhaustive fashion with respect to the hosting algebras. In this paper we introduce a novel algebra for reasoning about Spatial Congruence, show that the satis ability problem in the spatial algebra MC-4 is NP-complete, and present a complete classi cation of tractability in the algebra, based on the individuation of three maximal tractable subclasses, one containing the basic relations. The three algebras are formed by 14, 10 and 9 relations out of 16 which form the full algebra.
منابع مشابه
Spatial Locations via Morpho-Mereology
We present a calculus for representing and reasoning about the location of rigid objects which may move within some region (we will speak ofmobile parts). The calculus has both a mereological primitive and a morphological one, hence the title of the paper. We present an axiomatisation for congruence, our chosen morphological primitive, define the notion of mobile part, describe a subset of morp...
متن کاملDifferent Task Complexity Factors and Cognitive Individual Differences: The Effects on EFL Writers’ Performance
This study aimed at examining the main and interaction effects of increased intentional reasoning demands, planning time, and also language learning aptitude on syntactic complexity, accuracy, lexical complexity, and fluency (CALF) of 226 EFL learners’ performance on letter writing tasks. The participants were first randomly assigned to three experimental groups to be given a task with differin...
متن کاملUsing cultural-historical activity to study clinical reasoning in context
The aim of this paper is to describe sources of conflict and congruence in critical areas of practice with caregivers of persons with dementia, using cultural-historical activity theory as an analytic framework. Findings are drawn from an ethnographic study that described the context of occupational therapists’ (OT’s) clinical reasoning in a funded, home-based environmental skillbuilding progra...
متن کاملFuture study of Description System Architecture Approaches with Emphasis on Strategic Management
Systems Architecture is a generic discipline to handle objects (existing or to be created) called systems, in a way that supports reasoning about the structural properties of these objects. Systems Architecture is a response to the conceptual and practical difficulties of the description and the design of complex systems. Systems Architecture is a generic discipline to handle objects (existin...
متن کاملTask Complexity Manipulation and Accuracy in Writing Performance
This study aimed to investigate the impact of task sequencing, along +/- reasoning demands dimension, on writing task performance in terms of accuracy. The study was motivated by Robinson’s Cognition Hypothesis (CH) as well as previous studies investigating the relationships between task complexity and second language production. The participants of the study were 90 intermediate students at t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Artif. Intell. Res.
دوره 11 شماره
صفحات -
تاریخ انتشار 1999