Online-Vorlesungen Logo


Informatik I

Informatik II

Informatik III

Künstliche Intelligenz

Programmierkurs I

Grundlagen der Programmierung


Betriebssystemarchitektur II

Operating Systems and System Programming


Seite 1 von 4


Künstliche Intelligenz

Informatik / Künstliche Intelligenz

Universität: TU Clausthal
Dozent: Prof. Dr. rer. nat. Jürgen Dix
Aufzeichnungsdatum: Sommersemester 2009
Sprache: Deutsch

Link zur Vorlesung!


Artificial Intelligence, Time and Space, History, Lecture Overview, What is AI?, From Plato to Zuse | History of AI, Intelligent Agents | Problem formulation, 1-state-problem, Multiple-state-problem, State space, Real-world-problems | Uninformed search, Best-First search, A* search | Heuristics, Limited memory, Iterative improvements | Online Search, LRTA*, Supervised Learning, Basics, Inductive learning, Decision trees | How should decision trees be learned?, Empiric approach, Ensemble Learning, Effect of boosting |
Ensemble Learning, PL1 Formalisations, PAC Learning | Sentential Logic | Sudoku, Calculi for SL, Wumpus in SL | Calculi for SL, Wumpus in SL, A Puzzle | The human brain, Neutral networks, The perceptron, Multi-layer feed-forward | Verification, Core Programming Language, Hoare Logic | Proof Calculi: Partial Correctness, Proof Calculi: Total Correctness, Sound and Completeness | Planning vs. Problem-Solving, Planning in the situation calculus, Stanford research institute problem solver (STRIPS), Partial-Order Planning | STRIPS, Action Description Language, Partial-Order Planning, POP for ADL, Knowledge Engineering, First Order Logic | Semantics of first order logic, Predicate- or funktion- symbols?, SIT-Calculus, Axioms about percepts, The Blocksworld, Choosing the predicates | Theorem Proving, Automated Theorem Proving, Popular ATP techniques, Prover9 Syntax, Software creation, Verification of critical section | Higher order logic, Theorem Proving, Resolution Calculus for FOL, Herbrand, Reduction to Herbrand models, Variants of Resolution, SLD Resolution | Herbrand, Reduction to Herbrand models, Variants of Resolution, SLD Resolution, Correctness of SLD resolution, Planning, Conditional Planning, Extensions | SHOP, Action-based planning, HTN-Planning, Search Tree, Nonmonotonic Reasoning, Nichtmonotone Phänomene, Two simple approaches, Closed World Assumption, Default Logic

Online Vorlesungen Bottom Line Grafik