In Section 9 we discuss the relatio

In Section 9 we discuss the relationship between the logic programming-based formalisms discussed in the previous sections and various nonmonotonic logics developed in artificial intelligence, such as circumscription, default logic, autoepistemic logic and truth maintenance systems.

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

Trong phần 9 chúng tôi thảo luận về mối quan hệ giữa logic dựa trên lập trình formalisms thảo luận trong các phần trước và logic khác nhau nonmonotonic phát triển trong trí tuệ nhân tạo, chẳng hạn như định nghĩa, mặc định logic, autoepistemic hệ thống bảo dưỡng logic và sự thật.

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

Trong Phần 9 chúng tôi thảo luận về mối quan hệ giữa các formalisms lập trình dựa trên lôgic thảo luận trong các phần trước và logic nonmonotonic khác nhau phát triển về trí thông minh nhân tạo, chẳng hạn như một khu, logic mặc định, logic autoepistemic và hệ thống bảo trì thật.