|
Lecturer(s)
|
|
|
|
Course content
|
- Artificial intelligence: basic concepts - Algorithm and Turing?s machine - Turing?s test and natural language - Multi-agent systems and agents? communication - Expressive power of propositional logic - Expressive power of predicate logic - Expressive power of TIL
|
|
Learning activities and teaching methods
|
|
Lecture, Dialogic Lecture (Discussion, Dialog, Brainstorming)
|
|
Learning outcomes
|
The course aims to provide students with basic orientation in the field of artificial intelligence. They will be acquainted with the concept of algorithm based on Turing machine specifications. Students will be able to construct such Turing machines for simple character strings. Another objective of the course is acquisition of ability to analyse natural language with aid of prepositional logic, predicate logic 1 and transparent intensional logic.
Students obtain the general overview of the artificial intelligence issue, the skill of realization of algorithm as a program on Turing?s machine. Further they will obtain the skill of comparison the expressive power of logical systems and analyzing via these systems.
|
|
Prerequisites
|
unspecified
|
|
Assessment methods and criteria
|
Written exam
Two nonattendance are allowed, students must succesfully pass running tests (50%) and exam test (70%).
|
|
Recommended literature
|
-
Duží, M. - Materna, P. (2012). TIL jako procedurální logika. Bratislava.
-
Duží, M. (2012). Logika pro informatiky a příbuzné obory. Ostrava.
-
Jančar, P. (2007). Úvod do teoretické informatiky. Ostrava.
-
Svoboda, V. - Peregrin, J. (2009). Od jazyka k logice. Praha.
-
Svoboda, V. a kol. (2010). Logika a přirozený jazyk. Praha.
-
Štěpán, J. - Materna, P.-. (2003). Filozofická logika: Nová cesta?. Olomouc.
-
Turing, A. M. Computing machinery and intelligence. Mind 59, 1950, s. 433-460.
|