Akademia Finansów i Biznesu Vistula - Centralny System Uwierzytelniania
Strona główna

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 Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.
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
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
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
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
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
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Akademia Finansów i Biznesu Vistula.
ul. Stokłosy 3
02-787 Warszawa
tel: +48 22 45 72 300 https://vistula.edu.pl/
kontakt deklaracja dostępności USOSweb 7.0.0.0-1 (2023-09-06)