دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Qualitative Spatial and Temporal Reasoning
دانلود کتاب استدلال مکانی و زمانی کیفی
مشخصات کتاب
Qualitative Spatial and Temporal Reasoning
ویرایش:
نویسندگان: Ligozat. Gérard
سری: ISTE
ISBN (شابک) : 9781848212527, 9781118601457
ناشر: Wiley
سال نشر: 2013
تعداد صفحات: 539
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 28,000
کلمات کلیدی مربوط به کتاب استدلال مکانی و زمانی کیفی: منطق، نمادین و ریاضی، ریاضیات--بی نهایت، ریاضیات--منطق، استدلال کیفی، فضا و زمان--مدل های ریاضی، تحلیل فضایی (آمار)، کتاب های الکترونیک، فضا و زمان -- مدل های ریاضی، ریاضیات ریاضیات -- بی نهایت، -- منطق
در صورت تبدیل فایل کتاب Qualitative Spatial and Temporal Reasoning به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال مکانی و زمانی کیفی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استدلال مکانی و زمانی کیفی
پوشش دادن؛ استدلال کیفی مکانی و زمانی; صفحه عنوان؛ صفحه حق چاپ فهرست مطالب؛ معرفی. استدلال کیفی؛ فصل 1. حساب آلن. 1.1. معرفی؛ 1.1.1. \"\"معمای اتاق تاریک\"\"; 1.1.2. سهم فرمالیسم آلن؛ 1.2. روابط فاصله ای آلن؛ 1.2.1. روابط اساسی؛ 1.2.2. روابط منفصل؛ 1.3. شبکه های محدودیت؛ 1.3.1. تعریف؛ 1.3.2. بیانگر بودن؛ 1.3.3. ثبات؛ 1.4. انتشار محدودیت؛ 1.4.1. عملیات: وارونگی و ترکیب. 1.4.2. جدول ترکیب؛ 1.4.3. جبر آلن؛ 1.4.4. بسته شدن جبری.؛ کتاب با شرح به روز شده حساب آلن شروع می کند، و با شرح محاسبات کیفی اصلی که در دو دهه اخیر توسعه یافته اند، ادامه می یابد. این ارتباط مسائل پیچیدگی را با ویژگی های هندسی توصیف می کند. مدل‌های فرمالیسم‌ها با استفاده از مفهوم جبری نمایش‌های ضعیف جبرهای مرتبط توصیف می‌شوند. این کتاب همچنین شامل ارائه پسوندهای فازی محاسبات کیفی، و شرحی از مطالعه پیچیدگی بر حسب کلون‌های عملیات است.
توضیحاتی درمورد کتاب به خارجی
Cover; Qualitative Spatial and Temporal Reasoning; Title Page; Copyright Page; Table of Contents; Introduction. Qualitative Reasoning; Chapter 1. Allen's Calculus; 1.1. Introduction; 1.1.1. ""The mystery of the dark room""; 1.1.2. Contributions of Allen's formalism; 1.2. Allen's interval relations; 1.2.1. Basic relations; 1.2.2. Disjunctive relations; 1.3. Constraint networks; 1.3.1. Definition; 1.3.2. Expressiveness; 1.3.3. Consistency; 1.4. Constraint propagation; 1.4.1. Operations: inversion and composition; 1.4.2. Composition table; 1.4.3. Allen's algebra; 1.4.4. Algebraic closure.;Starting with an updated description of Allen's calculus, the book proceeds with a description of the main qualitative calculi which have been developed over the last two decades. It describes the connection of complexity issues to geometric properties. Models of the formalisms are described using the algebraic notion of weak representations of the associated algebras. The book also includes a presentation of fuzzy extensions of qualitative calculi, and a description of the study of complexity in terms of clones of operations.
فهرست مطالب
3.9. Conclusions3.10. Historical note
Chapter 4. Binary Qualitative Formalisms
4.1. ""Night driving""
4.1.1. Parameters
4.1.2. A panorama of the presented formalisms
4.2. Directed points in dimension 1
4.2.1. Operations
4.2.2. Constraint networks
4.2.3. Networks reducible to point networks
4.2.4. Arbitrary directed point networks
4.3. Directed intervals
4.3.1. Operations
4.3.2. Constraint networks and complexity
4.4. The OPRA direction calculi
4.5. Dipole calculi
4.6. The Cardinal direction calculus
4.6.1. Convex and pre-convex relations
4.6.2. Complexity. 3.1.1. Towards generalized intervals3.2. Entities and relations
3.3. The lattice of basic (p, q)-relations
3.4. Regions associated with basic (p, q)-relations
3.4.1. Associated polytopes
3.4.2. M-convexity of the basic relations
3.5. Inversion and composition
3.5.1. Inversion
3.5.2. Composition
3.5.3. The algebras of generalized intervals
3.6. Subclasses of relations: convex and pre-convex relations
3.6.1. (p, q)-relations
3.6.2. Convex relations
3.6.3. Pre-convex relations
3.7. Constraint networks
3.8. Tractability of strongly pre-convex relations
3.8.1. ORD-Horn relations. 1.4.5. Enforcing algebraic closure1.5. Consistency tests
1.5.1. The case of atomic networks
1.5.2. Arbitrary networks
1.5.3. Determining polynomial subsets
Chapter 2. Polynomial Subclasses of Allen's Algebra
2.1. ""Show me a tractable relation!""
2.2. Subclasses of Allen's algebra
2.2.1. A geometrical representation of Allen's relations
2.2.2. Interpretation in terms of granularity
2.2.3. Convex and pre-convex relations
2.2.4. The lattice of Allen's basic relations
2.2.5. Tractability of convex relations
2.2.6. Pre-convex relations
2.2.7. Polynomiality of pre-convex relations. Cover
Qualitative Spatial and Temporal Reasoning
Title Page
Copyright Page
Table of Contents
Introduction. Qualitative Reasoning
Chapter 1. Allen's Calculus
1.1. Introduction
1.1.1. ""The mystery of the dark room""
1.1.2. Contributions of Allen's formalism
1.2. Allen's interval relations
1.2.1. Basic relations
1.2.2. Disjunctive relations
1.3. Constraint networks
1.3.1. Definition
1.3.2. Expressiveness
1.3.3. Consistency
1.4. Constraint propagation
1.4.1. Operations: inversion and composition
1.4.2. Composition table
1.4.3. Allen's algebra
1.4.4. Algebraic closure.
