دانلود کتاب A Logic of Arbitrary and Indefinite Objects

Name: A Logic of Arbitrary and Indefinite Objects
Availability: InStock
Author: Shapiro S.C.

by Shapiro S.C.

عنوان فارسی: منطق موارد دلخواه و نامحدود
سال: 2003
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 15-15
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 0.13 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

A Logic of Arbitrary and Indefinite Objects, La, has been developed as the logic for knowledge representation and reasoning systems designed to support natural language understanding and generation, and commonsense reasoning. The motivations for the design of La are given, along with an informal introduction to the theory of arbitrary and indefinite objects, and to Lа itself. La is then formally defined by presenting its syntax, proof theory, and semantics, which are given via a translation scheme between La and the standard classical First-Order Predicate Logic. Soundness and completeness theorems are stated, and their proofs are sketched. L is being implemented as the logic of SNePS 3, the latest member of the SNePS family of Knowledge Representation and Reasoning systems.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!