کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4942092 1436984 2017 47 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On the logical properties of the nonmonotonic description logic DLN
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
On the logical properties of the nonmonotonic description logic DLN
چکیده انگلیسی
DLN is a recent nonmonotonic description logic, designed for satisfying independently proposed knowledge engineering requirements, and for removing some recurrent drawbacks of traditional nonmonotonic semantics. In this paper we study the logical properties of DLN and illustrate some of the relationships between the KLM postulates and the characteristic features of DLN, including its novel way of dealing with unresolved conflicts between defeasible axioms. Moreover, we fix a problem affecting the original semantics of DLN and accordingly adapt the reduction from DLN inferences to classical inferences. Along the paper, we use various versions of the KLM postulates to deepen the comparison with related work, and illustrate the different tradeoffs between opposite requirements adopted by each approach.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Artificial Intelligence - Volume 248, July 2017, Pages 85-111
نویسندگان
, ,