Refining First Order Theories with Neural Networks.
Marco BottaAttilio GiordanaRoberto PiolaPublished in: ISMIS (1997)
Keyphrases
- neural network
- theory revision
- first order logic
- knowledge base
- pattern recognition
- action theories
- higher order
- neural network model
- self organizing maps
- back propagation
- fuzzy systems
- artificial neural networks
- theoretical framework
- multilayer perceptron
- recurrent neural networks
- multi layer
- domain theory
- expert systems
- quantifier elimination
- classical first order logic
- propositional theories
- global exponential stability
- cognitive psychology
- probabilistic logic
- probability theory
- learning rules
- activation function
- multi layer perceptron
- fault diagnosis
- intelligent systems
- decision making