|
Vorlesungsverzeichnis >> Technische Fakultät (TF) >>
|
Knowledge Representation and Reasoning // Wissensrepräsentation und Inferenz (KRR)
- Dozent/in
- Prof. Dr.-Ing. Günther Görz
- Angaben
- Vorlesung
2 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 2,5
nur Fachstudium, Sprache Deutsch oder Englisch, Die Vorlesung wird bei Bedarf in englischer Sprache gehalten; Änderung der Zeit möglich
Zeit und Ort: n.V.; Bemerkung zu Zeit und Ort: Mi. 10:15-11:45, Haberstrasse 2, 3.023 (Seminarraum).
- Studienfächer / Studienrichtungen
- WPF INF-BA-V-KI 4-6 (ECTS-Credits: 2,5)
WPF INF-MA 1-4 (ECTS-Credits: 2,5)
- ECTS-Informationen:
- Credits: 2,5
- Prerequisites
- Knowledge Representation and Reasoning
- Contents
- Introduction /
What is Artificial Intelligence? /
Fundamental Concepts: Knowledge, Concept Formation, Knowledge Structures /
Representation and Reasoning /
(Logical) Domain Modelling /
The Language of First-Order Logic and Knowledge Representation /
Description Logics (DL): Structural DL /
Propositional DL /
DL, Knowledge Bases, Data Bases and Formal Ontologies /
Computational Logics: Proof Procedures and Unification /
Non-monotonic Reasoning, Belief Revision and Reason Maintenance /
Intensional and Modal Logic /
Language, Logic and Semantics /
Probability and Statistical Inference
- Literature
- Baader, F. et al. (Ed.): The Description Logic Handbook -- Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2001 /
Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Amsterdam etc.: Elsevier, 2004 /
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 /
Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. Cambridge, MA: The MIT Press, 2001
- Zusätzliche Informationen
- Schlagwörter: Logik Wissensrepraesentation Modellierung
Erwartete Teilnehmerzahl: 20
www: http://www8.informatik.uni-erlangen.de/IMMD8/Lectures/KRR/
- Verwendung in folgenden UnivIS-Modulen
- Startsemester SS 2012:
- Knowledge Representation and Reasoning // Wissensrepräsentation und Inferenz (KRR)
- Institution: Professur für Künstliche Intelligenz
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|