کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
403203 | 677066 | 2007 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Checking the consistency of a hybrid knowledge base system
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Checking the consistency of a hybrid knowledge base system Checking the consistency of a hybrid knowledge base system](/preview/png/403203.png)
چکیده انگلیسی
This paper concerns a method to verify the consistency of a hybrid knowledge base system. We assume the knowledge base of the verified system supports the representation of production rules and frame taxonomies. Moreover, the knowledge base can also be used to represent non-monotonic and uncertain reasoning. For the purpose of the verification, an ATMS like theory is created by simulating the deductive process needed to deduce an inconsistency. Next, the ATMS like theory is processed to compute a specification of the initial fact base that allows for the execution of a deductive tree that leads to the inconsistency.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Knowledge-Based Systems - Volume 20, Issue 3, April 2007, Pages 225–237
Journal: Knowledge-Based Systems - Volume 20, Issue 3, April 2007, Pages 225–237
نویسندگان
Jaime Ramírez, Angélica de Antonio,