n值ukasiewicz逻辑系统中公式的向量表示及其研究 (Research on Vector Representation of Formula in n-valued ukasiewicz Propositional Logic System).
Xiaoli GaoXiaojing HuiNaidiao ZhuPublished in: 计算机科学 (2016)
Keyphrases
- propositional logic
- valued logic
- vector representation
- propositional formulas
- first order logic
- belief revision
- quantified boolean formulae
- similarity measure
- belief change
- document representation
- fixed length
- similarity computation
- artificial intelligence
- computational complexity
- semantic description
- universal quantification