Hide menu

Knowledge Representation

FDA173, 2004HT

Status Archive
School National Graduate School in Computer Science (CUGS)
Division AIICS
Owner Patrick Doherty
Homepage http://www.ida.liu.se/zope/groups/cugs/CCC-KnowledgeRepresentation

  Log in  

Course plan


Recommended for

The intended audience for this course is all CUGS students interested in topics in Knowledge Representation with a background in logic and artificial intelligence.

The course was last given



Any software or physical system exhibiting sophisticated or intelligent behavior requires knowledge about itself and its competences, knowledge about the environment in which it interacts, and knowledge about other agents and their competences. The topic of knowledge representation covers the ontological issues involved in the modeling of intelligent artifacts and their embedding environments, the representation of required knowledge as data structures in a computer, and its usage by intelligent artifacts, most often in the form of implicit or explicit inference mechanisms. The goal of this course is to provide a framework for understanding different approaches to knowledge representation, instantiate the framework with a number of existing approaches to knowledge representation, and to demonstrate the use of such techniques in and by intelligent artifacts.


Introductory Course in Artificial Intelligence

CUGS Logic I


Please refer to the course goal section for a general content description. A more specific content description is contained in the points below:


Philosophical, cognitive and computational perspectives concerning knowledge representation.

Modeling intelligent and physical artifacts and their embedding environments. Distinctions and similarities between quantitative and qualitative approaches to modeling complex systems.

Different approaches to knowledge representation; logic-based approaches, procedural-based approaches, mixed approaches. Exact versus inexact inference techniques.

Ontological issues; time, space, quantity, quality, epistemic and ontic properties of agents, approximate vs crisp concepts, etc.

Overview of some specific techniques; temporal logics, description logics, nonmonotonic logics, frames, semantic networks, inheritance hierarchies, qualitative simulation, production rules, etc.

Some applications; WITAS UAV project, logic-based planning; semantic web.





Patrick Doherty



3.0 p

Organized by

Department of Computer Science, Linköping University


Page responsible: Director of Graduate Studies
Last updated: 2012-05-03