Login / Signup
语言真值格值命题逻辑中的α-语义归结方法 (α-Semantic Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic).
Jiafeng Zhang
Yang Xu
Qin Chen
Published in:
计算机科学 (2015)
Keyphrases
</>
propositional logic
computational complexity
artificial intelligence
natural language
belief revision
machine learning
valued logic