3.2 Other Semantics of Extended Log

3.2 Other Semantics of Extended Logic Programs
So far we based our discussion on the answer set semantics of extended logic programs. Several other semantics of extended logic programs are suggested in the literature [AP92, PAA91c, PAA92a, PAA92b, Prz90a, KS90]. We now discuss some of them.
The formulation of well-founded semantics of general logic programs in [BS91] can be extended to define the well-founded semantics [Prz90a] of extended logic programs. More precisely, let us consider Gu(S) = 6(II5). Then for any extended logic program II, the fixpoints of Gu defines the answer-set semantics, and {//p(G'n),gfpiG^)} defines the well- founded semantics. A literal I is true (resp. false) w.r.t. the well-founded semantics of an extended logic program II if I £ Up(Gn) (resP- ^ ^ 9fp((*n))- Otherwise I is said to be undefined.
Pereira et al. [PAA92a] show that this definition gives unintuitive characterizations for several programs.

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

3.2 các ngữ nghĩa của Logic mở rộng chương trìnhCho đến nay, chúng tôi dựa trên chúng tôi thảo luận về ngữ nghĩa đặt câu trả lời của chương trình kéo dài logic. Một số khác ngữ nghĩa của logic mở rộng chương trình được đề nghị trong văn học [AP92, PAA91c, PAA92a, PAA92b, Prz90a, KS90]. Chúng tôi bây giờ thảo luận về một số người trong số họ.Xây dựng thành lập cũng như ngữ nghĩa của logic nói chung chương trình [BS91] có thể được mở rộng để định nghĩa ngữ nghĩa tốt được thành lập [Prz90a] chương trình kéo dài logic. Chính xác hơn, chúng ta hãy xem xét Gu (S) = 6(II5). Sau đó cho bất kỳ chương trình kéo dài logic II, fixpoints Gu định nghĩa ngữ nghĩa thiết lập trả lời, và {/ / p(G'n),gfpiG^)} định nghĩa ngữ nghĩa cũng-được thành lập. Một chữ I là đúng (sai này) w.r.t. ngữ nghĩa cũng thành lập một logic mở rộng chương trình II nếu tôi £ Up(Gn) (resP - ^ ^ 9fp((*n))-nếu không tôi được gọi là không xác định.Pereira et al. [PAA92a] cho rằng định nghĩa này cho unintuitive characterizations cho một số chương trình.

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

3.2 Ngữ nghĩa khác của các chương trình logic mở rộng
đến nay chúng tôi dựa trên cuộc thảo luận của chúng tôi về những câu trả lời thiết lập ngữ nghĩa của chương trình logic mở rộng. Một số ngữ nghĩa khác của chương trình logic mở rộng được đề nghị trong văn học [AP92, PAA91c, PAA92a, PAA92b, Prz90a, KS90]. Bây giờ chúng ta thảo luận về một số trong số họ.
Việc xây dựng ngữ nghĩa cũng sáng lập của chương trình logic chung trong [BS91] có thể được mở rộng để xác định ngữ nghĩa được thành lập [Prz90a] của chương trình logic mở rộng. Chính xác hơn, chúng ta hãy xem xét Gu (S) = 6 (II5). Sau đó cho bất kỳ chương trình logic mở rộng II, fixpoints của Gu xác định ngữ nghĩa câu trả lời-set, và {// p (G'n), gfpiG ^)} định nghĩa nổi lập ngữ nghĩa. Một tôi theo nghĩa đen là đúng (. Resp false) WRT ngữ nghĩa cũng sáng lập của một chương trình logic mở rộng II nếu tôi £ Up (St) (resP- ^ ^ 9fp ((* n)) - Nếu không tôi được cho là được định nghĩa.
Pereira et al. [PAA92a] cho thấy rằng định nghĩa này cho tả những đặc điểm unintuitive cho một số chương trình.