An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version).
L. Thorne McCartyRon van der MeydenPublished in: LPNMR (1993)
Keyphrases
- preliminary version
- finite sets
- real numbers
- linear logic
- fuzzy set theory
- finite dimensional
- high level
- classical logic
- failure prediction
- image interpretation
- fuzzy numbers
- real time
- semantic interpretation
- interval valued
- root cause
- failure modes
- data mining
- failure detection
- neural network
- theorem prover
- desirable properties
- case study
- decision making
- finite automata
- genetic algorithm
- data sets