کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
398906 1438520 2007 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Remedying inconsistent sets of premises
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Remedying inconsistent sets of premises
چکیده انگلیسی

The Lang–Marquis framework for reasoning in the presence of inconsistencies, which is based on the so-called forget operation, is generalized here. Despite extending the original proposal, a simpler structure is used. A notion of equivalence is introduced which is proven to provide extensionality for the framework. Some other formal properties are also given which illustrate the versatility of the definitions.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 45, Issue 2, July 2007, Pages 308-320