Disambiguation evidence for "Programs with Common Sense" via surface form
"Programs with Common Sense"
As subject (48)
Triples where this entity appears as subject under the
label "Programs with Common Sense".
| Predicate | Object |
|---|---|
| author | John McCarthy NERFINISHED ⓘ |
| citedAs |
McCarthy
ⓘ
surface form:
McCarthy 1959
|
| coreIdea | AI systems should manipulate explicit symbolic representations ⓘ |
| coreIdea | derive conclusions by logical inference ⓘ |
| coreIdea | programs can be improved by adding new sentences to a knowledge base ⓘ |
| coreIdea | represent common-sense facts as logical sentences ⓘ |
| field | artificial intelligence ⓘ |
| field | automated reasoning ⓘ |
| field | computer science ⓘ |
| field | knowledge representation ⓘ |
| goal | enable machines to exhibit common-sense reasoning ⓘ |
| hasAuthorAffiliation | Massachusetts Institute of Technology NERFINISHED ⓘ |
| hasKeyTerm | AI program ⓘ |
| hasKeyTerm | advice taker ⓘ |
| hasKeyTerm | common sense ⓘ |
| hasKeyTerm | formal logic ⓘ |
| hasKeyTerm | inference rules ⓘ |
| hasKeyTerm | knowledge base ⓘ |
| hasKeyTerm | reasoning about actions ⓘ |
| hasKeyTerm | symbolic representation ⓘ |
| historicalSignificance | foundational paper for logic-based AI ⓘ |
| historicalSignificance | seminal work in artificial intelligence ⓘ |
| influenced |
General Problem Solver
ⓘ
surface form:
AI planning
|
| influenced | expert systems ⓘ |
| influenced | knowledge representation research ⓘ |
| influenced | logic-based AI ⓘ |
| influenced | non-monotonic reasoning ⓘ |
| influenced | semantic networks and frames ⓘ |
| influencedBy | mathematical logic ⓘ |
| influencedBy | symbolic AI ⓘ |
| instanceOf | artificial intelligence paper ⓘ |
| instanceOf | scientific paper ⓘ |
| introducedConcept | advice taker ⓘ |
| introducedConcept | declarative representation of knowledge ⓘ |
| introducedConcept | formal logic representation of common-sense knowledge ⓘ |
| introducedConcept | knowledge base for AI ⓘ |
| introducedConcept | separation of knowledge and inference mechanism ⓘ |
| introducedConcept | use of logic for common-sense reasoning in AI ⓘ |
| language | English ⓘ |
| proposedBy | John McCarthy NERFINISHED ⓘ |
| proposesMethod | encoding facts and goals as logical formulas ⓘ |
| proposesMethod | using deduction to compute actions from goals and facts ⓘ |
| proposesSystem | advice taker program ⓘ |
| publicationYear | 1959 ⓘ |
| topic | AI program design ⓘ |
| topic | common-sense knowledge ⓘ |
| topic | logical reasoning ⓘ |
| topic | symbolic representation ⓘ |