Code | DSP723 |
Name | Logical Foundations of Intelligent Robots |
Status | Compulsory/Courses of Limited Choice |
Level and type | Undergraduate Studies, Academic |
Field of study | Computer Science |
Faculty | |
Academic staff | Agris Ņikitenko, Maija Strautmane |
Credit points | 2.0 (3.0 ECTS) |
Parts | 1 |
Annotation |
The direction of artificial intelligence which has the goal to develop intelligent systems that think rationally is based on first-order logic. Many different intelligent systems are based on first-order logic, too. The course deals with intelligent robots and intelligent robotic systems that are based on first-order logic, construction of knowledge base, inference rules, reasoning such as forward and backward chaining, and resolution, agent design and planning with focus to intelligent robots. Insight is given on higher-order logics and logics for multiagent systems to which systems consisting of several robots belong.. |
Goals and objectives of the course in terms of competences and skills |
The goal of the course is to give knowledge about intelligent robots and intelligent robotic systems which are based on first-order logic and higher-order logics, and to acquire skills for development of such components as knowledge base and inference mechanism. |
Learning outcomes and assessment |
Students will know first-order logic-based structure of intelligent robotic systems - Practical work, questions of the theoretical part of examination Students will be able to develop a knowledge base for an intelligent robot using first-order logic - Practical work, defence of course work, questions of the theoretical part of examination Students will know inference rules and will be able to use reasoning in first-order logic for the development of intelligent robots - Practical work, defence of course work, questions of the theoretical part of examination Students will be able to design agents which implement functionality of intelligent robots using first-order logic - Practical work, defence of course work, questions of the theoretical part of examination Students will be able to use first-order logic in planning for the development of intelligent robots - Practical work, defence of course work, questions of the theoretical part of examination Students will know basics of higher-order logics and logics for multiagent robotic systems - Practical work, questions of the theoretical part of examination |
Course prerequisites | Students must know syntax and semantics of propositional and predicate logic. |