Fundamentals of Artificial Intelligence: An Advanced Course

این جلد شامل نسخه های مفصل و هماهنگ هفت سخنرانی ارائه شده در اولین دوره پیشرفته هوش مصنوعی، که در ویگنیو، فرانسه، در ژوئیه 1985 برگزار شد. بیشتر آنها به صورت آموزشی نوشته شده بودند. بنابراین کتاب راهنمای بسیار ارزشمندی برای جنبه های اساسی هوش مصنوعی ارائه می دهد. در بخش اول، دلگراند و میلوپولوس در مورد مفهوم دانش و بازنمایی آن بحث می کنند. بخش دوم به پردازش دانش اختصاص دارد. مشارکت Huet نشان می‌دهد که هم محاسبات و هم استنتاج یا استنتاج فقط جنبه‌های متفاوتی از یک پدیده هستند. فصلی که توسط استیکل نوشته شده است، مقدمه‌ای کامل و آگاهانه به مهم‌ترین جنبه‌های کسر با نوعی تفکیک ارائه می‌دهد. نوع استدلالی که در حل مسئله استنتاج استقرایی (یا برنامه نویسی) از مثال ها و در یادگیری دخیل است، توسط بیرمن پوشش داده شده است. آموزش Bibel اشکال مهم تری از پردازش دانش را پوشش می دهد که ممکن است نقش مهمی در استدلال عقل سلیم داشته باشد. بخش سوم کتاب بر برنامه نویسی منطقی و برنامه نویسی تابعی تمرکز دارد. Jorrand زبان FP2 را ارائه می‌کند، جایی که بازنویسی اصطلاح مبنای معنایی برنامه‌نویسی تابعی و موازی را تشکیل می‌دهد. در فصل آخر، Shapiro یک نمای کلی از وضعیت فعلی PROLOG همزمان ارائه می‌دهد.

This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985. Most of them were written in tutorial form; the book thus provides an extremely valuable guide to the fundamental aspects of AI. In the first part, Delgrande and Mylopoulos discuss the concept of knowledge and its representation. The second part is devoted to the processing of knowledge. The contribution by Huet shows that both computation and inference or deduction are just different aspects of the same phenomenon. The chapter written by Stickel gives a thorough and knowledgeable introduction to the most important aspects of deduction by some form of resolution. The kind of reasoning that is involved in inductive inference problem solving (or programming) from examples, and in learning, is covered by Biermann. The tutorial by Bibel covers the more important forms of knowledge processing that might play a significant role in common sense reasoning. The third part of the book focuses on logic programming and functional programming. Jorrand presents the language FP2, where term rewriting forms the basis for the semantics of both functional and parallel programming. In the last chapter, Shapiro gives an overview of the current state of concurrent PROLOG.