where the l's are literals, i.e., f

where the l's are literals, i.e., formulas of the form p or -ip, where p is an atom.
The set of all literals in the language of II will be denoted by Lit. By Lit(p) we denote the collection of ground literals formed by the predicate p. The semantics of an extended logic program assigns to it a collection of its answer sets - sets of literals corresponding to beliefs which can be built by a rational reasoner on the basis of II. We will say that literal ->p is true in an answer set S if ~>p £ S. Recall that not p is true in S if p (jf S. We will say that II’s answer to a literal query q is yes if q is true in all answer sets of II, no if q is true in all answer sets of II and unknown otherwise.

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

nơi lê các literals, tức là, các công thức dạng p hoặc - ip, nơi p là một nguyên tử.Các thiết lập của tất cả các literals trong ngôn ngữ thứ hai sẽ được kí hiệu bởi Lit. Bởi Lit(p), chúng tôi biểu thị bộ sưu tập của literals đất được hình thành bởi predicate p. Ngữ nghĩa của một chương trình kéo dài logic sẽ gán cho nó một bộ sưu tập các câu trả lời bộ - bộ literals tương ứng với niềm tin mà có thể được xây dựng bởi một reasoner hợp lý trên cơ sở II. Chúng tôi sẽ nói rằng chữ -> p là đúng trong một câu trả lời bộ S nếu ~ > p £ S. thu hồi đó không phải là đúng trong S nếu p (jf S. Chúng tôi sẽ nói rằng II của câu trả lời cho một truy vấn chữ q có nếu q là đúng trong tất cả các câu trả lời bộ II, không nếu q là đúng trong tất cả các câu trả lời bộ II và chưa biết cách khác.

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

nơi l's là chữ, tức là, công thức có dạng p hoặc -ip, trong đó p là một nguyên tử.
Các thiết lập của tất cả các chữ trong ngôn ngữ của II sẽ được ký hiệu bởi Lit. By Lit (p) ta biểu thị các bộ sưu tập các chữ mặt đất hình thành bởi các vị p. Ngữ nghĩa của một chương trình logic mở rộng gán cho nó một bộ sưu tập các bộ câu trả lời của nó - bộ các chữ tương ứng với niềm tin đó có thể được xây dựng bởi một nhà lý hợp lý trên cơ sở II. Chúng tôi sẽ nói rằng đen -> p là đúng trong một câu trả lời tập S nếu ~> p £ S. Nhớ lại mà không p là đúng trong S nếu p (jf S. Chúng tôi sẽ nói rằng câu trả lời II của một q truy vấn theo nghĩa đen là có nếu q là đúng trong tất cả các bộ câu trả lời của II, không có nếu q là đúng trong tất cả các bộ câu trả lời của II và chưa biết khác.