کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10145957 | 1646380 | 2018 | 43 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Reasoning in the Defeasible Description Logic -computing standard inferences under rational and relevant semantics
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
The main contribution of this article is a kind of canonical model construction, which can be used to decide defeasible subsumption and instance queries in under rational and the stronger relevant entailment. Our so-called typicality models can reproduce the entailments obtained from materialisation-based rational and relevant closure and, more importantly, obtain stronger versions of rational and relevant entailment. These do not suffer from neglecting defeasible information for concepts appearing nested inside quantifications, which all materialisation-based approaches do. We also show the computational complexity of defeasible subsumption and instance checking in our stronger rational and relevant semantics.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 103, December 2018, Pages 28-70
Journal: International Journal of Approximate Reasoning - Volume 103, December 2018, Pages 28-70
نویسندگان
Maximilian Pensel, Anni-Yasmin Turhan,