عرض بسيط للتسجيلة

المؤلفAsuncion, Vernon
المؤلفZhang, Yan
المؤلفZhang, Heng
تاريخ الإتاحة2016-05-16T10:57:31Z
تاريخ النشر2014
اسم المنشور14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014
المصدرScopus
الاقتباسAsuncion, V., Zhang, Y., Zhang, H. "Logic programs with ordered disjunction: First-order semantics and expressiveness" (2014) 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014, pp. 2-11.
الترقيم الدولي الموحد للكتاب 978-157735657-8
معرّف المصادر الموحدhttp://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7844
معرّف المصادر الموحدhttp://hdl.handle.net/10576/4539
الملخصLogic programs with ordered disjunction (LPODs) (Brewka 2002) generalize normal logic programs by combining alternative and ranked options in the heads of rules. It has been showed that LPODs are useful in a number of areas including game theory, policy languages, planning and argumentations. In this paper, we extend propositional LPODs to the first-order case, where a classical second-order formula is defined to capture the stable model semantics of the underlying first-order LPODs. We then develop a progression semantics that is equivalent to the stable model semantics but naturally represents the reasoning procedure of LPODs. We show that on finite structures, every LPOD can be translated to a firstorder sentence, which provides a basis for computing stable models of LPODs. We further study the complexity and expressiveness of LPODs and prove that almost positive LPODs precisely capture first-order normal logic programs, which indicates that ordered disjunction itself and constraints are sufficient to represent negation as failure.
راعي المشروعNPRP grant (NPRP 09-079-1-013) from the Qatar National Research Fund (QNRF).
اللغةen
الناشرAAAI Publications
الموضوعArtificial intelligence
Logic programming
Answer set programming
العنوانLogic programs with ordered disjunction: First-order semantics and expressiveness
النوعConference Paper
الصفحاتpp 2-11
dc.accessType Open Access


الملفات في هذه التسجيلة

Thumbnail

هذه التسجيلة تظهر في المجموعات التالية

عرض بسيط للتسجيلة