Qualitative-Quantitative Reasoning: Thinking Informally About Formal Things.
Alan J. DixPublished in: ICTAC (2021)
Keyphrases
- uncertain knowledge
- knowledge representation
- qualitative and quantitative
- formal model
- formal representation
- formal models
- qualitative reasoning
- formal specification
- quantitative and qualitative
- artificial intelligence
- qualitative physics
- qualitative information
- quantitative measures
- formal methods
- qualitative differential equations
- neural network
- mathematical theory
- knowledge sharing and reuse
- knowledge processing
- spatial reasoning
- meta level
- inference engine
- dynamic systems
- spatial relations
- logic programming