Knowledge Representation and Reasoning

Wissensrepräsentation und Inferenz

Time and Place: Tuesday 16:15-17:45, Haberstrasse 2, 3.023

Lecture in the "Computational Engineering" Master and Computer Science Diploma (Hauptstudium Informatik) Programs

Die Vorlesung wird bei Bedarf in englischer Sprache gehalten

Prerequistes: Basic knowledge in programming (e.g. Algorithmik I, II) and logic

Certificate: It is possible to acquire a graded certification ("benoteter Schein")

Credit hours: 2 (SWS) ECTS: 2.5

Exercises: Tuesday 14:15-16:00, Haberstrasse 2, 3rd floor

CONTENTS

1. Introduction [.pdf]
2. What is Artificial Intelligence? [.pdf]
3. Fundamental Concepts: Knowledge, Concept Formation, Knowledge Structures [.pdf]
4. Representation and Reasoning [.pdf]
5. (Logical) Domain Modelling [.pdf]
   Example: Frame Representation of Circuits Example (Fikes, Stanford) (local copy) [.pdf]
6. The Language of First-Order Logic and Knowledge Representation [.pdf]
   • Excursus: A Constructive Introduction to First-Order Logic [.pdf]
7. Description Logics (DL): Structural DL [.pdf]
8. Propositional DL [.pdf]
9. DL, Knowledge Bases, Data Bases and Formal Ontologies Part 1 [.pdf] Part 2 [.pdf]
10. Computational Logics: Proof Procedures and Unification [.pdf]
    
    • Addition: Sintek/Decker, TRIPLE - A Query Language for the Semantic Web (local copy) [.pdf]
11. Non-monotonic Reasoning, Belief Revision and Reason Maintenance [.pdf]
12. Intensional and Modal Logic [.pdf]
13. Language, Logic and Semantics [.pdf]
14. Probability and Statistical Inference

Additional Teaching Material available on-line

Richard Fikes' Lecture (Stanford University): CS222: Knowledge Representation

Knowledge in Action (U. Toronto): Resources for Reiter's book, including code

Description Logics Tutorials by Ian Horrocks, in particular see

• Hybrid Logics and Ontology Languages. Talk at HyLo2006, Seattle,August 11th 2006
• OWL: A Description Logic Based Ontology Language. Talk at CISA, Edinburgh, March 30th 2006
• Reasoning with Expressive Description Logics: Theory and Practice. Invited talk given at the University of Leipzig, Germany, June, 2001
• Description Logics. Tutorial given (jointly with Ulrike Sattler) at IJCAR-2001, Siena, Italy, June 19, 2001

Description Logic Complexity Navigator

OIL ontology interface and interchange -- ECAI-00 slides by Frank van Harmelen et al.

OWL Web Ontology Language Guide

References:

Baader, F. et al. (Ed.): The Description Logic Handbook -- Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2001

Barwise, J., Etchemendy, J.: The Language of First-Order Logic. Tarski´s World 4.0. CSLI Lecture Notes No. 34, 3rd ed. Stanford, 1992/95

Barwise, J., Etchemendy, J.: Language, Proof and Logic.   CSLI Publications and Seven Bridges Press, New York, 2000

Bibel, W.: Wissensrepräsentation und Inferenz. Eine grundlegende Einführung. Braunschweig: Vieweg, 1993

Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Amsterdam etc.: Elsevier, 2004

Dean, Th., Allen, J., Aloimonos, Y.: Artificial Intelligence -- Theory and Practice. Redwood City, Ca.: Benjamin-Cummings, 1995

Donini, F.M. et al.: Reasoning in Description Logics. [.ps.gz]

Gabbay, D.: Elementary Logics: A Procedural Perspective. London: Prentice Hall Europe, 1998

Görz, G., Rollinger, C.-R., Schneeberger, J. (Hg.): Handbuch der Künstlichen Intelligenz. München: Oldenbourg, 2003

Genesereth, M.L., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Los Altos, CA: Morgan Kaufmann, 1987

Heinsohn, J., Socher-Ambrosius, R.: Wissensverarbeitung - Eine Einführung. Heidelberg: Spektrum Akad. Verlag, 1999

Nagao, M.: Knowledge and Inference. Boston: Academic Press, 1990

Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. Cambridge, MA: The MIT Press, 2001

Richter, M.M.: Prinzipien der Künstlichen Intelligenz. Stuttgart: Teubner, 1992

Russell, S., Norvig, P.: Artificial Intelligence --- A Modern Approach. Upper Saddle River, New Jersey: Prentice Hall, 2002

Software:

Theorem Provers for Dialogue Logic

The Protégé Ontology Editor and Knowledge Acquisition System (KSL, Stanford University)

Description Logic Reasoners

The RACER Description Logic System (U. Hamburg)

The FaCT Description Logic System (U. Manchester)

The CLASSIC Description Logic System (faui80: in directory /usr/local/classic2.3)

The Wines Data Base in CLASSIC

Database of Existing Mechanized Reasoning Systems

Software from AI Books

CMU Artificial Intelligence Repository

Useful Links:

The Official Description Logics Home Page

Information Management Group (U. Manchester), see Ontologies and Semantic Web