Learning Outcomes
Upon successful completion students will be able to
- Describe the foundational concepts of knowledge representation
- Model knowledge representation problems as search problems, constraint satisfaction
problems, and answer set programs.
- Understand the structure of Semantic Web and its basic tools.
Course Content
1. Introduction to propositional and first-order logic: truth assignments, logical consequence,
satisfiability, tautologies and contradictions, proof procedures, resolution, canonical forms,
quantification, interpretations, substitution, unification.
2. Logic programs: facts, rules, queries, recursion, compound terms, non-deterministic
programming, generate-and-test, search.3. Incomplete knowledge: non-monotonic reasoning, negation-as-failure, answer-set
programming, integrity constraints, modeling of hard problems, planning.
4. Semantic Web: data integration, meaning of symbols, RDF
5. Reasoning in Semantic Web: ontologies, OWL 2, description logics, inference algorithms for description logics.
