"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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| "Programs with Common Sense" canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T799254 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: "Programs with Common Sense" Context triple: [John McCarthy, notableWork, "Programs with Common Sense"]
-
A.
The Minimalist Program
The Minimalist Program is a major theoretical framework in generative linguistics, developed by Noam Chomsky, that seeks to explain the properties of human language through the simplest and most economical principles and mechanisms.
-
B.
Society of Mind
Society of Mind is a seminal book by Marvin Minsky that proposes a theory of human intelligence as emerging from the interactions of many simple, non-intelligent agents within the mind.
-
C.
The Advancement of Learning
The Advancement of Learning is a 1605 philosophical treatise by Francis Bacon that argues for the systematic reform and expansion of human knowledge through empirical inquiry and the scientific method.
-
D.
Man-Computer Symbiosis
Man-Computer Symbiosis is a seminal 1960 essay by J. C. R. Licklider that envisioned interactive, cooperative partnerships between humans and computers, laying conceptual foundations for modern interactive computing and the internet.
-
E.
The Machine
The Machine is the nickname of Albert Pujols, a Dominican-American former Major League Baseball first baseman renowned for his remarkably consistent and powerful hitting.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: "Programs with Common Sense" Target entity description: "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.
-
A.
The Minimalist Program
The Minimalist Program is a major theoretical framework in generative linguistics, developed by Noam Chomsky, that seeks to explain the properties of human language through the simplest and most economical principles and mechanisms.
-
B.
Society of Mind
Society of Mind is a seminal book by Marvin Minsky that proposes a theory of human intelligence as emerging from the interactions of many simple, non-intelligent agents within the mind.
-
C.
The Advancement of Learning
The Advancement of Learning is a 1605 philosophical treatise by Francis Bacon that argues for the systematic reform and expansion of human knowledge through empirical inquiry and the scientific method.
-
D.
Man-Computer Symbiosis
Man-Computer Symbiosis is a seminal 1960 essay by J. C. R. Licklider that envisioned interactive, cooperative partnerships between humans and computers, laying conceptual foundations for modern interactive computing and the internet.
-
E.
The Machine
The Machine is the nickname of Albert Pujols, a Dominican-American former Major League Baseball first baseman renowned for his remarkably consistent and powerful hitting.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
artificial intelligence paper
ⓘ
scientific paper ⓘ |
| author | John McCarthy ⓘ |
| citedAs |
McCarthy
ⓘ
surface form:
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 ⓘ |
| 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 |
General Problem Solver
ⓘ
surface form:
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 ⓘ |
| 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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: "Programs with Common Sense" Description of subject: "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.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.