Cuối cùng, chúng ta hãy xem làm thế nào chúng tôi có thể sử dụng chương trình này để mô hình hành vi của người thợ mộc ví dụ 2,5. Kể từ khi chúng tôi đang quan tâm nhiều hơn trong kết luận của chúng tôi về khả năng của các loài chim bay, quy tắc 4 (từ ví dụ 2,5) sẽ trở thành không đủ. Nó có thể được thay thế bởi các quy tắc chính thức sau bảo vệ hành động của người thợ mộc: "Không làm cho một phần trên của lồng cho chim nổi tiếng đến không bay được, nhưng làm cho nó khác."
đang được dịch, vui lòng đợi..
