Nazwa przedmiotu:
Programming in Logic and Symbolic Programming
Koordynator przedmiotu:
Dr inż. Felicja Okulicka-Dłużewska
Status przedmiotu:
Obowiązkowy
Poziom kształcenia:
Studia II stopnia
Program:
Computer Science and Information Systems
Grupa przedmiotów:
Obligatory
Kod przedmiotu:
1120-INSZI-MSA-0117
Semestr nominalny:
2 / rok ak. 2023/2024
Liczba punktów ECTS:
4
Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
.
Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
.
Język prowadzenia zajęć:
angielski
Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym:
.
Formy zajęć i ich wymiar w semestrze:
  • Wykład15h
  • Ćwiczenia0h
  • Laboratorium0h
  • Projekt30h
  • Lekcje komputerowe0h
Wymagania wstępne:
Artificial intelligence fundamentals
Limit liczby studentów:
Bez limitu
Cel przedmiotu:
Provide students with important notions and methods of languages for Artificial Intelligence.
Treści kształcenia:
Basic knowledge on programming in Lisp. Introduction to symbolic programs. Logic in Prolog. Automated reasoning. Data bases in Prolog. Simple expert systems.
Metody oceny:
During laboratories students prepare 4 programs: 2 in Lisp and 2 in Prolog.
Egzamin:
nie
Literatura:
.
Witryna www przedmiotu:
brak
Uwagi:
.

Efekty uczenia się

Profil ogólnoakademicki - wiedza

Charakterystyka W01
Knows the basic logic systems applied in Artificial Intelligence and methods of knowledge representation
Weryfikacja: written test
Powiązane charakterystyki kierunkowe: I2AI_W03, I2AI_W04
Powiązane charakterystyki obszarowe:
Charakterystyka W02
Knows Lisp and Prolog or other languages for Artificial Intelligence
Weryfikacja: written test
Powiązane charakterystyki kierunkowe: I2AI_W05
Powiązane charakterystyki obszarowe:

Profil ogólnoakademicki - umiejętności

Charakterystyka U01
See the restrictions and weakness of existing computer methods
Weryfikacja: graded tasks
Powiązane charakterystyki kierunkowe: I2_U05
Powiązane charakterystyki obszarowe:
Charakterystyka U02
Can apply the automatic reasoning methods and resolution, and can create model for heuristic search of graphs (OR, AND/OR)
Weryfikacja: graded tasks
Powiązane charakterystyki kierunkowe: I2AI_U04, I2AI_U05
Powiązane charakterystyki obszarowe:

Profil ogólnoakademicki - kompetencje społeczne

Charakterystyka K01
Is responsible for the problems solved by the group
Weryfikacja: graded tasks
Powiązane charakterystyki kierunkowe: I2_K05
Powiązane charakterystyki obszarowe: