Foundations of Artificial Intelligence IV
Foundations of Artificial Intelligence IV
The course "Foundations of Artificial Intelligence IV" introduces into the representation of conceptual knowledge using ontologies. The course explains the theoretical foundations of modern ontological languages such as OWL that are based on description logics developed within AI.
The course discusses different types of knowledge and motivates the need to represent conceptual knowledge in an AI system. It touches upon the history of knowledge representation in AI and its roots in philosophical logic. Description logics as well as ABox and TBox reasoning are introduced. The description logic ALC is discussed in detail as a foundational language for many different ontological representations. The course proceeds with an overview of web ontologies, the semantic web, and the OWL standard. A discussion of challenges in knowledge representation relating to non-monotonic reasoning and dealing with exceptions concludes the course.
The course is based on the textbook by Stuart Russell and Peter Norvig: Introduction to Artificial Intelligence - A Modern Approach, 3rd edition, 2012, or 4th edition 2020. The 3rd edition is also available in German: Stuart Russell und Peter Norvig: Künstliche Intelligenz - Ein Moderner Ansatz, 3. aktualisierte Auflage, Pearson 2012. The course also uses additional material from the books R. Brachman, H. Levesque: Knowledge Representation & Reasoning, Morgan Kaufmann, 2004 and F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2nd edition, 2007.
