provides an alternative model of th

provides an alternative model of the reasoning used by the judge to justify his decision. Because of its “cautious” approach, the authors prefer it to the formalization in Example 2.5. [BGK93] describes the precise relation between £?5 and £? and elaborates why £?5 is preferable to B.
Let us now prove that the above program, taken in conjunction with consistent (positive and negative) facts formed by predicates bird, penguin, wounded-bird, and flies is categorical.
It is easy to see that Bf is stratified with a stratification
Po = {bird, penguin, woundedJ>ird},
P1 = {ab},
P2 = {flies'},
P3 = {flies}, and
P4 = {make dop, make-top'}.

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

cung cấp một mô hình thay thế lý luận được sử dụng bởi các thẩm phán để biện minh cho quyết định của mình. Vì cách tiếp cận "thận trọng", tác giả muốn nó formalization trong ví dụ 2,5. [BGK93] mô tả mối quan hệ chính xác giữa £? 5 và £? và lý do tại sao elaborates £? 5 là thích hợp hơn để sinhHãy cho chúng tôi bây giờ chứng minh rằng chương trình nêu trên, thực hiện kết hợp với phù hợp các dữ kiện (tích cực và tiêu cực) được thành lập bởi predicates chim, chim cánh cụt, con chim thương và ruồi categorical.Nó rất dễ dàng để thấy rằng Bf phân tầng với một sự phân tầngPo = {chim, chim cánh cụt, woundedJ > ird},P1 = {ab},P2 = {ruồi},P3 = {ruồi}, vàP4 = {làm cho dop, make-top'}.

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

cung cấp một mô hình thay thế của lý luận được sử dụng bởi các thẩm phán để biện minh cho quyết định của mình. Bởi vì cách tiếp cận "thận trọng" của mình, các tác giả thích nó để chính thức hóa trong Ví dụ 2.5. [BGK93] mô tả các mối quan hệ chính xác giữa 5 £? Và £? và trau chuốt sao 5 £? tốt hơn là B.
Bây giờ chúng ta chứng minh rằng các chương trình trên, thực hiện kết hợp với những sự kiện phù hợp (tích cực và tiêu cực) được hình thành bởi các vị từ chim, chim cánh cụt, bị thương, chim, và bay là phân loại.
Nó rất dễ dàng để thấy rằng Bf là phân tầng với một sự phân tầng
Po = {chim, chim cánh cụt, woundedJ> IRD},
P1 = {ab},
P2 = {bay '},
P3 = {ruồi}, và
P4 = {làm dop, make-top '}.