Hai quy tắc tiếp theo mã hóa kiến thức tổng quát của chúng tôi về con chim bị thương. Các quy tắc i2 hủy bỏ việc áp dụng mặc định 1 (xem chương trình B2 bên dưới) để chim bị thương và, như là quy tắc corre¬sponding 3 cho chim cánh cụt, có thể được xem như là một thức hóa các nguyên tắc kế thừa.
đang được dịch, vui lòng đợi..
