4. Geschichte
Claude Shannon (1948) veröffentlicht die
Theorie über Kommunikation:
Optimale Datenübertragung
Das Bit ist geboren
John Backus (1952) entwickelt Speedcoding für
den IBM 701
Bob Patrick
Owen Mock
Betriebssystem GM-NAA I/O System
für den IBM 704
MIT (1956) Experimente mit Keyboards
Sperry Rand (1957) Compiler A-0 für Univac
Math-Matic
Flow-Matic
Fortran Schleifenkonzept implementiert
ERMA (1959) auslesen von Kontonummern
5. Geschichte
LISP (1960) erste Programmiersprache für KI
Computerspiele (1962) SpaceWar von MIT-Studenten
Cobol (1960)
Zusammenarbeit von
Computererzeugern und Pentagon
6. Geschichte
ASCII (1963)
Vereinheitlichung des
Datenaustausches
Basic (1964) einfach zu lernende PR-Sprache
OOP (1965)
Ansätze der objektorientierten
Programmierung mit Simula
UNIX (1969)
von
Kenneth Thompson
&
Dennis Ritchie
in den AT&T Labs.
Anfang der 70er
Ritchie entwickelt
Programmiersprache B
und dann weiter zu C
9. Sprachen und die Verwendung
Analyse unseres Geistes
Erfahrungswerte formalisieren und somit gesamtheitlich Verstehen
Anwendung bei Expertensystemen
2 Ebenen
Symbolebene (Problemlösung)
Wissensebene (Daten)
Programmiersprachen
Prolog und Lisp
aber auch C, C++, Java
XPS-Shells
Allen Newell (1982):
10. Prolog
Entwicklung 1972 von Alan Colmerauer und der
« Groupe d'Intelligence Artificielle
de Luminy »
David Warren implementiert
Kompiler
Anwendung
Expertensysteme
Wissensverarbeitung
Spiele
symbolische Mathematik
Prototyping
Constraint-Programmierung
Deduktive Datenbanken
deklerative Sprache
15. Lisp
Entwicklung 70er Lisp-Maschinen
am MIT entwickelt
„Lisp-Hardware“
DARPA Defense Advanced Research
Projects Agency (Pentagon)
kaufte LISP-Maschinen für
Star-Wars
LMI - Symbolics - MIT
viele Dialekte von Lisp
heute: CommonLisp
Anwendung
Entwicklung von KI Werkzeugen
Test von Prototypen und Systeme
Suchalgorithmen
Interpreter
prozedurale Sprache genau gesagt funktional
16. Lisp
Rechnen in LISP
Listen
(1 3 5 7)
(vw(polo, golf), honda(civi, jazz))
(x y z) (f x y)
f(x, y)
Liste ‘(x y z)
Infixnotation
(* (+ 4 5) (+ 5 2))
LISP-Atome 14.5782
1000
ein-bindestrich-wort
*eine-markierung*
17. Lisp
> (defun absolut-val (x)
(cond ((< x 0) (* x -1))
((>= x 0) x)))
> (absolut-val -2)
2
> ()
NIL
Fall
http://www.ufasoft.com/lisp
18. KI-Software am Markt
YVE Speichern von Unternehmenswissen
orisabase Entwicklungsumgebung
(Framesystem)
Brainware
Entwicklung auf Basis von
Neuronalenen Netzen
CAS Auswertung von Videodaten
zur Überwachung
21. KI-Software am Markt
Projekt Regelbasierte Generierung
musikalischer Strukturen in der
KI-Sprache Prolog
Erfahrungen aus Analyse der Sprache
System welches Regeln der Musiktheorie befolgt
Erfahrungen für Linguistik und Musikanalyse