References, Local Variables and Operational Reasoning
Ian A. MasonCarolyn L. TalcottPublished in: LICS (1992)
Keyphrases
- knowledge base
- knowledge representation
- meta level
- model based reasoning
- automated reasoning
- relevant variables
- variable selection
- logical reasoning
- directed acyclic graph
- consistency checking
- reasoning systems
- qualitative reasoning
- logical formulas
- bayesian networks
- causal reasoning
- computational properties
- legal reasoning
- reasoning process
- objective function
- expert systems
- independent variables
- real time
- input variables
- state variables
- hidden variables
- random variables
- graphical models
- multi agent systems