Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL.
Nik SwobodaGerard AllweinPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- knowledge representation
- first order logic
- theorem proving
- graphical representation
- knowledge base
- uml class diagrams
- reasoning process
- automated reasoning
- reasoning tasks
- machine learning
- spatial reasoning
- formal models
- formal semantics
- probabilistic reasoning
- differential equations
- default reasoning
- real world
- inference rules
- description logics
- domain knowledge
- computational properties
- reasoning systems
- decision making
- analogical reasoning
- sequence diagrams
- rule based reasoning
- artificial intelligence
- diagrammatic reasoning