“A System for Representing and Using Real-World Knowledge”
E434314
“A System for Representing and Using Real-World Knowledge” is a seminal AI research paper by John McCarthy that introduces a logical framework for representing commonsense knowledge about the real world.
All labels observed (1)
| Label | Occurrences |
|---|---|
| “A System for Representing and Using Real-World Knowledge” canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4353366 — 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: “A System for Representing and Using Real-World Knowledge” Context triple: [Semantic Information Processing, hasPart, “A System for Representing and Using Real-World Knowledge”]
-
A.
Simple Knowledge Organization System
The Simple Knowledge Organization System (SKOS) is a W3C standard model for representing and sharing knowledge organization systems such as thesauri, classification schemes, and taxonomies on the Semantic Web.
-
B.
"A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence"
"A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence" is the seminal 1955 research proposal by John McCarthy and colleagues that launched the field of artificial intelligence by defining its goals and organizing the landmark 1956 Dartmouth conference.
-
C.
the Logic Theorist program
The Logic Theorist program was an early artificial intelligence system developed in the 1950s that automatically proved theorems in symbolic logic and is often regarded as the first AI program.
-
D.
Global Open Knowledgebase (GOKb) collaboration
The Global Open Knowledgebase (GOKb) collaboration is an international, community-driven initiative that provides open, curated metadata about electronic resources to support library and scholarly communication workflows.
-
E.
Soar cognitive architecture
The Soar cognitive architecture is a general-purpose framework for modeling and understanding human cognition through unified theories of problem solving, learning, and decision-making.
- 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: “A System for Representing and Using Real-World Knowledge” Target entity description: “A System for Representing and Using Real-World Knowledge” is a seminal AI research paper by John McCarthy that introduces a logical framework for representing commonsense knowledge about the real world.
-
A.
Simple Knowledge Organization System
The Simple Knowledge Organization System (SKOS) is a W3C standard model for representing and sharing knowledge organization systems such as thesauri, classification schemes, and taxonomies on the Semantic Web.
-
B.
"A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence"
"A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence" is the seminal 1955 research proposal by John McCarthy and colleagues that launched the field of artificial intelligence by defining its goals and organizing the landmark 1956 Dartmouth conference.
-
C.
the Logic Theorist program
The Logic Theorist program was an early artificial intelligence system developed in the 1950s that automatically proved theorems in symbolic logic and is often regarded as the first AI program.
-
D.
Global Open Knowledgebase (GOKb) collaboration
The Global Open Knowledgebase (GOKb) collaboration is an international, community-driven initiative that provides open, curated metadata about electronic resources to support library and scholarly communication workflows.
-
E.
Soar cognitive architecture
The Soar cognitive architecture is a general-purpose framework for modeling and understanding human cognition through unified theories of problem solving, learning, and decision-making.
- F. None of above. chosen
Statements (31)
| Predicate | Object |
|---|---|
| instanceOf |
artificial intelligence paper
ⓘ
research paper ⓘ scientific article ⓘ |
| aimsTo |
represent commonsense knowledge about the real world
ⓘ
support reasoning about everyday situations ⓘ |
| author | John McCarthy NERFINISHED ⓘ |
| contribution |
formalization of commonsense reasoning tasks
ⓘ
introduction of a logical framework for real-world knowledge ⓘ |
| creator | John McCarthy NERFINISHED ⓘ |
| describedAs |
foundational work in knowledge representation
ⓘ
seminal AI research paper ⓘ |
| field |
artificial intelligence
ⓘ
commonsense reasoning ⓘ knowledge representation ⓘ |
| focusesOn |
reasoning with represented knowledge
ⓘ
representation of facts about the real world ⓘ |
| hasLanguage | English ⓘ |
| influencedField |
commonsense reasoning in AI
ⓘ
knowledge representation and reasoning ⓘ symbolic artificial intelligence ⓘ |
| mainTopic |
formal logic in AI
ⓘ
logical representation of commonsense knowledge ⓘ real-world knowledge representation ⓘ |
| notableFor |
early formal treatment of real-world knowledge in AI
ⓘ
influence on later knowledge representation formalisms ⓘ |
| proposes | logical framework for representing commonsense knowledge ⓘ |
| relatedTo |
commonsense knowledge
ⓘ
formalization of everyday reasoning ⓘ logical AI ⓘ |
| uses |
formal logic
ⓘ
predicate logic ⓘ |
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: “A System for Representing and Using Real-World Knowledge” Description of subject: “A System for Representing and Using Real-World Knowledge” is a seminal AI research paper by John McCarthy that introduces a logical framework for representing commonsense knowledge about the real world.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
Semantic Information Processing
→
hasPart
→
“A System for Representing and Using Real-World Knowledge”
ⓘ