Knowledge representation in information systems
Data is displayed for academic year: 2023./2024.
Lecturers
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
Literature
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
General
ID 154828
Winter semester
6 ECTS
L1 English Level
L1 e-Learning