Course: Artificial Intelligence

« Back
Course title Artificial Intelligence
Course code KKY/UI
Organizational form of instruction Lecture + Seminar
Level of course Bachelor
Year of study not specified
Semester Winter
Number of ECTS credits 6
Language of instruction Czech, English, French
Status of course Compulsory, Compulsory-optional
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Course availability The course is available to visiting students
Lecturer(s)
  • Ircing Pavel, Doc. Ing. Ph.D.
  • Psutka Josef, Prof. Ing. CSc.
  • Stanislav Petr, Ing.
Course content
Introduction to AI. Solution of problems by searching the state space and by searching decompositions. Playing games by searching trees (Minimax procedure, Alpha-Beta pruning). Knowledge representation, propositional logic, predicate logic, resolution. Prolog. Production rules, semantic nets, frames, scripts.

Learning activities and teaching methods
Multimedia supported teaching, Task-based study method, Seminar classes, Individual study, Lecture
  • Contact hours - 39 hours per semester
  • Individual project (40) - 10 hours per semester
  • Practical training (number of hours) - 26 hours per semester
  • Preparation for comprehensive test (10-40) - 20 hours per semester
  • Preparation for an examination (30-60) - 60 hours per semester
  • Presentation preparation (report) (1-10) - 5 hours per semester
prerequisite
professional knowledge
disponovat základními znalostmi z matematické analýzy
professional skills
srozumitelně formulovat problém
disponovat základními znalostmi matematické analýzy
general eligibility
N/A
N/A
N/A
learning outcomes
professional knowledge
disponovat znalostmi metod automatického řešení úloh
disponovat znalostmi metod reprezentace znalostí - logické formalismy
disponovat znalostmi metod reprzentace znalostí - relační formalismy
disponovat znalostmi metod automatického odvozování znalostí
aplikovat metody automatického hraní her
professional skills
aktivně používat základní přístupy k reprezentaci znalostí (logiské a relační formalismy)
řešit nestandardní úlohy reálného světa metodami automatického řešení úloh
disponovat základními přístupy pro automatické hraní her pro 2 hráče
srozumitelně formulovat a formalizovat problémy vhodné pro automatické řešení úloh
general eligibility
N/A
N/A
teaching methods
professional knowledge
Lecture
Multimedia supported teaching
Task-based study method
Individual study
Seminar classes
professional skills
Seminar
Lecture with practical applications
general eligibility
Lecture
Seminar
Task-based study method
assessment methods
professional knowledge
Combined exam
Individual presentation at a seminar
Seminar work
schopnost uplatnit znalosti při automatickém řešení úloh
professional skills
Combined exam
Oral exam
Skills demonstration during practicum
general eligibility
Skills demonstration during practicum
Continuous assessment
Combined exam
Recommended literature
  • Mařík, Vladimír a kol. Umělá inteligence (2). Academia, Praha, 1997.
  • Mařík, Vladimír. Umělá inteligence (1). Academia, Praha, 1993. ISBN 80-200-0496-3.
  • Psutka, Josef; Kepka, Jiří. Umělá inteligence reprezentace znalostí. Plzeň : ZČU, 1994. ISBN 80-7082-126-4.


Study plans that include the course
Faculty Study plan (Version) Branch of study Category Recommended year of study Recommended semester
Faculty of Applied Sciences Cybernetics and Control Engineering (2017) Special and interdisciplinary fields 2 Winter
Faculty of Applied Sciences Cybernetics and Control Engineering (2012) Special and interdisciplinary fields 2 Winter
Faculty of Applied Sciences Cybernetics and Control Engineering (2013) Special and interdisciplinary fields 2 Winter
Faculty of Applied Sciences Cybernetics and Control Engineering (2016) Special and interdisciplinary fields 2 Winter
Faculty of Economics Information Systems Management (2013) Economy 2 Winter
Faculty of Applied Sciences Cybernetics and Control Engineering (2016) Special and interdisciplinary fields 2 Winter
Faculty of Applied Sciences Scientific Computing and Modelling (2011) Mathematics courses 3 Winter
Faculty of Applied Sciences Cybernetics and Control Engineering (2017) Special and interdisciplinary fields 2 Winter