Reasoning with Limited Unification in a Connectionist Rule-Based System.
Nam Seog ParkDave RobertsonKeith StenningPublished in: ICLP Workshop: Logic and Reasoning with Neural Networks (1994)
Keyphrases
- expert systems
- neural network
- theorem proving
- higher order
- automated theorem proving
- reasoning systems
- reasoning tasks
- probabilistic reasoning
- information systems
- machine learning
- knowledge representation
- automated reasoning
- search engine
- uncertain information
- model based reasoning
- resource bounded
- rule based reasoning
- database