Example 3.3 Let us now modify the s

Example 3.3 Let us now modify the specification from Example 3.2 one more time by removing the closed world assumptions for all predicates from our language. Let us also assume that Tweety, Opus, and Sam are birds; Sam is a penguin; Tweety is not; and that we do not know about Opus. Notice that since Opus may be a penguin, we do not want to conclude that it flies. How can we represent this information?

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

Ví dụ 3.3 cho chúng tôi bây giờ có thể thay đổi đặc điểm kỹ thuật từ ví dụ 3.2 một lần nữa bằng cách loại bỏ các giả định trên thế giới đóng cửa cho tất cả predicates từ ngôn ngữ của chúng tôi. Chúng ta hãy cũng giả sử rằng Tweety, Opus và Sam là các loài chim; Sam là chim cánh cụt; Tweety là không; và chúng tôi không biết về Opus. Thông báo rằng kể từ khi Opus có thể là chim cánh cụt, chúng tôi không muốn để kết luận rằng nó bay. Làm thế nào chúng tôi có thể đại diện cho thông tin này?

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

Ví dụ 3.3 Bây giờ chúng ta sửa đổi các đặc điểm kỹ thuật từ ví dụ 3.2 thêm một thời gian bằng cách loại bỏ các giả thiết thế giới đóng cửa cho tất cả các vị từ từ ngôn ngữ của chúng tôi. Chúng ta cũng giả định rằng Tweety, Opus, và Sam là các loài chim; Sam là một con chim cánh cụt; Tweety không có; và rằng chúng ta không biết về Opus. Chú ý rằng kể từ Opus có thể là một con chim cánh cụt, chúng tôi không muốn để kết luận rằng nó bay. Làm thế nào chúng ta có thể đại diện cho thông tin này?