Logika kognitywna [500-KS1-2LOK3] Rok akademicki 2024/25
Wykład, grupa nr 1

Makinson David, Od logiki klasycznej do niemonotonicznej, UMK, 2008.

R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, Reasoning about Knowledge, The MIT Press, 1995.

D.M. Gabbay, C. Hogger, J.A. Robinson, Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, 1994.

D. Makinson, Sets, Logic and Maths for Computing, London 2008

M. Lechniak, Przekonania i zmiana przekonań, Wydawnictwo KUL, 2011.

Poziomy analizy języka naturalnego i sztucznego: leksyka, syntaktyka, semantyka, pragmatyka.

Semantyczny model języka wg. Chomskiego.

Semantyczna struktura zdań - drzewo zależności, metody przetwarzania maszynowego.

Zdania implikacyjne - cechy semantyczne, własności logiczne.

System dedukcji naturalnej a automatyczne dowodzenie twierdzeń.

Schematy automatycznego dowodzenia twierdzeń.

Przykłady systemów: Mizar, Lean - możliwości wspomagania programów sztucznej inteligencji.

Wykład w formie klasycznej, wspólne rozwiązywanie zadań, dyskusje, konsultacje.

Wykład kończy się oceną. Ocena wystawiana będzie na podstawie aktywności na zajęciach wykładu i na ćwiczeniach.

Ocena końcowa może zostać podniesiona maksymalnie o jeden stopień na podstawie punktów zdobytych za nieobowiązkowe prace domowe. Wyniki prac domowych nie mogą obniżyć oceny ostatecznej.

Liczba dopuszczalnych nieusprawiedliwionych nieobecności: 1. W przypadku, gdy liczba nieusprawiedliwionych nieobecności wynosi od 2 do 3, możliwe jest ich odpracowanie w sposób uzgodniony z prowadzącym. Nieobecności należy odpracować najpóźniej na tydzień przed końcem wykładu. W przypadku, gdy liczba nieusprawiedliwionych nieobecności przekracza 3, student traci możliwość zaliczenia przedmiotu.