Extending Well-Founded Semantics with Clark’s Completion for Disjunctive Logic Programs
المؤلفون المشاركون
Nieves, Juan Carlos
Osorio, Mauricio
المصدر
العدد
المجلد 2018، العدد 2018 (31 ديسمبر/كانون الأول 2018)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2018-03-01
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الملخص EN
In this paper, we introduce new semantics (that we call D3-WFS-DCOMP) and compare it with the stable semantics (STABLE).
For normal programs, this semantics is based on suitable integration of the well-founded semantics (WFS) and the Clark’s completion.
D3-WFS-DCOM has the following appealing properties: First, it agrees with STABLE in the sense that it never defines a nonminimal model or a nonminimal supported model.
Second, for normal programs it extends WFS.
Third, every stable model of a disjunctive program P is a D3-WFS-DCOM model of P.
Fourth, it is constructed using transformation rules accepted by STABLE.
We also introduce second semantics that we call D2-WFS-DCOMP.
We show that D2-WFS-DCOMP is equivalent to D3-WFS-DCOMP for normal programs but this is not the case for disjunctive programs.
We also introduce third new semantics that supports the use of implicit disjunctions.
We illustrate how these semantics can be extended to programs including explicit negation, default negation in the head of a clause, and a lub operator, which is a generalization of the aggregation operator setof over arbitrary complete lattices.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Nieves, Juan Carlos& Osorio, Mauricio. 2018. Extending Well-Founded Semantics with Clark’s Completion for Disjunctive Logic Programs. Scientific Programming،Vol. 2018, no. 2018, pp.1-10.
https://search.emarefa.net/detail/BIM-1214690
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Nieves, Juan Carlos& Osorio, Mauricio. Extending Well-Founded Semantics with Clark’s Completion for Disjunctive Logic Programs. Scientific Programming No. 2018 (2018), pp.1-10.
https://search.emarefa.net/detail/BIM-1214690
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Nieves, Juan Carlos& Osorio, Mauricio. Extending Well-Founded Semantics with Clark’s Completion for Disjunctive Logic Programs. Scientific Programming. 2018. Vol. 2018, no. 2018, pp.1-10.
https://search.emarefa.net/detail/BIM-1214690
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1214690
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر