2-IKV-131 Representation, Knowledge and Reasoning

Evaluation during the course: projects, test

Concluding evaluation: exam

Subject aim: Provide students with introduction to theory of knowledge representation, developed within artificial intelligence and lead students towards applying/modifying it for the purpose of studying cognition.

Brief curriculum of the subject:

Logic basics. Relation databases. Logic programming. Nonmonotonous reasoning. Semantics of stable models. Default theories. Hierarchical nets, ontologies, description logics. Abduction. Induction. Dynamic aspects of knowledge representation. Revisions. Applications for cognitive science.

Literature:

J. Šefránek: Inteligencia ako výpočet. IRIS Bratislava 2002 (in Slovak).

Language in which the subject is taught: Slovak

Date of the last sheet revision: 4.7.2007