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 study 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 a focus on intelligent robots. Insight is given on higher-order logics and logics for multiagent systems to which systems consisting of several robots belong.. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
Contents |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
Goals and objectives of the course in terms of competences and skills |
The aim of the study course is to provide students with knowledge of intelligent robots and robotic systems rooted in first and higher-order logic and to develop the ability to develop such components of the system as the knowledge base and inference mechanism. Tasks of the study course are to provide knowledge and skills: - for first and higher-order logic applications; - for retrieving knowledge using first and higher-order logic; - in the use of first and higher-order logic judgments; - in the use of situation invoices; - for the use of logic in robotic systems. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
Learning outcomes and assessment |
Knows first-order logic-based structure of intelligent robotic systems. - Practical work, questions of the theoretical part of examination. Is 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. Knows inference rules and is 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. Is able to design agents which implement the functionality of intelligent robots using first-order logic. - Practical work, defence of course work, questions of the theoretical part of examination. Is 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. Knows basics of higher-order logics and logics for multiagent robotic systems. - Practical work, questions of the theoretical part of examination. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
Evaluation criteria of study results |
Practical work - 50%
Defence of course work - 25% Exam - 25% |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
Course prerequisites | Students must know syntax and semantics of propositional and predicate logic. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
Course planning |
|