四值Gdel命题逻辑系统中公式的概率真度理论 (Theory of Probability Truth Degree in Gdel 4-valued Propositional Logic System).
Jinrui HeXiaojing HuiJingning ShuangPublished in: 计算机科学 (2015)
Keyphrases
- valued logic
- propositional logic
- first order logic
- belief revision
- classical logic
- possibilistic logic
- minimal models
- quantified boolean formulae
- truth values
- probability theory
- logical theories
- davis putnam
- propositional satisfiability
- satisfiability testing
- lattice theory
- truth maintenance systems
- propositional formulas
- belief change
- fuzzy sets
- fuzzy logic
- proof procedure
- machine learning
- multi valued
- search space