The course is divided in knowledge representation and reasoning strategies, which are integrated in final work. These parts are graded via six seminars and a conference/journal paper.
FID3013 Knowledge Representation and Reasoning Strategies in Intelligent Systems 15.0 credits
Information per course offering
Course offerings are missing for current or upcoming semesters.
Course syllabus as PDF
Please note: all information from the Course syllabus is available on this page in an accessible format.
Course syllabus FID3013 (Spring 2014–)Headings with content from the Course syllabus FID3013 (Spring 2014–) are denoted with an asterisk ( )
Content and learning outcomes
Course contents
Intended learning outcomes
The course explores theories of knowledge representation including First-Order Logic. The course also explores reasoning strategies and systems emphasising Horn Clauses, and Procedural and Object-oriented control of reasoning with facts and rules.
After the course, the students shall be able to discuss and apply theories for knowledge representation and reasoning strategies in intelligent systems.
The student must be able to explain knowledge representation and reasoning strategies, such as first-order logic and reasoning with rules, must apply these in own research. The results must be presented in a journal publication in an international well-known journal, such as Elsevier Information Science or similar.
Literature and preparations
Specific prerequisites
ID3007 Research in Artificial Intelligence 15.0 credits
Literature
Knowledge Representation and Reasoning, 1st Edition
Author(s) :
Brachman & Levesque
Release Date: 17 Jun 2004
Imprint: Morgan Kaufmann
Print Book ISBN : 9781558609327
eBook ISBN : 9780080489322
Knowledge Representation and Reasoning, 1st Edition
Author(s) :
Brachman & Levesque
Release Date: 17 Jun 2004
Imprint: Morgan Kaufmann
Print Book ISBN : 9781558609327
eBook ISBN : 9780080489322
Pages: 381
A book that covers the course goals
Examination and completion
If the course is discontinued, students may request to be examined during the following two academic years.
Grading scale
P, F
Examination
Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.
The examiner may apply another examination format when re-examining individual students.
Other requirements for final grade
Six well-performed seminars and a paper published via a conference or journal addressing knowledge representation and reasoning strategy in own research.
Examiner
Ethical approach
- All members of a group are responsible for the group's work.
- In any assessment, every student shall honestly disclose any help received and sources used.
- In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.
Further information
Course room in Canvas
Registered students find further information about the implementation of the course in the course room in Canvas. A link to the course room can be found under the tab Studies in the Personal menu at the start of the course.
Offered by
Main field of study
This course does not belong to any Main field of study.
Education cycle
Third cycle