Proposition 3.2 [GL90] A consistent

Proposition 3.2 [GL90] A consistent set S C Lit is an answer set of II if and only if S+ is a stable model of II+.

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

Đề xuất 3,2 [GL90] phù hợp một set S C thắp sáng là một câu trả lời tập II nếu và chỉ nếu s + là một ổn định mô hình II +.

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

Dự 3.2 [GL90] Một tập quán SC Lit là một câu trả lời thiết của II khi và chỉ khi S + là một mô hình ổn định II +.