A Natural Logic System for Large Knowledge Bases.
Troels AndreasenHenrik BulskovJørgen Fischer NilssonPublished in: EJC (2020)
Keyphrases
- knowledge base
- logic programming
- description logics
- knowledge based systems
- knowledge acquisition
- multi valued
- deductive reasoning
- possibilistic logic
- artificial intelligence
- artificial systems
- semantic network
- sound and complete axiomatization
- neural network
- tableau calculus
- reasoning engine
- proof theory
- set theory
- rule base
- knowledge sources
- expressive power
- logic programs
- knowledge representation
- expert systems