Formalisierung und künstliche Intelligenz - eine mögliche ...
Formalisierung und künstliche Intelligenz - eine mögliche ...
Formalisierung und künstliche Intelligenz - eine mögliche ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
- 21 -<br />
Literatur:<br />
Chin-Liang Chang, Richard Char-Tung Lee: "Symbolic Logic and<br />
Mechanical Theorem proving", ,Academic Press, INC. 1973,<br />
M Mitchell Waldrop: "Fast, Cheap, and Out of Control", Research<br />
News 25. May 1990<br />
M.Brady, L.A.Gerhardt, H.F.Davidson: "Robotics and Artificial<br />
Intelligence", NATO ASI Series, Springer 1984<br />
Martin A. Fischler, Oscar Firschein:"The Eye, the Brain, and the<br />
Computer", Addison-Wesley 1987<br />
H.Ritter, Th.Martinetz, K.Schulten:"Neuronale Netze",. Addison-<br />
Wesley, 1990<br />
william F. Allman "Menschliches Denken, Künstliche <strong>Intelligenz</strong>",<br />
Droemer Knaur, 1989<br />
Herbert A. Simon "Die Wissenschaft vom Künstlichen", Kammerer <strong>und</strong><br />
Unverzagt, 1990<br />
Winograd:"Understanding natural language",Academic-press, 1985<br />
Alan Ross Anderson:"Minds and Machines", Contemporary Perspectives<br />
in Philosophy Series, prentice Hall, 1~64<br />
Dreyfus,Dreyfus:"Künstliche <strong>Intelligenz</strong>", rororo 1680<br />
Dreyfus, I?reyfus:"Was Computer nicht können", athenäum, 1989<br />
P. Schefe:"Künstliche <strong>Intelligenz</strong>-Ueberblick <strong>und</strong> Gr<strong>und</strong>lagen"<br />
B.I.Wissenschaftsverlag, 1986<br />
Raymond Kurzweil:"The Age of Intelligent Machines", Massachusetts<br />
Institute for Technology, 1990<br />
J.Bernasconi:"Neural Networks", Asea Brown Boveri Corporate<br />
Research, 1988<br />
S.Krämer :"Symbolische Maschinen", Wissenschaftliche<br />
Buchgesellschaft, 1988<br />
W. Weihschedel :"Die philosophische Hintertreppe", dtv 980<br />
W. Stegmüller:"Unvollständigkeit <strong>und</strong> Unentscheidbarkeit", Springer<br />
1973<br />
M.A.Arbib:"Brains, Machines, and Mathematics", Springer, 1964<br />
Konferenzunterlagen aus CI-88 (Computational Intelligence, Milano,<br />
26-30. Sept.1988)<br />
Konferenzunterlagen aus AAAI-87 (6th National Conference on<br />
Artificial Intelligence, Seattle, 13-17. July 1987)<br />
Konferenzunterlagen aus AAAI-90 (8th National Conference on<br />
Artificial intelligence, Boston, Aug. 1990)