| 
|
QuoteRef: carbJG3_1978
topics >
all references >
ThesaHelp:
references c-d
Topic:
limitations of artificial intelligence and cognitive science
Topic:
theorem proving systems
Topic:
randomness
Topic:
probabilistic and randomized algorithms
Reference
Carbonell, J.G., Schank, R.C., "Comments on the paper of Cherniavsky. On artificial intelligence and attempts to disprove its existence. ", Information Systems, 3, 3, 1978, pp. 227-230. Google
227 ;;Quote: Rabin's proofs only disprove the feasibility of theorem-proving systems and combinatorially complex data correlations; already abandoned by most of AI
228 ;;Quote: while a deterministic, prime number predicate is probably exponential, a probabilistic predicate is linear
ThesaHelp: references c-d (337 items)
Topic: limitations of artificial intelligence and cognitive science (64 items)
Topic: theorem proving systems (20 items)
Topic: randomness (16 items)
Topic: probabilistic and randomized algorithms (11 items)