Inference Guiding in Propositional Knowledge Bases.
Jinchang WangPublished in: Ann. Math. Artif. Intell. (1998)
Keyphrases
- knowledge base
- belief base
- deductive reasoning
- inference engine
- propositional knowledge base
- modus ponens
- inference process
- bayesian networks
- truth maintenance systems
- statistical relational learning
- bayesian inference
- propositional logic
- knowledge based systems
- expert systems
- description logics
- probabilistic inference
- knowledge representation
- semantic network
- inference mechanism
- logic programming
- knowledge representation languages
- default logic
- possibilistic logic
- reasoning process
- first order logic
- wordnet
- belief change
- knowledge acquisition
- belief revision
- knowledge compilation
- markov logic
- representing knowledge
- relational domains