Logika epistemiczna WF-FI-KGN-LE
Logiki epistemiczne są wykorzystywane we współczesnej epistemologii i teorii wiedzy, mają także liczne aplikacje informatyczne. Przedmiotem wykładu jest prezentacja podstawowych zdaniowych logik epistemicznych, w których modeluje się pojęcia wiedzy (episteme) i przekonania (doxa). Wobec tego, że logiki te są rodzajem logik modalnych, przedstawia się najpierw podstawowe pojęcia z zakresu logik modalnych interpretownych w semantyce światów możliwych. Zaczynamy od definicji modalnego języka zdaniowego, ramy światów możliwych, wartościowania, modelu śwaitów możliwych, prawdziwości logicznej. Prezentujemy systemy modalne charakteryzowane przez charakterystyczne aksjomaty K, T, D, B, 4, 5. Następnie wyodrębniamy epistemiczne znaczenia wybranych modalności i modelujemy je w założonej semantyce. Prezentujemy najczęściej używane jednoagentowe systemy epistemiczne i pokazujemy ich rozszerzenia do systemów wieloagentowych.
|
W cyklu 2024/25_L:
Opis pokrywa się z opisem w sekcji "Podstawowe informacje o przedmiocie". |
Dyscyplina naukowa, do której odnoszą się efekty uczenia się
E-Learning
Grupa przedmiotów ogólnouczenianych
Opis nakładu pracy studenta w ECTS
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Wymagania wstępne
Koordynatorzy przedmiotu
Efekty kształcenia
Student zna podstawowe pojęcia z zakresu zdaniowej logiki modalnej i semantyki światów możliwych. Potrawi modelować wybrane pojęcia epistemiczne (wiedza i przekonanie).
Kryteria oceniania
Warunkiem ukończenia kursu jest (a) zaliczenie ćwiczeń przed sesją egzaminacyjną oraz (b) zaliczenie pisemnego egzaminu w trakcie sesji. Możliwość przystąpienia do egzaminu jest warunkowana wcześniejszym uzyskaniem zaliczenia ćwiczeń. Szczegółowe zasady są opisane dla konkretnego cyklu dydaktycznego.
Praktyki zawodowe
Nie dotyczy
Literatura
Fagin, R., Halpern, J. Y., Moses, Y., Vardi, M., (1995), Reasoning About
Knowledge, Cambridge, MA: MIT Press.
Rendsvig, Rasmus, John Symons, and Yanjing Wang, "Epistemic Logic", The Stanford Encyclopedia of Philosophy (Summer 2024 Edition), Edward N. Zalta & Uri Nodelman (eds.), URL =
Stalnaker, R., (2006), On Logics of Knowledge and Belief, Philosoph-
ical Studies, Vol. 128(1): 169199.
Van Benthem, J. (2006). Epistemic Logic and Epistemology: The State of their Affairs. Philosophical Studies, 128(1), 49–76. doi:10.1007/s11098-005-4052-0
|
W cyklu 2024/25_L:
Spis pokrywa się ze spisem w sekcji "Podstawowe informacje o przedmiocie". |
Uwagi
|
W cyklu 2024/25_L:
brak |
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: