Artificial Intelligence
Informacje ogólne
Kod przedmiotu: | CII3SE12CI-Z17 |
Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
Nazwa przedmiotu: | Artificial Intelligence |
Jednostka: | Akademia Finansów i Biznesu Vistula |
Grupy: | |
Punkty ECTS i inne: |
5.00
|
Język prowadzenia: | angielski |
Skrócony opis: |
Kształtowanie podstawowego modelowania rozumowania w kontekście sztucznej inteligencji niezbędnego do zapisu, analizy i oprogramowania problemów spotykanych w informatyce (programowanie deklaratywne). |
Pełny opis: |
- Reguły wnioskowania i dedukcja. - Rachunek zdań. Tautologie. - Modele i spełnialność. Klauzule oraz rezolucja. - Logiczna konsekwencja i refutacja. - Rachunek predykatów (interpretacja, model, rezolucja i refutacja). - Algorytm unifikacyjny i drzewa SLD. - Przeszukiwania grafów acyklicznych w Prolog-u - zastosowania w A.I. - Arytmetyka symboliczna w Prolog-u. - Listy w Prolog-u. - Zagadki logiczne – zastosowania w A.I. - Przeszukiwanie grafów cyklicznych w Prolog-u – zastosowań. |
Literatura: |
Literatura podstawowa: 1. L. Sterling, I E. Shapiro, “The Art of Prolog”, MIT, 1994. Literatura uzupełniająca: I. Bratko, "Prolog Programming for Artificial Intelligence", Addison Wesley, 1990. |
Efekty uczenia się: |
Absolwent będzie posiadał rozszerzoną wiedzę w zakresie sztucznej inteligencji w tym programowania deklaratywnego (Prolog). Absolwent będzie posiadał umiejętność korzystania z technik i nowoczesnych narzędzi inżynieryjnych sztucznej inteligencji niezbędnych inżynierowi (Prolog). Absolwent będzie rozumiał wpływ technologii na życie i dobrostan ludzi w kontekście społecznym i globalnym. |
Metody i kryteria oceniania: |
Projekt i obecność na wykładach i ćwiczeniach |
Zajęcia w cyklu "Semestr zimowy 2017/2018" (zakończony)
Okres: | 2017-10-01 - 2018-02-15 |
zobacz plan zajęć |
Typ zajęć: |
Ćwiczenia, 30 godzin
Wykład, 30 godzin
|
|
Koordynatorzy: | Ryszard Kozera | |
Prowadzący grup: | Ryszard Kozera | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzamin/zaliczenie na ocenę/zal w skali zal-std2
Ćwiczenia - Egzamin/zaliczenie na ocenę/zal w skali zal-std2 Wykład - Egzamin/zaliczenie na ocenę/zal w skali zal-std2 |
Zajęcia w cyklu "Semestr zimowy 2018/2019" (zakończony)
Okres: | 2018-10-01 - 2019-02-01 |
zobacz plan zajęć |
Typ zajęć: |
Ćwiczenia, 30 godzin
Wykład, 30 godzin
|
|
Koordynatorzy: | Ryszard Kozera | |
Prowadzący grup: | Ryszard Kozera | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzamin/zaliczenie na ocenę/zal w skali zal-std2
Ćwiczenia - Egzamin/zaliczenie na ocenę/zal w skali zal-std2 Wykład - Egzamin/zaliczenie na ocenę/zal w skali zal-std2 |
Właścicielem praw autorskich jest Akademia Finansów i Biznesu Vistula.