Mind · Reasoning
Specialize
Deductive application of principles
Definition
Mechanism
Concrete Instantiation: Given abstract principle, substitute specific values for variables. Check all constraints still hold after substitution. Generate multiple specializations to understand the principle's range. Edge cases reveal hidden assumptions. The canonical form of Deduction in sema's reasoning taxonomy — necessary conclusions from general premises. Inverse of Generalize.
Preconditions
- Domain constraints
- General purpose agent
Postconditions
- Expert agent instantiated
Invariants
- Constraint Inheritance: Must satisfy all constraints of the general principle
- Type Narrowing: Input parameters are a subset of the general domain
Risks
Failure modes
Domain mismatch
Applying a valid principle to a domain where its preconditions do not hold.
Relationships
Builds on
References
Infrastructure
Side-effect-free observational verification yielding Verified/Falsified/Unknown
General to specific logic
Inductive pattern extraction
Used by
References
Expansion of cognitive capability through recursive decomposition of concepts into contract-bounded sub-concepts
Reference