It is worth noting that the above t

It is worth noting that the above techniques allow us to express priorities between de¬faults. Consider for instance the default “Things normally do not fly”. It can be written as
-1 flies(X) thing(X), not ab(r2,X), not flies(X)
where r2 is the name of this rule. This default shall not be applicable to birds (which are also things), whose flying abilities are determined by more specific information. This means birds are weak exceptions to rule r2 which can be expressed by the rule
ab(r2,X) not^bird(X)
The resulting program together with rules expressing the subclass-class relationship between birds and things gives a correct formalization of the extended hierarchy.
The next example from [GL90] demonstrates how extended logic programs can be used to reason about unknown information in the context of deductive databases.

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

Nó là đáng chú ý rằng các kỹ thuật ở trên cho phép chúng tôi để nhận ưu tiên giữa các de¬faults. Xem xét ví dụ mặc định "Những thứ bình thường không bay". Nó có thể được viết dưới dạng-1 flies(X) thing(X), không ab(r2,X), không flies(X)trong đó, r2 là tên của quy tắc này. Mặc định này không được áp dụng cho các loài chim (mà cũng điều), có khả năng bay được xác định bởi các thông tin cụ thể hơn. Điều này có nghĩa là chim yếu ngoại lệ cho quy tắc r2 có thể được thể hiện qua các quy tắcAB(R2,X) not^bird(X)Chương trình kết quả cùng với các quy tắc thể hiện mối quan hệ phân lớp lớp giữa chim và những thứ cho một formalization chính xác của hệ thống phân cấp kéo dài.Ví dụ kế tiếp từ [GL90] chứng tỏ làm thế nào kéo dài logic, chương trình có thể sử dụng cho lý do không rõ thông tin trong bối cảnh cơ sở dữ liệu suy diễn.

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

Điều đáng chú ý là các kỹ thuật nói trên cho phép chúng ta thể hiện ưu tiên giữa de¬faults. Hãy xem xét ví dụ mặc định "Những điều bình thường không bay". Nó có thể được viết như
-1 ruồi (X) điều (X), không ab (r2, X), không ruồi (X)
nơi r2 là tên của quy tắc này. Mặc định này không áp dụng đối với các loài chim (mà cũng có những điều), có khả năng bay được xác định bởi các thông tin cụ thể hơn. Điều này có nghĩa các loài chim là trường hợp ngoại lệ yếu để cai trị r2 có thể được thể hiện bằng các quy tắc
ab (r2, X) không ^ chim (X)
Kết quả là chương trình cùng với quy tắc thể hiện các mối quan hệ lớp lớp giữa chim và những thứ mang lại cho một chính thức hóa chính xác của các mở rộng hệ thống phân cấp.
Ví dụ tiếp theo từ [GL90] trình bày cách mở rộng các chương trình logic có thể được sử dụng để suy luận về những thông tin không rõ trong bối cảnh cơ sở dữ liệu suy diễn.