Knowledge representation in information systems
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.
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
L1 English Level