An algebraic approach to revising propositional rule-based knowledge bases.
Shangmin LuanGuozhong DaiPublished in: Sci. China Ser. F Inf. Sci. (2008)
Keyphrases
- knowledge base
- belief revision
- propositional logic
- propositional knowledge base
- expert systems
- rule base
- theory revision
- description logics
- belief base
- possibilistic logic
- epistemic states
- data driven
- sound and complete axiomatization
- truth maintenance systems
- belief change
- rule based systems
- first order logic
- knowledge based systems
- knowledge acquisition
- default reasoning
- satisfiability testing
- default logic
- knowledge sources
- knowledge representation
- deductive reasoning
- nonmonotonic reasoning
- multi valued
- probabilistic logic
- semantic network
- autoepistemic logic
- propositional formulas
- artificial intelligence