DSP723 Logical Foundations of Intelligent Robots

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.

[Extended course information PDF]