physical symbol system hypothesis
E275784
The physical symbol system hypothesis is a foundational theory in cognitive science and artificial intelligence proposing that intelligent behavior arises from the manipulation of symbolic representations by a formal system.
All labels observed (1)
| Label | Occurrences |
|---|---|
| physical symbol system hypothesis canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2515739 — 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: physical symbol system hypothesis Context triple: [Allen Newell, knownFor, physical symbol system hypothesis]
-
A.
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.
-
B.
Computing Machinery and Intelligence
"Computing Machinery and Intelligence" is Alan Turing’s landmark 1950 paper that introduced the Turing Test and fundamentally shaped the philosophical and technical foundations of artificial intelligence.
-
C.
The Language of Thought
The Language of Thought is a seminal philosophical and cognitive science work by Jerry Fodor that argues for an innate, mental "language" underlying human thought and reasoning.
-
D.
Church–Turing thesis
The Church–Turing thesis is a foundational principle in computability theory stating that any function that can be effectively computed by an algorithm can be computed by a Turing machine (or equivalently by other formal models of computation).
-
E.
Turing machine
A Turing machine is an abstract computational model that manipulates symbols on an infinite tape according to a set of rules, providing a formal foundation for the concept of algorithm and computability.
- 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: physical symbol system hypothesis Target entity description: The physical symbol system hypothesis is a foundational theory in cognitive science and artificial intelligence proposing that intelligent behavior arises from the manipulation of symbolic representations by a formal system.
-
A.
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.
-
B.
Computing Machinery and Intelligence
"Computing Machinery and Intelligence" is Alan Turing’s landmark 1950 paper that introduced the Turing Test and fundamentally shaped the philosophical and technical foundations of artificial intelligence.
-
C.
The Language of Thought
The Language of Thought is a seminal philosophical and cognitive science work by Jerry Fodor that argues for an innate, mental "language" underlying human thought and reasoning.
-
D.
Church–Turing thesis
The Church–Turing thesis is a foundational principle in computability theory stating that any function that can be effectively computed by an algorithm can be computed by a Turing machine (or equivalently by other formal models of computation).
-
E.
Turing machine
A Turing machine is an abstract computational model that manipulates symbols on an infinite tape according to a set of rules, providing a formal foundation for the concept of algorithm and computability.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
hypothesis
ⓘ
theory in artificial intelligence ⓘ theory of cognition ⓘ |
| addresses |
nature of intelligence
ⓘ
relationship between computation and cognition ⓘ |
| assumes |
cognition can be modeled as symbol processing
ⓘ
intelligence is substrate independent ⓘ |
| centralTo |
General Problem Solver
ⓘ
surface form:
Newell and Simon's theory of problem solving
early cognitive science models ⓘ |
| contrastedWith |
neural network models
ⓘ
subsymbolic approaches ⓘ |
| coreClaim | a physical symbol system has the necessary and sufficient means for general intelligent action ⓘ |
| criticizedBy |
embodied cognition theorists
ⓘ
situated cognition researchers ⓘ |
| criticizedFor |
neglecting embodiment
ⓘ
overemphasis on explicit symbols ⓘ |
| debatedIn |
philosophy of artificial intelligence
ⓘ
philosophy of mind ⓘ |
| entails | digital computers can in principle exhibit general intelligence ⓘ |
| field |
artificial intelligence
ⓘ
cognitive science ⓘ |
| hasComponent |
search processes
ⓘ
symbol structures ⓘ symbolic operations ⓘ |
| historicalPeriod | 1970s AI research ⓘ |
| influenced |
classical planning in AI
ⓘ
cognitive architectures ⓘ knowledge representation research ⓘ |
| influencedBy |
Turing machine
ⓘ
surface form:
Turing machine model
formal logic ⓘ information processing psychology ⓘ |
| involvesConcept |
formal system
ⓘ
physical symbol system ⓘ symbol manipulation ⓘ symbolic representation ⓘ |
| necessaryConditionFor | general intelligent action ⓘ |
| opposedBy | connectionism ⓘ |
| proposedBy |
Allen Newell
ⓘ
Herbert Simon ⓘ
surface form:
Herbert A. Simon
|
| publicationYear | 1976 ⓘ |
| relatedTo |
Church–Turing thesis
ⓘ
cognitivism ⓘ good old-fashioned AI ⓘ Church–Turing thesis ⓘ
surface form:
physical Church–Turing thesis
symbolic AI ⓘ |
| statedIn | "Computer Science as Empirical Inquiry: Symbols and Search" ⓘ |
| status | controversial in contemporary cognitive science ⓘ |
| sufficientConditionFor | general intelligent action ⓘ |
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: physical symbol system hypothesis Description of subject: The physical symbol system hypothesis is a foundational theory in cognitive science and artificial intelligence proposing that intelligent behavior arises from the manipulation of symbolic representations by a formal system.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.