检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:付豪[1] FU Hao(Institute of Logic and Information,Sichuan Normal University,Chengdu,Sichuan610066,China)
机构地区:[1]四川师范大学逻辑与信息研究所,四川成都610066
出 处:《贵州工程应用技术学院学报》2018年第4期77-82,共6页Journal of Guizhou University Of Engineering Science
基 金:国家社科基金项目"面向中文信息处理的汉语语篇的逻辑语义及其推理模式研究";项目编号:16BZX081
摘 要:在蒙太格的方案中,利用了意义公设对外延语句与内涵语句进行了区分,这种做法不免显得繁琐。通过利用存在谓词和可能算子,对外延语句中的外延动词和内涵语句中的宾语对象直接进行逻辑语义处理,是在蒙太格语法的基础上进行的发展。该方案一方面简化了逻辑语义的翻译过程,另一方面体现出了外延语句和内涵语句的一个基础直觉,即外延语句宾语对象为实存对象,内涵语句对象既可为实存对象也可为虚构对象。Montague's scheme which used meaning postulate to distinguish between extension sentences and intension sentences is a tedious task. The logical treatment of the extensional verbs and the objects which in intension sentences by using the existential predicate and the possible operator, which is based on the Montague grammar. On the one hand, the scheme simplifies the translation process of logical semantics. On the other hand, it embodies a basic intuition of the extensional and intension sentences, that is, the object of an extensional sentences is real, and the object of the intension sentences can be a real object or a fictitious object.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145