In Section 4 we consider disjunctiv

In Section 4 we consider disjunctive logic programs where disjunctions are allowed in the heads of the rules of the program. We formalize two examples from the literature. In particular we consider an example from [Poo89] that was used to demonstrate the difficulties associated with representing disjunctive information in Reiter’s default logic. We also discuss other semantics of general logic programs and review a method to compute the answer set semantics of a disjunctive logic program.

Kết quả (Việt) 1:

Trong phần 4, chúng tôi xem xét chương trình ly phản logic nơi disjunctions được cho phép trong những người đứng đầu của các quy tắc của chương trình. Chúng tôi chính thức hóa hai ví dụ từ các tài liệu. Đặc biệt, chúng ta hãy xem xét một ví dụ từ [Poo89] được sử dụng để chứng minh những khó khăn liên kết với đại diện cho các thông tin ly phản trong Reiter của mặc định logic. Chúng tôi cũng thảo luận về ngữ nghĩa khác của chương trình tổng hợp logic và xem xét một phương pháp để tính toán câu trả lời thiết lập ngữ nghĩa của một chương trình ly phản logic.

Kết quả (Việt) 2:

Trong phần 4, chúng tôi xem xét các chương trình logic rời rạc nơi disjunctions được phép trong đầu của các quy định của chương trình. Chúng tôi chính thức hóa hai ví dụ từ văn học. Đặc biệt chúng tôi xem xét một ví dụ từ [Poo89] đã được sử dụng để chứng minh những khó khăn liên quan đến đại diện cho thông tin rời rạc trong logic mặc định Reiter. Chúng tôi cũng thảo luận về ngữ nghĩa khác của chương trình logic chung và xem xét một phương pháp để tính ngữ nghĩa câu trả lời thiết lập của một chương trình logic rời rạc.