Politechnika Warszawska - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Logika dla informatyków

Informacje ogólne

Kod przedmiotu: 103B-INIIT-MSP-LI Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Logika dla informatyków
Jednostka: Wydział Elektroniki i Technik Informacyjnych
Grupy: ( Przedmioty techniczne )---EITI
( Przedmioty zaawansowane obieralne )-Inżynieria systemów informatycznych-mgr.-EITI
( Przedmioty zaawansowane obieralne )-Systemy informacyjno-decyzyjne-mgr.-EITI
( Przedmioty zaawansowane techniczne )--mgr.-EITI
Punkty ECTS i inne: 5.00
Język prowadzenia: polski
Jednostka decyzyjna:

103000 - Wydział Elektroniki i Technik Informacyjnych

Kod wydziałowy:

LI

Numer wersji:

2

Skrócony opis:

Na wykładzie przedstawiona będzie teoria krat, algebry Posta, teoria zbiorów rozmytych, teoria zbiorów przybliżonych zaproponowana przez Z. Pawlaka, rachunek zdań, logika pierwszego rzędu, logika probabilistyczna, logika rozmyta, logika modalna (system S4 oraz S5), logiki wielowartościowe, oraz logiki niemonotoniczne. Omówione będzie podejście Dempstera-Shafera do problemów związanych z niepełną informacją. Podejście to porównane zostanie z teorią zbiorów przybliżonych. Przedstawione zostaną różne metody dowodzenia twierdzeń.

Pełny opis:

Na wykładzie przedstawiona będzie teoria krat, algebry Posta, teoria zbiorów rozmytych, teoria zbiorów przybliżonych zaproponowana przez Z. Pawlaka, rachunek zdań, logika pierwszego rzędu, logika probabilistyczna, logika rozmyta, logika modalna (system S4 oraz S5), logiki wielowartościowe, oraz logiki niemonotoniczne. Omówione będzie podejście Dempstera-Shafera do problemów związanych z niepełną informacją. Podejście to porównane zostanie z teorią zbiorów przybliżonych. Przedstawione zostaną różne metody dowodzenia twierdzeń.

Treść wykładu

  1. Teoria krat: posety, kraty, diagramy Hassego, algebry Kleene,
    L-algebry, algebry Boolea, algebry Posta. [4 godziny]

  2. Rachunek zdań: teoria dowodu, tautologie, systemy aksjomatów,
    twierdzenie o pełności. [2 godziny]

  3. Logika pierwszego rzędu: kwantyfikatory, języki pierwszego rzędu
    i ich interpretacje, formy normalne, twierdzenie o pełności, drzewa
    semantyczne, teoria modeli [3 godziny]

  4. Rezolucja: przegląd metod rezolucji [2 godziny]

  5. Logika probabilistyczna: probabilistyczne wnioskowanie, małe
    tablice, duże tablice [2 godzina]

  6. Teoria Dempstera-Shafera: funkcje wiary (belief), Bayesowskie
    funkcje wiary, reguła łączenia Dempstera, funkcje wspomagające [2
    godziny]

  7. Zbiory przybliżone: teoria zbiorów przybliżonych w porównaniu z
    teorią Dempstera-Shafera[3 godziny]

  8. Logika rozmyta: zbiory rozmyte, operacje na zbiorach rozmytych,
    funkcje rozmyte, zmienne lingwistyczne, zdania rozmyte, reguły rozmyte.
    [3 godziny]

  9. Logika modalna: semantyka, systemy aksjomatów, System S4, System
    S5 [3 godziny]

  10. Logiki wielowartościowe oraz logiki niemonotoniczne [3 godziny]

  11. Metody dowodzenia twierdzeń [2 godziny]

  12. Rozstrzygalność teorii logicznych. [1 godzina]


Treść ćwiczeń
W czasie ćwiczeń rozwiązywane będą proste problemy dotyczące nowych pojęć i metod przedstawionych na wykładzie.

Zakres projektu
Projekt dotyczyć będzie implementacji systemu typu Genzena sprawdzającego, czy zadana formuła rachunku zdań jest tautologią.

Poprzedniki
Typ poprzednikaNr poprzednikaKod poprzednikaNazwa poprzednika
Zalecany1103A-INxxx-ISP-MADMatematyka dyskretna
Zalecany1103B-INxxx-ISP-MADMatematyka dyskretna
Zalecany1103A-INxxx-ISP-LTMLogika i teoria mnogości
Zalecany1103B-INxxx-ISP-AISDIAlgorytmy i struktury danych
Zalecany1103C-INxxx-ISP-AISDIAlgorytmy i struktury danych

Literatura:

  • Multiple-Valued Logic Design: an introduction, George Epstein,
    IOP Publishing, 1993

  • Introduction to Mathematical Logic, Elliott Mendelson, CRC Press,
    Fifth Edition, 2010

  • Knowledge-based systems, Rajendra A. Akerkar & Priti S. Sajja,
    Jones and Bartlett Publishers, 2010

  • Logical Foundations of AI, Michael Genesereth & Nils Nilson,
    Morgan Kaufman, 1987

  • Managing Uncertainty in Expert Systems, Jerzy Grzymala-Busse,
    Kluwer, 1991

  • The Mathematics of Meta-Mathematics, Helena Rasiowa and Roman
    Sikorski, PWN, 1968

  • Logika Matematyczna w Informatyce, Ben-Ari Mordechai, WNT, 2006

  • Logika dla Informatykow, J. Tiuryn, J. Tyszkiewicz, P. Urzyczyn,
    Skrypt - http://www.mimuw.edu.pl/~urzy/calosc.pdf

Zajęcia w cyklu "rok akademicki 2017/2018 - sem. zimowy" (zakończony)

Okres: 2017-10-01 - 2018-02-18
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 15 godzin, 36 miejsc więcej informacji
Projekt, 15 godzin, 36 miejsc więcej informacji
Wykład, 30 godzin, 36 miejsc więcej informacji
Koordynatorzy: Zbigniew Raś
Prowadzący grup: (brak danych)
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin
Jednostka realizująca:

103200 - Instytut Informatyki

Zajęcia w cyklu "rok akademicki 2013/2014 - sem. letni" (zakończony)

Okres: 2014-02-24 - 2014-09-28
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 15 godzin, 36 miejsc więcej informacji
Projekt, 15 godzin, 36 miejsc więcej informacji
Wykład, 30 godzin, 36 miejsc więcej informacji
Koordynatorzy: Zbigniew Raś
Prowadzący grup: Zbigniew Raś
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin
Jednostka realizująca:

103200 - Instytut Informatyki

Zajęcia w cyklu "rok akademicki 2012/2013 - sem. letni" (zakończony)

Okres: 2013-02-20 - 2013-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 15 godzin, 36 miejsc więcej informacji
Projekt, 15 godzin, 36 miejsc więcej informacji
Wykład, 30 godzin, 36 miejsc więcej informacji
Koordynatorzy: Zbigniew Raś
Prowadzący grup: Zbigniew Raś
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin
Jednostka realizująca:

103200 - Instytut Informatyki

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Politechnika Warszawska.