Backward chaining inference as a database stored procedure - the experiments on real-world knowledge bases.
Roman SiminskiTomasz XieskiPublished in: INISTA (2017)
Keyphrases
- backward chaining
- knowledge base
- database
- inference engine
- expert systems
- forward chaining
- inference process
- databases
- knowledge based systems
- knowledge acquisition
- rule based systems
- knowledge representation
- description logics
- logic programming
- rule base
- database queries
- reinforcement learning
- web services
- horn clauses
- depth first search
- artificial intelligence
- machine learning
- neural network