In Scenario A, the father announced

In Scenario A, the father announced  whereas in Scenario B, the father did not announce , and the responses of the children were very different. The announcement of  effectively made  common knowledge among the children, and this enabled the children to reason differently. The above puzzle introduces the notions of knowledge, levels of knowledge, and common knowledge in a system. We now define these formally and consider how such logic can be adapted to computing systems.

Results (Vietnamese) 1:

Trong trường hợp A, cha đã thông báo trong khi trong trường hợp B, cha đã không thông báo, và các phản ứng của trẻ em đã rất khác nhau. Thông báo của một cách hiệu quả thực hiện các kiến thức phổ biến trong số các trẻ em, và điều này cho phép các trẻ em đến lý do một cách khác nhau. Các câu đố ở trên giới thiệu các khái niệm của kiến thức, kiến thức, và phổ biến kiến thức trong một hệ thống. Chúng tôi bây giờ xác định đây chính thức và xem xét như thế nào logic như vậy có thể được thích nghi với hệ thống điện toán.

Results (Vietnamese) 2:

Trong phương án A, người cha công bố? trong khi trong kịch bản B, người cha đã không thông báo?, và các câu trả lời của các em rất khác nhau. Công bố? thực hiện có hiệu quả? phổ biến kiến ​​thức giữa các trẻ em, và điều này cho phép các trẻ em vào lý do khác nhau. Câu đố trên giới thiệu các khái niệm về kiến ​​thức, mức độ hiểu biết, và phổ biến kiến ​​thức trong một hệ thống. Bây giờ chúng tôi xác định các chính thức và xem xét cách logic như vậy có thể được thích nghi với hệ thống máy tính.