Using predicate logic to integrate qualitative reasoning and classical decision theory.
John FoxDominic A. ClarkAndrzej J. GlowinskiMichael J. O'NeilPublished in: IEEE Trans. Syst. Man Cybern. (1990)
Keyphrases
- qualitative reasoning
- decision theory
- predicate logic
- dynamic systems
- probability theory
- semantic net
- utility function
- qualitative simulation
- expected utility
- qualitative information
- decision theoretic
- knowledge representation and reasoning
- formal logic
- decision making
- artificial intelligence
- optimal decisions
- computational linguistics
- semantic network
- conceptual design
- qualitative differential equations
- order of magnitude reasoning
- temporal logic
- case based reasoning
- lower level
- qualitative models
- game theory
- theoretical framework
- cooperative
- qualitative and quantitative
- description logics
- knowledge base
- information retrieval
- data mining