Knowledge representation in information systems

Course Description

The notion and structure of a rational agent. Knowledge-based agents and problem solving paradigms. Physical symbol system hypothesis. Knowledge representation and reasoning mechanisms in formal logic. Reduction to logic programming, Prolog and Datalog. Natural reasoning through rule-based representation and chaining inference. Current approaches to representation and reasoning with imperfect information. Probabilistic logic. Probabilistic and decision networks. Frames and semantic networks. Description logic, ontologies and knowledge representation on the Web.

Study Programmes

Postgraduate doctoral study programme


S.J.Russell and P.Norvig (2009.), Artificial Intelligence: A Modern Approach, 3 ed., Pearson
Ronald J. Brachman and Hector J. Levesque (2004.), Knowledge Representation and Reasoning, Morgan Kaufmann
Frank van Harmelen, Vladimir Lifschitz and Bruce Porter (Eds) (2008.), Handbook of Knowledge Representation, Elsevier Science

For students


ID 154828
  Winter semester
L1 English Level
L1 e-Learning