In a distributed system, processes

In a distributed system, processes make local decisions based on their limited view of the system state. A process learns of new facts when it receives messages from other processes, and can reason only with the additional knowledge available to it. This chapter provides a formal framework in which it is easier to understand the role of knowledge in the system, and how processes can reason with such knowledge. The first three sections are based on the book by Fagin et al. [3]. The logic of knowledge, classically termed as epistemic logic, is the formal logical analysis of reasoning about knowledge. Epistemic knowledge first received much attention from philosophers in the mid-twentieth century.

Results (Vietnamese) 1:

Trong một hệ thống phân phối, quá trình đưa ra quyết định địa phương dựa trên của cái nhìn giới hạn của hệ thống nhà nước. Một quá trình học của sự kiện mới khi nó nhận được tin nhắn từ các quá trình khác, và có thể lý do chỉ với những kiến thức bổ sung có sẵn cho nó. Chương này cung cấp một khuôn khổ chính thức trong đó nó dễ dàng hơn để hiểu vai trò của kiến thức trong hệ thống, và làm thế nào quá trình có thể lý do với kiến thức như vậy. Phần ba đầu tiên được dựa trên cuốn sách của Fagin et al. [3]. Logic của kiến thức, thời cổ gọi là epistemic logic, là phân tích hợp lý chính thức của các lý do về kiến thức. Epistemic kiến thức đầu tiên nhận được nhiều sự chú ý từ nhà triết học ở giữa hai mươi thế kỷ.

Results (Vietnamese) 2:

Trong một hệ thống phân phối, quy trình ra quyết định tại địa phương dựa trên quan điểm hạn chế của họ về hệ thống nhà nước. Một quá trình học các sự kiện mới khi nó nhận được tin nhắn từ các quá trình khác, và có thể lý do duy nhất với các kiến ​​thức bổ sung có sẵn cho nó. Chương này cung cấp một khuôn khổ chính thức, trong đó nó dễ dàng hơn để hiểu vai trò của kiến ​​thức trong hệ thống, và làm thế nào quá trình có thể giải thích với kiến ​​thức như vậy. Ba phần đầu tiên được dựa trên cuốn sách của Fagin et al. [3]. Logic của kiến ​​thức, cổ điển được gọi là tri thức logic, là phân tích hợp lý chính thức của lý luận về kiến ​​thức. Kiến thức tri thức đầu tiên nhận được nhiều sự chú ý từ các nhà triết học trong giữa thế kỷ XX.