Reasoning with Diagrams: Observation, Inference and Overspecificity (Plenary).
Gem StapletonPublished in: DMSVIVA (2018)
Keyphrases
- deductive reasoning
- logical inference
- inference engine
- probabilistic reasoning
- backward chaining
- evidential reasoning
- abductive inference
- hypothetical reasoning
- inference process
- plausible reasoning
- reasoning under uncertainty
- representing knowledge
- nonmonotonic inference
- abductive reasoning
- uml class diagrams
- spatial reasoning
- knowledge base
- expert systems
- knowledge representation
- probabilistic inference
- forward chaining
- knowledge representation languages
- reasoning systems
- graphical representation
- diagrammatic reasoning
- possibilistic networks
- bayesian networks
- belief networks
- consistency checking
- reasoning process
- reasoning tasks
- qualitative reasoning
- truth maintenance systems