Let us denote the resulting program

Let us denote the resulting program by B4. It is possible to show that for any set of facts not containing facts of the form -1 fliesit), where t is an arbitrary ground term, programs B3 and B4 are equivalent. For a general theorem to this effect see [GP93b], This observation leads us to a translation of normative statements to extended logic programs which is different from the one suggested in Section 2. Namely,
a normative statement of the form “A’s are normally B’s” is represented by the rule

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

Hãy cho chúng tôi biểu thị các chương trình kết quả bởi B4. Có thể cho thấy rằng đối với bất kỳ thiết lập các sự kiện không có chứa các sự kiện của fliesit mẫu -1), nơi mà t là một thuật ngữ đất tùy ý, chương trình B3 và B4 là tương đương. Cho một định lý tổng quát này có hiệu lực xem [GP93b], quan sát này dẫn chúng ta đến một bản dịch của các báo cáo quy chuẩn cho chương trình kéo dài logic là khác nhau từ một trong những đề nghị trong phần 2. Cụ thể,một tuyên bố quy chuẩn của các hình thức "của đang bình thường của B" được đại diện bởi các quy tắc

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

Chúng ta hãy biểu kết quả chương trình bởi B4. Có thể thấy rằng đối với bất kỳ thiết lập các sự kiện không có thật của hình thức -1 fliesit), trong đó t là một hạn mặt đất tùy tiện, chương trình B3 và B4 là tương đương. Đối với một định lý chung cho hiệu ứng này xem [GP93b], quan sát này dẫn chúng ta đến một bản dịch của báo cáo chuẩn mực để các chương trình logic mở rộng mà là khác nhau từ một trong những gợi ý trong phần 2. Cụ thể,
một tuyên bố bản quy phạm của hình thức "của một thường của B "được đại diện bởi các quy tắc