Keyphrases
- neural network
- modal operators
- pattern recognition
- probability theory
- artificial neural networks
- truth values
- belief revision
- classical logic
- multi valued
- modal logic
- predicate logic
- neural network model
- logic programming
- fuzzy logic
- sound and complete axiomatization
- fuzzy systems
- back propagation
- computational properties
- neural nets
- formal theory
- fault diagnosis
- asynchronous circuits
- logical framework
- belief functions
- deontic logic
- rule extraction
- automated reasoning
- belief state
- belief change
- activation function
- network architecture
- recurrent neural networks
- radial basis function
- state space
- artificial intelligence