In Section 3 we consider extended l

In Section 3 we consider extended logic programs [GL91, Wag91] that allow classical negation (also referred to as “strong negation”) and discuss its expressibility in the context of knowledge representation. We reformalize McCarthy’s example of flying birds and the Yale shooting problem using extended logic programs and show the utility of using extended logic programs in the presence of incomplete information where the closed world assumption (CWA) [Rei78] can not be automatically assumed.

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

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.

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

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