Einführung in die KI

Was ist KI?
Begriff geprägt von John McCarthy 1956
Einführung in die KI
(Dartmouth workshop)
Artificial intelligence is the science of making
machines do things that would require intelligence if
done by men.
Marvin Minsky
Künstliche Intelligenz (KI) lässt sich als Zweig der
Informatik definieren, der mit der Automatisierung
intelligenten Verhaltens befasst ist.
George F. Luger
Was ist KI?
[KI definieren wir] als Sammlung von Methoden, die
von KI-Wissenschaftlern untersucht werden.
George F. Luger
Systeme die wie Menschen/rational denken/agieren.
Stuart Russel, Peter Norvig
Lars Knipping
SS07
KI als „moving target“
Tesler‘s Theorem: ”AI is whatever hasn‘t been done yet“,
Douglas R. Hofstadter
Das ist KI!
Künstliche Intelligenz ist, was wir in diesem Kurs behandeln.
Lars Knipping (frei nach R. Rojas)
Artificial intelligence is the study of computer problems
that have not been solved,
Raymond Kurzweil
Bsp. für ehemalige KI-Themen:
Computer-Algebrasysteme (CAS), Compiler
Turing-Test
Ansätze
Computing Machinery and Intelligence, 1950
Symbolische KI (GOFAI)
„Imitationsspiel“
Loebner-Preis seit 1990
Konnektivistische (subsymbolische) KI
Künstliche Neuronale Netze
Warren McCulloch, Walter Pitts 1943
Das „perceptron“, Frank Rosenblatt 1959
Marvin Minsky & Seymour Papert: „Perceptrons“ 1969 als
vernichtende Kritik
Wiederaufleben Ende der 80er
1
Strömungen der KI
Starke KI
Vorstellung des Menschen als Maschine:
„Fleischmaschine“ Gehirn
Kreative Intelligenz (mit Bewusstsein + Emotionen)
erschaffen
Visionär
Schwache KI
Konkrete Anwendungsprobleme
Simulation von Intelligenz
Themen der KI
Wissensrepräsentation & -modellierung
Spiele (Schach, Dame, Go, Game Engines, ...)
Automatisches Beweisen
Spracherkennung & -verarbeitung
Schrifterkennung
Computervision
Menschliches Verhalten modellieren
Robotik, Handlungsplanung (z.B. Robocup, Grand Challenge)
Maschinelles Lernen
Diagnose, Expertensysteme
Suchen in Zustandsräumen
Agentensysteme
...
Flexibles Verhalten für Maschinen?
And the strange flavor of AI work is that people try to put together long
sets of rules in strict formalisms which tell inflexible machines how to be
flexible.
Douglas R. Hofstadter
Birds can fly, unless they are penguins and ostriches, or if they are
happen to be dead, or have broken wings, or have their feet stuck in
cement, or have undergone an experience so dreadful as render them
psychologically incapable of flight.
Marvin Minsky, über die Schwierigkeit exaktes Wissen auszudrücken
Programmiersprachen für KI
LISP
„List processing“
John McCarthy, 1958
λ-Kalkül, funktional
PROLOG
„Programmation en logique“
Alain Colmerauer, Anfang 70er
Deklarativ
Closed world assumption
2