Akademia Finansów i Biznesu Vistula - Centralny System Uwierzytelniania

Artificial Intelligence

Informacje ogólne

Kod przedmiotu:	CII6SE12CI-L18
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 i analizy 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ę:	Posiada uporządkowaną, teoretyczną wiedzę w zakresie sztucznej inteligencji. Zna podstawowe metody, techniki i narzędzia stosowane przy rozwiązywaniu prostych zadań informatycznych z zakresu analizy sztucznej inteligencji. Rozpoznaje problemy, do rozwiązania, których celowe jest stosowanie metod sztucznej inteligencji; potrafi wybrać i zastosować odpowiednie metody sztucznej inteligencji do rozwiązania zadań. Ma świadomość odpowiedzialności za pracę własną.
Metody i kryteria oceniania:	Projekt i/lub kolokwium

Zajęcia w cyklu "Semestr letni 2017/2018" (zakończony)

Okres:	2018-02-16 - 2018-07-15	Wybrany podział planu: ten tydzień cykl przedmiotu zobacz plan zajęć
Typ zajęć:	Ćwiczenia, 15 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.