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

Podstawy sztucznej inteligencji

Informacje ogólne

Kod przedmiotu: 103A-INxxx-ISP-PSZT Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Podstawy sztucznej inteligencji
Jednostka: Wydział Elektroniki i Technik Informacyjnych
Grupy: ( Podstawy informatyki )-Informatyka-inż.-EITI
( Przedmioty obieralne )-Automatyka i robotyka-inż.-EITI
( Przedmioty podstawowe )-Inżynieria systemów informatycznych-mgr.-EITI
( Przedmioty podstawowe )-Systemy informacyjno-decyzyjne-mgr.-EITI
( Przedmioty techniczne )---EITI
Punkty ECTS i inne: 4.00
Język prowadzenia: polski
Jednostka decyzyjna:

103000 - Wydział Elektroniki i Technik Informacyjnych

Kod wydziałowy:

PSZT

Numer wersji:

1

Skrócony opis:

Wykład stanowi wyczerpującą prezentację zasad automatycznego wnioskowania oraz konstrukcji systemów wnioskujących w oparciu o logikę. Jednocześnie, wykład stanowi wprowadzenie do różnych gałęzi tzw. miękkiej sztucznej inteligencji (czy inteligencji obliczeniowej), takich jak algorytmy ewolucyjne, uczenie maszynowe i sieci neuronowe.

Pełny opis:

Wykład stanowi wyczerpującą prezentację zasad automatycznego
wnioskowania oraz konstrukcji systemów wnioskujących w oparciu o
logikę. Jednocześnie, wykład stanowi wprowadzenie do różnych gałęzi
tzw. miękkiej sztucznej inteligencji (czy inteligencji obliczeniowej),
takich jak algorytmy ewolucyjne, uczenie maszynowe i sieci neuronowe.

Treść wykładu
W1. Wprowadzenie (2 h)

Zadania sztucznej inteligencji - reprezentacja wiedzy i wnioskowanie;
rozwiązywanie problemów przez przeszukiwanie, uczenie maszynowe.
Zastosowania - systemy ekspertowe i agentowe.



Część I. Systemy logicznego wnioskowania (12 h)



W2. Baza wiedzy (1 h)

Reprezentacja wiedzy - składnia, semantyka. Wynikanie i wnioskowanie.
Języki reprezentacji wiedzy.



W3. Rachunek zdań (2 h)

Składnia i semantyka rachunku zdań. Reguły wnioskowania. Postaci
normalne zdań. Procedury wnioskowania w rachunku zdań.



W4. Logika predykatów (2 h)

Składnia i semantyka logiki predykatów. Uzgadnianie formuł. Postaci
normalne formuł Uogólnione reguły wnioskowania.



W5. Inżynieria wiedzy w logice predykatów (2 h)

Metodyka tworzenia bazy wiedzy. Rachunek sytuacyjny. Reprezentacja
pojęć - ontologia.



W6. Wnioskowanie w logice predykatów (3h)

Wnioskowanie w przód i wstecz. Wnioskowanie przez rezolucję. Poprawność
i zupełność procedur wnioskowania. Wnioskowanie jako zagadnienie
przeszukiwania. Efektywność wnioskowania.



W7. Systemy ekspertowe (2 h)

Systemy logicznego wnioskowania w praktyce. PROLOG. Systemy dowodzenia
twierdzeń. Systemy regułowe. Sieci semantyczne.



Część II. Przeszukiwanie



W8. Algorytmy ewolucyjne

Wprowadzenie do zagadnień przeszukiwania. Algorytm (1+1), algorytm
(mu+lambda).



W9. Algorytmy genetyczne

Kodowanie osobników, reprodukcja, krzyżowanie, mutacja.



W10. Gry dwuosobowe

Drzewo gry. Strategia minimaksowa. Przycinanie alfa-beta. Minimaks z
obcinaniem. Funkcja oceny stanu gry.



Część III. Uczenie maszynowe



W11. Uczenie na podstawie obserwacji - indukcja

Formy uczenia poprzez indukcję - uczenie klasyfikatora pojęć,
grupowanie (tworzenie pojęć), aproksymacja funkcji. Uczenie jako
przeszukiwanie przestrzeni hipotez - algorytm CAE.



W12. Sieci neuronowe

Zadanie aproksymacji. Definicja perceptronu wielowarstwowego MLP. Wpływ
wag na jakość aproksymacji. Uczenie sieci MLP ? wsteczna propagacja
błędu.



W14. Uczenie ze wzmocnieniem

Zadania uczenia ze wzmocnieniem. Model procesu decyzyjnego Markowa.
Algorytm TD dla uczenia funkcji użyteczności. Uczenie się strategii -
algorytm "Q-learning".



