01 Artificial Intelligence-Introduction.ppt

← Back to document page

1Artificial IntelligenceIntroduction2Where are we?#Title1Introduction2Propositional Logic3Predicate Logic4Reasoning5Search Methods6CommonKADS7Problem-Solving Methods8Planning9Software Agents10Rule Learning11Inductive logic Programming12Formal Concept Analysis13Neural Networks14Semantic Web and Services3Overview Course home page: (schedule, lecture notes, exercises, etc.) Textbooks: G. G rz, Rollinger, J. Schnee-berger (Hrsg.) Handbuch derk nstlichen Intelligenz OldenbourgVerlag, 2003, Fourth edition G. Luger Artificial intelligence Structures andStrategies for Complex Problem Solving Addision-Wesley, 2005, Fifth edition Lecturer(s): Dr. Anna Fensel Dr. Ioan Toma Tutor(s): Zaenal Akbar Lectures every week and Tutorials every two weeks Attendance of the tutorials is obligatory!

Syntax (formal language). First-order Logic, Dynamic Logic, … Valid Formulae Provable Formulae Formalization Semantics (truth function) Calculus (derivation / proof) Correctness Completeness Diagram by Uwe Keller

  Introduction, Intelligence, Artificial, Logic, Syntax, Semantics, 01 artificial intelligence introduction