Most attempts at modeling knowledge

Most attempts at modeling knowledge have been based on the possible worlds model. In order to do this, we must divide the set of possible worlds between those that are compatible with an agent's knowledge, and those that are not. This generally conforms with common usage. If I know that it is either Friday or Saturday, then I know for sure that it is not Thursday. There is no possible world compatible with my knowledge where it is Thursday, since in all these worlds it is either Friday or Saturday. While we will primarily be discussing the logic-based approach to accomplishing this task, it is worthwhile to mention here the other primary method in use, the event-based approach. In this particular usage, events are sets of possible worlds, and knowledge is an operator on events. Though the strategies are closely related, there are two important distinctions to be made between them:

The underlying mathematical model of the logic-based approach are Kripke semantics, while the event-based approach employs the related Aumann structures.
In the event-based approach logical formulas are done away with completely, while the logic-based approach uses the system of modal logic.
Typically, the logic-based approach has been used in fields such as philosophy, logic and AI, while the event-based approach is more often used in fields such as game theory and mathematical economics. In the logic-based approach, a syntax and semantics have been built using the language of modal logic, which we will now describe.

Hasil (Bahasa Indonesia) 1:

Kebanyakan upaya pemodelan pengetahuan telah didasarkan pada model kemungkinan dunia. Untuk melakukan ini, kita harus membagi kumpulan kemungkinan dunia antara mereka yang kompatibel dengan agen pengetahuan, dan mereka yang tidak. Ini umumnya sesuai dengan penggunaan umum. Jika aku tahu bahwa itu adalah Jumat atau Sabtu, maka saya tahu pasti bahwa itu bukanlah Kamis. Ada tidak mungkin dunia kompatibel dengan pengetahuan saya mana itu adalah Kamis, karena di dunia ini adalah Jumat atau Sabtu. Sementara kita akan terutama membahas pendekatan berbasis logika untuk menyelesaikan tugas ini, itu berharga untuk menyebutkan di sini metode utama lainnya digunakan, pendekatan berdasarkan aktivitas. Dalam penggunaan tertentu ini, acara set kemungkinan dunia, dan pengetahuan adalah operator pada peristiwa. Meskipun strategi berkaitan erat, ada dua perbedaan yang penting untuk dilakukan antara mereka:Model matematika yang mendasari pendekatan berbasis logika yang semantik Kripke, sementara pendekatan berdasarkan aktivitas mempekerjakan struktur Aumann yang terkait.Dalam acara berbasis pendekatan Logis formula dilakukan jauh dengan sepenuhnya, sementara pendekatan berbasis logika yang menggunakan sistem modal logika.Biasanya, pendekatan berbasis logika yang telah digunakan di bidang filsafat, logika dan AI, sementara pendekatan berdasarkan aktivitas lebih sering digunakan di bidang teori permainan dan ekonomi matematika. Dalam pendekatan berbasis logika, sintaks dan semantik telah dibangun menggunakan bahasa modal logika, yang akan kami jelaskan sekarang.

Hasil (Bahasa Indonesia) 2:

Kebanyakan upaya pengetahuan pemodelan telah didasarkan pada model yang mungkin dunia. Untuk melakukan hal ini, kita harus membagi set kemungkinan dunia antara mereka yang kompatibel dengan pengetahuan agen, serta orang-orang yang tidak. Hal ini umumnya sesuai dengan penggunaan umum. Jika saya tahu bahwa itu adalah baik hari Jumat atau Sabtu, maka saya tahu pasti bahwa itu bukan Kamis. Tidak ada kemungkinan dunia kompatibel dengan pengetahuan saya di mana itu adalah hari Kamis, karena dalam semua dunia ini adalah salah satu hari Jumat atau Sabtu. Sementara kita terutama akan membahas pendekatan berbasis logika untuk menyelesaikan tugas ini, akan lebih bermanfaat untuk disebutkan di sini metode utama lainnya yang digunakan, pendekatan berbasis event. Dalam penggunaan tertentu, peristiwa set kemungkinan dunia, dan pengetahuan adalah operator pada acara. Meskipun strategi yang terkait erat, ada dua perbedaan penting yang harus dibuat antara mereka: model matematika yang mendasari pendekatan berbasis logika adalah Kripke semantik, sedangkan pendekatan berdasarkan aktivitas mempekerjakan struktur Aumann terkait. Dalam pendekatan berbasis event- formula logis dilakukan jauh dengan sepenuhnya, sedangkan pendekatan berbasis logika menggunakan sistem logika modal. Biasanya, pendekatan logika berbasis telah digunakan dalam bidang-bidang seperti filsafat, logika dan AI, sedangkan pendekatan berdasarkan aktivitas yang lebih sering digunakan dalam bidang-bidang seperti teori permainan dan ekonomi matematika. Dalam pendekatan berbasis logika, sintaks dan semantik telah dibangun dengan menggunakan bahasa logika modal, yang sekarang kita akan menjelaskan.