Trong phần 3 chúng tôi xem xét chương trình kéo dài logic [GL91, Wag91] cho phép phủ định cổ điển (cũng được gọi là "phủ định mạnh mẽ") và thảo luận về expressibility trong bối cảnh đại diện kiến thức. Chúng tôi reformalize McCarthy's ví dụ chim bay và Yale bắn bằng cách sử dụng vấn đề mở rộng chương trình logic và hiển thị các tiện ích của việc sử dụng mở rộng chương trình logic sự hiện diện của thông tin không đầy đủ mà giả định trên thế giới đóng cửa (CWA) [Rei78] có thể không được tự động giả định.
đang được dịch, vui lòng đợi..
