命题逻辑中单元子句及其负文字和冗余子句 (Unit Clauses and Their Complementary Literals and Redundant Clauses in Propositional Logic).
Ting LiuYang XuXiulan ChenPublished in: 计算机科学 (2019)
Keyphrases
- propositional logic
- propositional formulas
- first order logic
- horn clauses
- propositional variables
- lattice theory
- propositional satisfiability
- function free horn
- inductive logic programming
- belief revision
- quantified boolean formulae
- prime implicants
- inference rules
- possibilistic logic
- conjunctive normal form
- theorem prover
- theorem proving
- search space
- proof procedure
- davis putnam
- satisfiability testing
- prime implicates
- normal form
- knowledge representation