Hybrid systems neural networks hunt back propagation

This preview shows page 5 - 7 out of 8 pages.

hybrid systems neural networks Hunt back-propagation year ID3, CART PTTP, Otter, SETHEO, E-prover symbolic Dartmouth-conference automated theorem provers resolution heuristic search Bayesian nets decision tree learning Source: W. Ertel
Image of page 5

Subscribe to view the full document.

8/3/2018 6 1931 The Austrian Kurt Go ¨del shows that in first-order predicate logic all true statements are derivable . In higher-order logics, on the other hand, thereare truestatementsthat are unprovable. 1937 Alan Turing points out the limits of intelligent machines with the halting problem . 1943 McCulloch und Pitts model neural networks and make the connection to propositional logic. 1950 Alan Turing defines machine intelligence with the Turing test and writes about learningmachinesand genetic algorithms 1951 Marvin Minsky develops a neural network machine. With 3000 vacuum tubeshesimulates40 neurons. 1955 Arthur Samuel (IBM) builds a learning chess program that plays better than its developer . AI History milestones … Source: W. Ertel AI: state of the art in the 60’s The thinking machine The end of human translators? 1956 McCarthy organizes a conference in Dartmouth College. Artificial Intelligence was first introduced. Here the name Newell andSimonof CarnegieMellonUniversity (CMU) present the Logic Theorist , thefirst symbol-processing computer program . 1958 McCarthy invents at MIT (Massachusettes Institute of Technology) the high-level language LISP . He writesprograms that are capable of modify- ing themselves. 1959 Gelernter (IBM) buildstheGeometry Theorem Prover. 1961 The General Problem Solver (GPS) by Newell und Simon imitates human thought . 1963 McCarthy foundstheAI Lab at Stanford University. 1965 Robinson invents the resolution calculus for predicatelogic 1966 Weizenbaum’s program Eliza carries out dialogue with people in natural language 1969 Minsky and Papert show in their book Perceptrons that the perceptron, a very simple neural network, can only represent linear functions. 1972 French scientist Alain Colmerauer inventsthelogic programming language PROLOG . British physician de Dombal develops an expert system for diagnosis of acute abdominal pain . It goesunnoticed in themainstream AI community of thetime. 1976 Shortliffe and Buchanan develop MYCIN, an expert system for diagnosis of infectiousdiseases, which is capableof dealingwith uncertainty. 1981 Japan begins, at great expense, the“Fifth Generation Project” with the goal of buildinga powerful PROLOGmachine. 1982 R1, theexpert system for configuring computers, saves Digital Equipment Corporation40 million dollarsper year .
Image of page 6
8/3/2018 7 Film: The age of intelligent machines (award winning documentary) (Kurzweil, 1987) - machines State of the art in the late 80’s 1986 Renaissanceof neural networksthrough, amongothers, Rumelhart, Hinton and Sejnowski . Thesystem Nettalk learnsto read texts aloud.
Image of page 7
You've reached the end of this preview.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern