Let P be a knowledge base represent

Let P be a knowledge base represented either as a logic program, or as a
nonmonotonic theory or as an argumentation framework. Then there is not
necessarily a “bug” in P if P has no stable semantics.

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

Giả sử P là một cơ sở kiến thức đại diện như một chương trình logic hoặc như là một nonmonotonic lý thuyết hoặc như là một khuôn khổ argumentation. Sau đó không nhất thiết phải một "lỗi" trong P nếu P đã không có ngữ nghĩa ổn định.

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

Gọi P là một cơ sở kiến thức đại diện, hoặc như là một chương trình logic, hoặc như là một
lý thuyết nonmonotonic hoặc như một khung tranh luận. Sau đó không
nhất thiết là một "lỗi" trong P P nếu không có ngữ nghĩa ổn định.