"Programs with Common Sense"
E94991
"Programs with Common Sense" is a seminal 1959 paper by John McCarthy that introduced the idea of using formal logic to represent common-sense knowledge and reasoning in artificial intelligence systems.
Aliases (1)
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
artificial intelligence paper
→
scientific paper → |
| author |
John McCarthy
NERFINISHED
→
|
| citedAs |
McCarthy 1959
→
|
| coreIdea |
AI systems should manipulate explicit symbolic representations
→
derive conclusions by logical inference → programs can be improved by adding new sentences to a knowledge base → represent common-sense facts as logical sentences → |
| field |
artificial intelligence
→
automated reasoning → computer science → knowledge representation → |
| goal |
enable machines to exhibit common-sense reasoning
→
|
| hasAuthorAffiliation |
Massachusetts Institute of Technology
NERFINISHED
→
|
| hasKeyTerm |
AI program
→
advice taker → common sense → formal logic → inference rules → knowledge base → reasoning about actions → symbolic representation → |
| historicalSignificance |
foundational paper for logic-based AI
→
seminal work in artificial intelligence → |
| influenced |
AI planning
→
expert systems → knowledge representation research → logic-based AI → non-monotonic reasoning → semantic networks and frames → |
| influencedBy |
mathematical logic
→
symbolic AI → |
| introducedConcept |
advice taker
→
declarative representation of knowledge → formal logic representation of common-sense knowledge → knowledge base for AI → separation of knowledge and inference mechanism → use of logic for common-sense reasoning in AI → |
| language |
English
→
|
| proposedBy |
John McCarthy
NERFINISHED
→
|
| proposesMethod |
encoding facts and goals as logical formulas
→
using deduction to compute actions from goals and facts → |
| proposesSystem |
advice taker program
→
|
| publicationYear |
1959
→
|
| topic |
AI program design
→
common-sense knowledge → logical reasoning → symbolic representation → |
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
John McCarthy
→
|
notableWork |