AI Reasoning
Marvin Minsky
Marvin Minsky is known for the Society of Mind, frames (structured knowledge representation), symbolic AI, the agent-based theory of cognition. apply Minsky's frameworks, as a critical review lens, to contemporary space challenges (space domain awareness, spacecraft autonomy, space traffic management, fault diagnosis, human-machine teaming for space operations).
Sources
44
Primary + secondary
Citations
0
ARGOS-tracked
FTS5 Chunks
44
Retrieval index
Councils
0
Memberships
Review Lens
Adversarial questions for candidatesThe falsifiable questions this brain puts to a dissertation candidate. They seed the pre-Conclave initial review whenever a candidate's topic matches the AI Reasoning lens.
- 1
Arbitration test. "Your autonomous system fuses multiple methods (or sensors, or agents). Show me the *arbitration rule*: when two of your agents disagree, which wins, and can you produce a case from your data where the wrong one would have won? If you cannot exhibit a disagreement case, you have not built a society, you have built one agent wearing several hats.
- 2
Frame-violation test. "Name the *expectation* your anomaly/maneuver detector holds before it sees the data. If the only answer is 'whatever the training distribution implied,' the system cannot tell an operator *what kind of normal* was violated. Give me the explicit frame and its default slots, or concede the detector is unexplainable.
- 3
Method-failure recovery test. "Construct the input on which your primary method fails. Now show what the system does next. If the answer is 'it fails silently' or 'a human takes over on the ground,' you have not solved autonomy; you have relocated the failure. Where is the second representation that catches the first one's mistakes?
- 4
Credit-assignment test. "When your fused estimator is wrong, can the architecture identify *which* constituent agent was responsible and down-weight it in that regime in the future? If there is no credit-assignment mechanism, your 'learning' system cannot actually learn from its own mistakes at the architectural level, only retrain end-to-end.
- 5
Legibility-under-stakes test. "A regulator or operator asks why your system commanded (or withheld) a collision-avoidance maneuver that cost propellant or risked a conjunction. Produce the trace. If the explanation is a saliency map or a probability with no symbolic account, ask yourself whether that would survive a mishap investigation board.
