دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: D.G. Bobrow (Eds.)
سری:
ISBN (شابک) : 9780444876706, 0444599215
ناشر:
سال نشر: 1984
تعداد صفحات: 491
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 56 مگابایت
در صورت تبدیل فایل کتاب Qualitative Reasoning About Physical Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال کیفی در مورد سیستم های فیزیکی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد کار جاری در مورد استدلال کیفی را گرد هم می آورد. انتشار آن منعکس کننده بلوغ استدلال کیفی به عنوان یک حوزه تحقیقاتی و علاقه فزاینده به مشکلات استدلال در مورد سیستم های فیزیکی است. این مقالات پایگاه های دانشی را برای تعدادی از حوزه های بسیار متفاوت، از جمله جریان گرما، ترانزیستورها و محاسبات دیجیتالی ارائه می دهند. موضوع مشترک همه این مقالات توضیح نحوه عملکرد سیستمهای فیزیکی است. یک معیار مشترک مهم این است که توصیف رفتاری باید ترکیبی باشد، یعنی توصیف رفتار یک سیستم باید از ساختار سیستم مشتق شود. این مطالب باید برای هر کسی که به استدلال خودکار درباره دنیای واقعی (فیزیکی) علاقه دارد، جالب باشد. بیشتر بخوانید... < /div>
This volume brings together current work on qualitative reasoning. Its publication reflects the maturity of qualitative reasoning as a research area and the growing interest in problems of reasoning about physical systems. The papers present knowledge bases for a number of very different domains, including heat flow, transistors, and digital computation. A common theme of all these papers is explaining how physical systems work. An important shared criterion is that the behavioral description must be compositional, that is the description of a system's behavior must be derivable from the structure of the system. This material should be of interest to anyone concerned with automated reasoning about the real (physical) world. Read more...
Content:
Contributors, Page ii
Front Matter, Page iii
Copyright, Page iv
Qualitative Reasoning about Physical Systems: An Introduction, Pages 1-5, Daniel G. Bobrow
A Qualitative Physics Based on Confluences, Pages 7-83, Johan De Kleer, John Seely Brown
Qualitative Process Theory, Pages 85-168, Kenneth D. Forbus
Commonsense Reasoning about Causality: Deriving Behavior from Structure, Pages 169-203, Benjamin Kuipers
How Circuits Work, Pages 205-280, Johan De Kleer
Qualitative Analysis of MOS Circuits, Pages 281-346, Brian C. Williams
Diagnostic Reasoning Based on Structure and Behavior, Pages 347-410, Randall Davis
The Use of Design Descriptions in Automated Diagnosis, Pages 411-436, Michael R. Genesereth
VERIFY: A Program for Proving Correctness of Digital Hardware Designs, Pages 437-491, Harry G. Barrow