in the body of the second rule empl

in the body of the second rule employs “negation as failure” to express that the rules of the program do not allow us to establish r(X). In Section 5 we will see how the stable model semantics makes this idea precise.

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

trong cơ thể của thứ hai quy tắc sử dụng "phủ định như thất bại" để thể hiện rằng các quy tắc của chương trình không cho phép chúng tôi để thiết lập r(X). Trong phần 5 chúng tôi sẽ xem cách ngữ nghĩa mô hình ổn định làm cho ý tưởng này chính xác.

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

trong cơ thể của các quy tắc thứ hai sử dụng "phủ định là thất bại" để bày tỏ rằng các quy tắc của chương trình không cho phép chúng ta thiết lập r (X). Trong phần 5, chúng ta sẽ xem cách ngữ nghĩa mô hình ổn định làm cho ý tưởng này chính xác.