FID3013 Knowledge Representation and Reasoning Strategies in Intelligent Systems 15.0 credits

Kunskapsrepresentation och resonemangsstrategier i intelligenta system

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.

Offering and execution

Course offering missing for current semester as well as for previous and coming semesters

Course information

Content and learning outcomes

Course contents *

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.

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.

Course Disposition

The course is carried out via literature studies using problem-based learning and via application of theories in a paper.

Literature and preparations

Specific prerequisites *

ID3007 Research in Artificial Intelligence 15.0 credits

Recommended prerequisites

No information inserted

Equipment

Computer

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.

    Opportunity to complete the requirements via supplementary examination

    No information inserted

    Opportunity to raise an approved grade via renewed examination

    No information inserted

    Examiner

    Anne Håkansson

    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 web

    Further information about the course can be found on the Course web at the link below. Information on the Course web will later be moved to this site.

    Course web FID3013

    Offered by

    EECS/Software and Computer Systems

    Main field of study *

    No information inserted

    Education cycle *

    Third cycle

    Add-on studies

    No information inserted

    Contact

    Anne Håkansson

    Postgraduate course

    Postgraduate courses at EECS/Software and Computer Systems