Dissolving variables in connectionist combinatory logic.
J. BarndenK. SrinivasPublished in: IJCNN (1990)
Keyphrases
- neural network
- expert systems
- propositional variables
- modal logic
- random variables
- np complete
- multi valued
- logical framework
- classical logic
- connectionist models
- associative memory
- variable selection
- causal models
- cognitive model
- nonmonotonic logics
- truth values
- natural deduction
- proof theory
- knowledge representation