广义量词的单调性与其他语义性质之间的关系 |
| |
引用本文: | 张晓君,吴宝祥.广义量词的单调性与其他语义性质之间的关系[J].重庆理工大学学报(社会科学版),2015(1):49-53. |
| |
作者姓名: | 张晓君 吴宝祥 |
| |
作者单位: | 四川师范大学政治教育学院,成都,610066 |
| |
基金项目: | 国家社会科学基金西部项目 |
| |
摘 要: | 广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理.广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性.单调性是广义量词最为重要的语义性质.给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性.
|
关 键 词: | 广义量词 同构闭包性 扩展性 单调性 驻留性 对称性 一阶逻辑 |
Relations Between Monotonicity of Generalized Quantifiers and Other Semantic Properties |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|