Intellectics and computational logic: papers in honor of Wolfgang Bibel

"Intellectics" به دنبال درک عملکردها، ساختار و عملکرد عقل انسانی و آزمایش سیستم های مصنوعی است تا ببیند تا چه حد می توانند چنین عملکردهایی را جایگزین یا تکمیل کنند. خود این کلمه در اوایل دهه 1980 توسط ولفگانگ بیبل برای توصیف زمینه های متحد هوش مصنوعی و علوم شناختی معرفی شد.
این کتاب مقالاتی از محققان برجسته، همکاران و شاگردان سابق بیبل را گردآوری می‌کند که همگی با او کار کرده‌اند و کارهای خود را در اینجا به مناسبت تولد 60 سالگی‌اش به او ارائه می‌کنند. این مقالات در مورد مسائل مهم در عقل و منطق محاسباتی، شامل استنتاج خودکار، برنامه ریزی منطقی، رویکرد مبتنی بر منطق به عقل، رباتیک شناختی، بازنمایی دانش و استدلال بحث می کنند. هر مقاله حاوی نتایج جدید، قبلاً منتشر نشده و بررسی شده است. این مجموعه گزارشی پیشرفته از قابلیت‌ها و محدودیت‌های فعلی یک رویکرد مبتنی بر منطق محاسباتی به عقل است.
خوانندگان: پژوهشگرانی که متقاعد شده‌اند که رفتار هوشمندانه ماشین‌ها باید بر اساس یک رفتار رسمی سختگیرانه از بازنمایی دانش و استدلال باشد.

`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions. The word itself was introduced in the early 1980s by Wolfgang Bibel to describe the united fields of artificial intelligence and cognitive science.
The book collects papers by distinguished researchers, colleagues and former students of Bibel's, all of whom have worked together with him, and who present their work to him here to mark his 60th birthday. The papers discuss significant issues in intellectics and computational logic, ranging across automated deduction, logic programming, the logic-based approach to intellectics, cognitive robotics, knowledge representation and reasoning. Each paper contains new, previously unpublished, reviewed results. The collection is a state of the art account of the current capabilities and limitations of a computational-logic-based approach to intellectics.
Readership: Researchers who are convinced that the intelligent behaviour of machines should be based on a rigid formal treatment of knowledge representation and reasoning.