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 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
Content Full- and part-time intramural studies Part time extramural studies
Contact hours Independent work Contact hours Independent work
First-order logic-based intelligent robots and intelligent robotic systems. 2 2 0 0
Knowledge representation in first-order logic language in intelligent robots and robotic systems. 8 2 0 0
Application of inference rules in first order logic. 8 2 0 0
Application of output mechanisms in first order logic (direct and inverse inference, resolution). 8 4 0 0
Design of an agent that implements the functionality of intelligent robots using first-order logic. 8 4 0 0
Application of first-order logic in the development of planning agents for applications in robotic systems. 8 4 0 0
Application of higher order logic and situation calculations. 8 4 0 0
Application of logic in the development of multi-agent systems with applications in systems made of several robots. 6 2 0 0
Total: 56 24 0 0
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
Part CP ECTS Hours Tests
Lectures Practical Lab. Test Exam Work
1 2.0 3.0 1.0 1.0 0.0 *

[Extended course information PDF]