مشخصات کتاب

Constraint-based reasoning

ویرایش:  
نویسندگان: Freuder E.C.,  Mackworth A.K. (eds.)  
سری: Special Issues of Artificial Intelligence 
ISBN (شابک) : 0262560755, 2742772782 
ناشر: MIT 
سال نشر: 1994 
تعداد صفحات: 405 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

در صورت تبدیل فایل کتاب Constraint-based reasoning به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب استدلال مبتنی بر محدودیت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب استدلال مبتنی بر محدودیت



استدلال مبتنی بر محدودیت یک حوزه مهم از استدلال خودکار در هوش مصنوعی است که کاربردهای فراوانی دارد. اینها شامل مشکلات پیکربندی و طراحی، برنامه‌ریزی و زمان‌بندی، استدلال زمانی و مکانی، استدلال ابطال‌پذیر و علی، بینایی ماشین و درک زبان، استدلال کیفی و تشخیصی، و سیستم‌های خبره است. استدلال مبتنی بر محدودیت کار فعلی در این زمینه را در چندین سطح ارائه می‌کند: تئوری، الگوریتم‌ها، زبان‌ها، برنامه‌های کاربردی و سخت‌افزار. استدلال مبتنی بر محدودیت با حوزه‌های مختلفی از جمله منطق رسمی، نظریه گراف، پایگاه‌های داده رابطه‌ای، الگوریتم‌های ترکیبی ارتباط دارد. ، تحقیق در عملیات، شبکه های عصبی، نگهداری حقیقت و برنامه ریزی منطقی. ایده‌آل توصیف یک حوزه مسئله با عبارات طبیعی و اعلانی و سپس اجازه دادن به مکانیسم‌های قیاسی عمومی برای ترکیب راه‌حل‌های فردی تا حدودی در زبان‌های برنامه‌نویسی تحقق یافته و حتی تجسم یافته است. محتوا: - مقدمه، E.C. از ارضای محدودیت، A. K. Mackworth.- رضایت از محدودیت جزئی، E. C. Freuder، R. J. Wallace.- استدلال محدودیت بر اساس حساب فاصله: رویکرد انتشار تحمل، E. Hyvonen. Simonis, M. Dincbas.- Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems, S. Minton, M. D. Johnston, A. B. Philips, and P. Laird.- Arc Consistency: Parallelism and Domain Dependence, P.J. .- Structure Identification in Relational Data, R. Dechter, J. Pearl.- Learning to Improve Constraint-based Scheduling, M. Zweben, E. Davis, B. Daun, E. Drascher, M. Deale, M. Eskey.- Reasoning about Qualitative Temporal Information, P. van Beek.- A Geometric Constraint Engine, G. A. Kramer.- A Theory of Conflict Resolution in Planning, Q. Yang.A Bradford Book.

توضیحاتی درمورد کتاب به خارجی

Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and design problems, planning and scheduling, temporal and spatial reasoning, defeasible and causal reasoning, machine vision and language understanding, qualitative and diagnostic reasoning, and expert systems. Constraint-Based Reasoning presents current work in the field at several levels: theory, algorithms, languages, applications, and hardware.Constraint-based reasoning has connections to a wide variety of fields, including formal logic, graph theory, relational databases, combinatorial algorithms, operations research, neural networks, truth maintenance, and logic programming. The ideal of describing a problem domain in natural, declarative terms and then letting general deductive mechanisms synthesize individual solutions has to some extent been realized, and even embodied, in programming languages.Contents :- Introduction, E. C. Freuder, A. K. Mackworth.- The Logic of Constraint Satisfaction, A. K. Mackworth.- Partial Constraint Satisfaction, E. C. Freuder, R. J. Wallace.- Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach, E. Hyvonen.- Constraint Satisfaction Using Constraint Logic Programming, P. Van Hentenryck, H. Simonis, M. Dincbas.- Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems, S. Minton, M. D. Johnston, A. B. Philips, and P. Laird.- Arc Consistency: Parallelism and Domain Dependence, P. R. Cooper, M. J. Swain.- Structure Identification in Relational Data, R. Dechter, J. Pearl.- Learning to Improve Constraint-Based Scheduling, M. Zweben, E. Davis, B. Daun, E. Drascher, M. Deale, M. Eskey.- Reasoning about Qualitative Temporal Information, P. van Beek.- A Geometric Constraint Engine, G. A. Kramer.- A Theory of Conflict Resolution in Planning, Q. Yang.A Bradford Book.

فهرست مطالب

Front Matter....Pages i-x
Introduction....Pages 1-14
Literature Reviews....Pages 15-24
The Conceptual Bases of the Development Analysis of Service Economy....Pages 25-60
Motive Analysis of the Development of Service Economy....Pages 61-75
Service Industry Evolution Mechanism and Track Characteristics....Pages 77-97
The Basic Features of Service Economy Development Trend....Pages 99-114
The Deviation of Service Economy Evolution: China Case....Pages 115-130
Traditional Development Modes and Service Economy....Pages 131-161
The Market Bases for the Development of Service Economy....Pages 163-182
The Institution and Policy Environment of Service Economy’s Development....Pages 183-200
The Development of Service Industry in the Non-balanced Economic Growth....Pages 201-223
New Industrial Revolution and the Economic Servitization....Pages 225-243
Service Innovation Based on Informatization....Pages 245-263
Transformation and Deepening Reform....Pages 265-288
Service Trade and Service Internationalization....Pages 289-315
Back Matter....Pages 317-318

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I

دانلود کتاب The Enigma of Evil

دانلود کتاب Design and Analysis of Large Lithium-ion Battery Systems

دانلود کتاب Aspects of the Performative in Medieval Culture

دانلود کتاب Looking Glasses and Neverlands: Lacan, Desire, and Subjectivity in Children's Literature