☰
☰
Menu
Logowanie
Pomoc
WEB S4A
Telefony
Pracownicy
Publikacje
Struktura
Rozkład zajęć
Plan studiów
Przedmioty
Prace dyplomowe
Biznes
e-KUL
WEB S4A
Polski (pl)
English (en)
Sztuczna inteligencja (ćwiczenia) - 2019/2020
Opis zajęć
Informacje ogólne
Prowadzący:
dr Michał Horodelski
Organizator:
Wydział Nauk Ścisłych i Nauk o Zdrowiu - Instytut Matematyki, Informatyki i Architektury Krajobrazu
Liczba godzin tydzień/semestr:
2/30
Język wykładowy:
Język polski
Cele przedmiotu
1. Zapoznanie studentów z podstawami dowodzenia prawdziwości zdań i formuł, metodą
tabelkową, łańcuchem dowodowym, refutacją w zakresie sztucznej inteligencji.
2. Zapoznanie studentów z programowaniem deklaratywnym w wybranym języku programowania
3. Zapoznanie studentów z automatyzacją dowodzenia twierdzeń.
4. Praca z dokumentacją.
5. Praktyka zastosowań metod sztucznej inteligencji
Wymagania wstępne
PRZEDMIOTY WPROWADZAJĄCE ORAZ WYMAGANIA WSTĘPNE:
1. Logika. Klasyczny rachunek zdań. Rachunek predykatów.
2. Algebra liniowa z geometrią analityczną
3. Matematyka dyskretna
4. Wstęp do informatyki
Efekty kształcenia dla przedmiotu
WIEDZA
W1 Rozumie współczesne znaczenie informatyki w zakresie sztucznej inteligencji i jej zastosowań K_W01
W2 Ma ogólną wiedzę z zakresu sztucznej inteligencji K_W06
UMIEJĘTNOŚCI:
U1 Potrafi samodzielnie pozyskiwać i wykorzystywać informacje pomocne w rozwiązaniu określonych problemów informatycznych (w tym SI) z dokumentacji technicznej, plików pomocy oraz zasobów Internetu i dostępnej literatury K_U02
U2 Potrafi posługiwać się słownictwem specjalistycznym z zakresu informatyki i sztucznej inteligencji K_U04
U3 Potrafi stosować podstawowe algorytmy rekurencyjne, sortowania i przeszukiwania oraz ich implementacje w wybranym deklaratywnym języku programowania i środowisku programistycznym K_U09
U4 Potrafi stosować struktury danych, zaimplementować je i wykonywać na nich operacje K_U10
U5 Potrafi stosować podstawowe zagadnienia sztucznej inteligencji K_U16
U6 Potrafi stosować mechanizmy wspomagania decyzji przy rozwiązywaniu problemów praktycznych K_U18
U7 Potrafi posługiwać się językiem angielskim w stopniu umożliwiającym korzystanie z dokumentacji oprogramowania i sprzętu K_U23
KOMPETENCJE SPOŁECZNE
K1 Ma świadomość poziomu swojej wiedzy i umiejętności, rozumie potrzebę dokształcania się i podnoszenia kompetencji zawodowych i osobistych K_K01
K2 Potrafi komunikować się przy użyciu różnych technik w środowisku zawodowym K_K07
·
Metody dydaktyczne
Ćwiczeniowa, klasyczna problemowa, zajęcia prowadzone w pracowni komputerowej wyposażonej w rzutnik multimedialny;
indywidualne zajęcia przy komputerze;
Treści programowe przedmiotu
Treści programowe przedmiotu
1 Wprowadzenie do sztucznej inteligencji.
2 Klasyczny rachunek zdań w SI.
3 Rachunek predykatów w SI.
4 Algorytm unifikacji.
5 Programowanie w Prologu.
6 Listy i arytmetyka symboliczna.
7 Zagadki logiczne i symulacja gier.
8 Teoria Herbranda.
9 Poprawność i Zupełność.
10 Wyszukiwanie i drzewa SLD.
Kryteria oceny i sposoby weryfikacji zakładanych efektów kształcenia
Na ocenę 5 student potrafi
- dyskutować na temat współczesnego znaczenia sztucznej inteligencji i jej kierunku rozwoju
- dyskutować na temat poznanych pojęć podstawowych i rozszerzonych z zakresu sztucznej inteligencji
- biegle korzysta z wiedzy poznanej na zajęciach oraz z dodatkowych źródeł
- dyskutować i wykorzystywać poznane pojęcia z zakresu sztucznej inteligencji
- stosować i implementować algorytmy sortowania i wyszukiwania w programowaniu deklaratywnym w zakresie rozszerzonym
- biegle korzystać ze struktur danych w programowaniu deklaratywnym
- biegle korzystać z podstawowych zagadnień sztucznej inteligencji
- biegle korzysta z anglojęzycznych pojęć sztucznej inteligencji
- rozszerzać zdobytą wiedzę na temat sztucznej inteligencji i podnosić swoje kompetencje w tym zakresie
- dyskutować na temat sztucznej inteligencji w zakresie rozszerzonym
Na ocenę 4 student potrafi:
- rozmawiać na temat współczesnego znaczenia sztucznej inteligencji i jej kierunku rozwoju
- przytoczyć i objaśnić podstawowe pojęcia z zakresu sztucznej inteligencji
- wykorzystać poznaną wiedzę oraz wyszukać informacje w dokumentacji technicznej i innych pomocniczych materiałach
- przytoczyć, objaśnić i wykorzystać podstawowe pojęcia z zakresu sztucznej inteligencji
- stosować i implementować algorytmy sortowania i wyszukiwania w programowaniu deklaratywnym w zakresie podstawowym
- stosować i zaimplementować struktury danych w programowaniu deklaratywnym
- stosować i zaimplementować podstawowe zagadnienia sztucznej inteligencji
- zna podstawowe pojęcia anglojęzyczne sztucznej inteligencji oraz potrafi posługiwać się nimi
- określić poziom swojej wiedzy oraz ma potrzebę dokształcania się na na temat sztucznej inteligencji
- rozmawiać na temat sztucznej inteligencji w zakresie rozszerzonym
Na ocenę 3 student potrafi:
- rozmawiać na temat współczesnego znaczenia sztucznej inteligencji
- przytoczyć podstawowe pojęcia z zakresu sztucznej inteligencji
- wykorzystać poznaną wiedzę w stopniu podstawowym
- przytoczyć i wykorzystać podstawowe pojęcia z zakresu sztucznej inteligencji
- stosować algorytmy sortowania i wyszukiwania w programowaniu deklaratywnym w zakresie podstawowym
- stosować struktury danych w programowaniu deklaratywnym
- stosować podstawowe zagadnienia sztucznej inteligencji
- zna podstawowe pojęcia anglojęzyczne sztucznej inteligencji
- określić poziom swojej wiedzy na temat sztucznej inteligencji
-rozmawiać na temat sztucznej inteligencji w zakresie podstawowym
WYMAGANIA DOTYCZĄCE POMOCY DYDAKTYCZNYCH:
laboratorium, rzutnik multimedialny
FORMA I WARUNKI ZALICZENIA:
kolokwium 1 - 50%, kolokwium 2 lub projekt - 50%, prace domowe - 10%.
Skala ocen: poniżej 50% niedostateczny (2.0).
Szczegółowe zasady oceniania są podawane studentom z każdą edycją przedmiotu.
W1, W2, U1, U2, U3, U4, U5, U6, U7 – kolokwium, przygotowanie do zajęć
K1, K2 – praca i aktywność na zajęciach
GODZINOWE EKWIWALENTY PUNKTÓW ECTS
Godziny realizowane w ramach programu studiów
Wykład 30, Ćwiczenia 30
Łączna liczba godzin z udziałem nauczyciela akademickiego 60
Liczba punktów ECTS z udziałem nauczyciela akademickiego 2
Praca własna
Przygotowanie do zajęć 30
Studiowanie literatury 15
Przygotowanie do kolokwiów i egzaminu 25
Łączna liczba godzin 70
Liczba punktów ECTS 3
Sumaryczna liczba punktów ECTS dla modułu 5
Literatura podstawowa i uzupełniająca
LITERATURA PODSTAWOWA:
1. R. Kozera, \"Artificial Intelligence and Logic Programming\" - wykład
2. G. Royle, \"Logic programming\", 1999
Literatura uzupełniająca:
1. J. Wielemaker, \"SWI Prolog Reference Manual\", Updated for version 6.6.6, May 2014
Kierunek studiów: Informatyka (stacjonarne I stopnia)
Lokalizacja w planach rocznych:
Etap:
Rok II - Semestr 4
Punkty ECTS: 0
Forma zaliczenia: Zal. na ocenę
Kierunek studiów: Matematyka (stacjonarne I stopnia)
Lokalizacja w planach rocznych:
Etap:
Rok I - Semestr 2
Punkty ECTS: 0
Forma zaliczenia: Zal. na ocenę
Etap:
Rok II - Semestr 4
Punkty ECTS: 0
Forma zaliczenia: Zal. na ocenę
Drukuj