Mówca
Patryk Hempel
Opis
Wykład stanowi wprowadzenie do logiki epistemicznej. W pierwszej części omówione zostaną klasyczne systemy S4 i S5, a także ich praktyczne zastosowania w informatyce, sztucznej inteligencji i grach komputerowych. Głównym punktem wystąpienia będzie przejście do logiki bimodalnej, badającej interakcje między operatorem wiedzy a operatorem przekonań. Na tym gruncie przeanalizujemy paradoks doskonałości przekonań, pokazując, do jakich zaskakujących i pozornie sprzecznych wniosków może prowadzić założenie absolutnej racjonalności u agentów poznawczych.
| Wiek uczestników | pow. 15 lat |
|---|