Zakres projektu
Zadania projektowe polegają implementacji programu w języku średniego
poziomu realizującego jeden z algorytmów prezentowanych na wykładzie.
Większość zadań projektowych dotyczy części I oraz II wykładu.
Przykłady tematów projektów to:

- maszyna wnioskująca w tył,

- maszyna wnioskująca przy użyciu rezolucji,

- optymalizacja przy użyciu algorytmu ewolucyjnego,

- program grający w grę taką jak warcaby, go, itp.,

- sieć neuronowa ucząca się aproksymacji funkcji.

Literatura:

    1. slajdy i in. materiały dostarczone przez wykładowców.

    2. Stuart J. Russel, Peter Norvig, "Artificial Intelligence: A
      Modern Approach", Prentice Hall, 2002.

    3. Jan J. Mulawka, "Systemy Ekspertowe", WNT 1996,

    4. Leszek Rutkowski, "Metody i Techniki Sztucznej Inteligencji", PWN
      2006,

Metody i kryteria oceniania:

Ocena z przedmiotu jest oparta na ocenie projektu i wynikach dwóch kolokwiów.

Zajęcia w cyklu "rok akademicki 2019/2020 - sem. letni" (w trakcie)

Okres: 2020-02-22 - 2020-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 100 miejsc więcej informacji
Wykład, 30 godzin, 100 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Rafał Biedrzycki, Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103200 - Instytut Informatyki

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

Okres: 2019-10-01 - 2020-02-21
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 150 miejsc więcej informacji
Wykład, 30 godzin, 150 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Grzegorz Blinowski, Stanisław Kozdrowski, Bartłomiej Twardowski, Paweł Wawrzyński, Piotr Wąsiewicz, Paweł Zawistowski
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103200 - Instytut Informatyki

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

Okres: 2019-02-18 - 2019-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 100 miejsc więcej informacji
Wykład, 30 godzin, 100 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Grzegorz Blinowski, Stanisław Kozdrowski, Tomasz Martyn, Bartłomiej Twardowski, Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103200 - Instytut Informatyki

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

Okres: 2018-10-01 - 2019-02-17
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 150 miejsc więcej informacji
Wykład, 30 godzin, 150 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Grzegorz Blinowski, Stanisław Kozdrowski, Bartłomiej Twardowski, Paweł Wawrzyński, Piotr Wąsiewicz, Paweł Zawistowski
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103200 - Instytut Informatyki

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

Okres: 2018-02-19 - 2018-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 100 miejsc więcej informacji
Wykład, 30 godzin, 100 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Grzegorz Blinowski, Tomasz Martyn, Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103200 - Instytut Informatyki

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ęć: Projekt, 15 godzin, 150 miejsc więcej informacji
Wykład, 30 godzin, 150 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103200 - Instytut Informatyki

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

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


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 100 miejsc więcej informacji
Wykład, 30 godzin, 100 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103100 - Instytut Automatyki i Informatyki Stosowanej

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

Okres: 2016-10-01 - 2017-02-19
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 147 miejsc więcej informacji
Wykład, 30 godzin, 147 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103100 - Instytut Automatyki i Informatyki Stosowanej

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

Okres: 2016-02-23 - 2016-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 100 miejsc więcej informacji
Wykład, 30 godzin, 100 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103100 - Instytut Automatyki i Informatyki Stosowanej

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

Okres: 2015-10-01 - 2016-02-22
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 146 miejsc więcej informacji
Wykład, 30 godzin, 146 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103100 - Instytut Automatyki i Informatyki Stosowanej

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

Okres: 2015-02-23 - 2015-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 100 miejsc więcej informacji
Wykład, 30 godzin, 100 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103100 - Instytut Automatyki i Informatyki Stosowanej

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

Okres: 2014-09-29 - 2015-02-22
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 130 miejsc więcej informacji
Wykład, 30 godzin, 130 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103100 - Instytut Automatyki i Informatyki Stosowanej

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ęć: Projekt, 15 godzin, 100 miejsc więcej informacji
Wykład, 30 godzin, 100 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103100 - Instytut Automatyki i Informatyki Stosowanej

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

Okres: 2013-10-01 - 2014-02-23
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 123 miejsc więcej informacji
Wykład, 30 godzin, 123 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103100 - Instytut Automatyki i Informatyki Stosowanej

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ęć: Projekt, 15 godzin, 100 miejsc więcej informacji
Wykład, 30 godzin, 100 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103100 - Instytut Automatyki i Informatyki Stosowanej

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

Okres: 2012-10-01 - 2013-02-19
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Projekt, 15 godzin, 115 miejsc więcej informacji
Wykład, 30 godzin, 115 miejsc więcej informacji
Koordynatorzy: Paweł Wawrzyński
Prowadzący grup: Paweł Wawrzyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna
Jednostka realizująca:

103100 - Instytut Automatyki i Informatyki Stosowanej

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