广义量词理论:自然语言推理的简便工具
作者:
黄朝阳
[1] ;
张晓君
[2]
关键词:
广义量词理论
广义量词
集合
广义三段论
摘要:
广义量词理论的基础是集合论。该理论注重广义量词的语义性质和推理特征的研究,比一阶逻辑具有更为强大的表达力。利用广义量词理论既能证明亚里士多德三段论的有效性,也能证明广义三段论的有效性.还能证明广义三段论的不同推理模式之间有可化归关系。由于广义量词普遍存在于自然语言中,广义量词理论的成果将有利于计算机科学中的知识表示和知识推理。
上一篇:技术社会语境:基于技术三大理论范式的审视
下一篇:朱子学与朝鲜朝的未发之辨