Artificial Intelligence: A Modern Myth |
From inside the book
Results 1-3 of 57
Page 19
... logic and theorem proving . Artific - From the early days in the 1950's when Newell , Shaw and Simon worked on a program called the Logic Theorist ( Newell , Shaw & Simon 1963 ) , which could prove a number of theorems from Russell and ...
... logic and theorem proving . Artific - From the early days in the 1950's when Newell , Shaw and Simon worked on a program called the Logic Theorist ( Newell , Shaw & Simon 1963 ) , which could prove a number of theorems from Russell and ...
Page 28
... Logic , in addition to being the basis of all modern work in logic , serves as a point of departure for explorations in alternative ' nonstandard ' logics which attempt to breach some of the restrictions of the traditional static ...
... Logic , in addition to being the basis of all modern work in logic , serves as a point of departure for explorations in alternative ' nonstandard ' logics which attempt to breach some of the restrictions of the traditional static ...
Page 106
... Logic Theory Machine , which was designed ( partly ) to solve problems from Russell and Whitehead's celebrated work Principia Mathematica ( cf. Newell , Shaw & Simon 1963 ) . The Logic Theory Machine proved 38 of the first 52 theorems ...
... Logic Theory Machine , which was designed ( partly ) to solve problems from Russell and Whitehead's celebrated work Principia Mathematica ( cf. Newell , Shaw & Simon 1963 ) . The Logic Theory Machine proved 38 of the first 52 theorems ...
Contents
What is Artificial Intelligence? | 11 |
The Nature of Intelligence | 35 |
What is a Machine? | 75 |
Copyright | |
6 other sections not shown
Common terms and phrases
ability activity algorithmic analysis anthropomorphic approach argued artefacts articulation Artificial Intelligence assumptions attempt attributes belief Boden brain characteristics chess Chinese Room Cognitive Science coherence complex computer system concept connectionism connectionist construction context DENDRAL Dennett domain Dreyfus emerge emotion example existential existential fallacy expectations experience expert systems explicit explore expression fallacy Feigenbaum Fodor formal formalisation framework function fundamental heuristics human intelligence Ibid ineffable intellectual intelligence in machines intentional stance intentional system intentionality interaction with reality interpretation knowledge knowledge representation learning limits logic machine intelligence machine learning manipulation mathematical meaning mechanical mental metaphor mind Minsky natural language networks neural Newell notion object ontology perceptrons performance perhaps phenomena physical physical symbol system possible present problem psychological question rationality reasoning representation rules scientific semantics sense Simon simply solving strong AI structure symbol theory thinking traditional Turing test understanding words