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 general 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) 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 chung, 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: