We gave the definition of generalized quantifier in the lattice-valued first-order logic LF(X) and Lvfl. We also gave the inclusion relation, union and product operation of generalized quantifiers and proved reasoning results with them.3.
2.在格值一阶逻辑系统LF(x),Lvfl中定义了广义量词,以及广义量词之间的包含关系和广义量词的并交运算,得到了带广义量词的推理规则和有关广义量词的包含,并交运算的推理结果。
参考来源 - 基于格蕴涵代数的格值逻辑中的近似推理研究·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
应用推荐