Syntactically, the class of general

Syntactically, the class of general logic programs is a subclass of the class of extended logic programs. For any general logic program its stable models coincide with its answer sets. Notice however, that whenever a program not containing -i answers no to a query q under the stable model semantics the answer to the same query under the answer set semantics will be unknown.

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

Cú pháp, các lớp học của chương trình tổng hợp logic là một phân lớp của lớp học của chương trình kéo dài logic. Đối với bất kỳ chương trình tổng hợp logic mô hình ổn định của nó trùng với bộ câu trả lời của mình. Nhận thấy Tuy nhiên, rằng bất cứ khi nào một chương trình không có -i câu trả lời không cho một truy vấn q theo ngữ nghĩa ổn định mô hình câu trả lời cho cùng một truy vấn theo ngữ nghĩa đặt câu trả lời sẽ là không rõ.

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

Cú pháp, các lớp của chương trình logic nói chung là một lớp con của lớp của chương trình logic mở rộng. Đối với bất kỳ chương trình logic chung mô hình ổn định của nó trùng với bộ câu trả lời của mình. Chú ý Tuy nhiên, bất cứ khi nào một chương trình không chứa câu trả lời -i không với một q truy vấn dưới ngữ nghĩa mô hình ổn định câu trả lời cho các truy vấn cùng theo ngữ nghĩa câu trả lời của bộ sẽ rõ.