Một số phương pháp tiếp cận khác nhau để nonmonotonic lý luận đã đề xuất trong AI [41, 42, 45, 46, 48, 49, 52, 571 có rất khác nhau nhìn đầu tiên. Nhưng nó chỉ ra rằng tất cả chúng là các hình thức khác nhau của argumentation. Do thiếu không gian, chúng tôi chỉ hiển thị trong phần này là hai trong số đó, Reiter mặc định logic, như đại diện của cách tiếp cận dựa trên phần mở rộng [41, 42, 48, 49, 521, và của Pollock quy nạp defeasible logic, như đại diện của các đối số-dựa trên phương pháp [45, 46, 571, các hình thức khác nhau của argumentation. Điều này làm rõ
đang được dịch, vui lòng đợi..
