Spacetimes with Semantics (III) - The Structure of Functional Knowledge Representation and Artificial Reasoning.
Mark BurgessPublished in: CoRR (2016)
Keyphrases
- knowledge representation
- logic programming
- automated reasoning
- reasoning tasks
- knowledge representation formalisms
- reasoning mechanisms
- expert systems
- knowledge acquisition
- rule based reasoning
- representing knowledge
- semantic structure
- semantic web
- hierarchical structure
- machine learning
- reasoning systems
- formal semantics
- graphical representation
- default reasoning
- knowledge structures
- first order logic
- description logics
- real world
- logical framework
- semantic information
- causal reasoning
- knowledge based systems
- reasoning problems
- case based reasoning
- artificial intelligence
- functional properties
- proof theory
- fuzzy description logics