The research on finding a declarati

The research on finding a declarative semantics for general logic programs started with the pioneering work of Clark [Cla87] and Reiter [Rei]. Clark [Cla78] introduced the concept of program completion to dene a declarative semantics for negation as failure. In ageneral logic program,the bodies of clauses with a predicate p in the head can be viewed as “sufficiency” conditions for inferring p from the program. Clark suggested that the bodies of the clauses can also be taken as “necessary” conditions, with the result that negative information about p can be assumed if all these conditions are not met. More precisely, the
Clark’s completion of a general logic program II denoted by Comp (II) is obtained through the following steps:

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

Các nghiên cứu về việc tìm kiếm ngữ nghĩa nổi cho các chương trình tổng hợp logic bắt đầu với việc tiên phong của Clark [Cla87] và Reiter [Rei]. Clark [Cla78] giới thiệu khái niệm của chương trình hoàn thành để dene ngữ nghĩa hỏa cho phép phủ định như thất bại. Trong các chương trình logic quát, các cơ quan của các điều khoản với một p predicate vào đầu có thể được xem như "túc" điều kiện để suy luận p từ chương trình. Clark gợi ý rằng các cơ quan của các mệnh đề cũng có thể được thực hiện như điều kiện "cần thiết", với kết quả đó thông tin tiêu cực về p có thể được giả định, nếu tất cả những điều kiện này không được đáp ứng. Chính xác hơn, cácClark's hoàn thành của một chương trình tổng hợp logic II được biểu thị bởi Comp (II) thu được thông qua các bước sau:

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

Các nghiên cứu về việc tìm kiếm một ngữ nghĩa khai báo cho chương trình logic nói chung bắt đầu với công việc tiên phong của Clark [Cla87] và Reiter [Rei]. Clark [Cla78] giới thiệu các khái niệm về hoàn thành chương trình để Dene một ngữ nghĩa khai báo cho phủ định là thất bại. Trong chương trình logic ageneral, các cơ quan của khoản với một p ngữ trong đầu có thể được xem như là "đủ" điều kiện để suy luận về p từ chương trình. Clark cho rằng các cơ quan của các điều khoản cũng có thể được thực hiện như là điều kiện "cần thiết", với kết quả là thông tin tiêu cực về p có thể được giả định nếu tất cả những điều kiện này không được đáp ứng. Chính xác hơn,
hoàn thành một chương trình logic chung II ký hiệu Comp (II) của Clark thu được qua các bước sau: