Nonmonotonic and Inductive Logic: 1st International Workshop Karlsruhe, Germany, December 4–7, 1990 Proceedings

این مجموعه مقالات شامل مقالات تجدید نظر شده و بررسی شده بر اساس گفتگوهای ارائه شده در اولین کارگاه بین المللی منطق غیر یکنواخت و القایی است که در کارلسروهه، دسامبر 1990 برگزار شد. این کارگاه توسط بنیاد فولکس واگن، هانوفر پشتیبانی شد و یک انجمن برای محققان فراهم کرد. از دو حوزه برای برقراری ارتباط و یافتن زمینه های همکاری. مقالات در بخش‌هایی در موارد زیر سازماندهی شده‌اند: - غیر یکنواختی در برنامه‌های منطقی - رویکرد بدیهی به استدلال غیر یکنواخت - استنتاج استقرایی - منطق خود معرفتی - به‌روزرسانی‌های اعتقاد تحقیقات ارائه شده توسط متخصصان برجسته در این زمینه. یک نکته جدید در مشارکت‌های حوزه منطق استقرایی، تحلیل غیریکنواختی در نظریه یادگیری استقرایی است.

This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by the Volkswagen-Stiftung, Hannover, and provided a forum for researchers from the two fields to communicate and find areas of cooperation. The papersare organized into sections on: - Nonmonotonicity in logic programs - Axiomatic approach to nonmonotonic reasoning - Inductive inference - Autoepistemic logic - Belief updates The bulk of the papers are devoted to nonmonotonic logic and provide an up-to-date view of the current state of research presented by leading experts in the field. A novelty in the contributions from the area of inductive logic is the analysis of nonmonotonicity in the theory of inductive learning.