|
McCarthy's advice-taker proposal of 1958 represents an early proposal to use logic for representing common-sense knowledge in mathematical logic and using an automated theorem prover to derive answers to questions expressed in logical form. Compare Leibniz's calculus ratiocinator and characteristica universalis. The Cyc project attempts to provide a basis of common-sense knowledge for artificial-intelligence systems. The Open Mind Common Sense project resembles the Cyc project, except that it, like other on-line collaborative projects such as Wikipedia, depends on the contributions of thousands of individuals across the World Wide Web. |
About us|Jobs|Help|Disclaimer|Advertising services|Contact us|Sign in|Website map|Search|
GMT+8, 2015-9-11 21:58 , Processed in 0.128947 second(s), 16 queries .
