Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation

تحقیق بازنمایی دانش نه تنها رسمی است، بلکه توصیفی و هنجاری است. هدف آن پیاده‌سازی یک سیستم رسمی است که بدنه عملا مرتبطی از قوای شناختی به کار گرفته شده توسط انسان‌ها را در بر می‌گیرد و از قدرت فنی آن برای گسترش بازنمایی دانش و قابلیت‌های استدلال انسانی استفاده می‌کند. در این تک نگاری، نویسنده فرمالیسم هایی را برای مفهوم خود از بازنمایی دانش و سیستم استدلالی روشن ایجاد می کند که با وجود دو نوع نفی (ضعیف و قوی) و الزامات بازتاب محدود، سازنده و غیر انفجاری مشخص می شود. این کتاب بر اساس کار انجام شده در یک پروژه تحقیقاتی میان رشته ای در دانشگاه آزاد برلین است.

Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation and reasoning capabilities. In this monograph, the author develops formalisms for his own notion of a vivid knowledge representation and reasoning system, characterized by the presence of two kinds of negation (weak and strong) and the requirements of restricted reflexivity, constructivity, and non-explosiveness. The book is based on work carried out within an interdisciplinary research project at the Free University of Berlin.