Formalisierung und künstliche Intelligenz - eine mögliche ...

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