Diagnosis using a first-order stochastic language that learns.
Chayan ChakrabartiRoshan RammohanGeorge F. LugerPublished in: Expert Syst. Appl. (2007)
Keyphrases
- higher order
- quantifier elimination
- quantifier free
- language learning
- natural language
- conditional logic
- specification language
- fault diagnosis
- programming language
- first order logic
- medical diagnosis
- model based diagnosis
- linear temporal logic
- stochastic programming
- diagnostic reasoning
- automatic diagnosis
- model based reasoning
- stochastic context free grammars
- neural network
- relational databases
- predicate calculus
- stochastic optimization
- object oriented programming
- modeling language
- monte carlo