检索结果-维普期刊中文期刊服务平台

传统三段论的形式化和公理化研究被引量：6: 1; 作者张晓君李晟《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2016年第6期32-38,共7页; 利用广义量词理论对四个亚里斯多德量词的真值定义,可以对传统三段论进行形式化。在AAA-1和EAE-1这两个公理的基础上,利用四个亚里斯多德量词的单调性之间的可转换关系,可以对传统三段论进行公理化。这些创新性成果,对于自然语言信息处... 展开更多; 关键词广义量词理论传统三段论亚里斯多德量词形式化公理化; 在线阅读下载PDF 职称材料

古汉语使动双宾语语句的逻辑语义分析: 2; 作者林胜强付豪《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2018年第3期84-87,共4页; 利用范畴类型逻辑对古汉语使动双宾语语句进行逻辑分析时,句法和语义的组合可以同时在树结构中展示出来,句法组合伴随了语义方面的函数应用。文章列举了古汉语"晋侯饮赵盾酒"和"殴民而归之农"两例进行逻辑语义分析... 展开更多; 关键词使动句双宾语语句范畴类型逻辑逻辑语义; 在线阅读下载PDF 职称材料

从CTL到CCG——逻辑语义学的新模式: 3; 作者邹崇理《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2017年第2期42-50,共9页; 范畴类型逻辑CTL和组合范畴语法CCG,是范畴语法CG的两个现代版本。CTL采用传统的逻辑语义学方式,其特点是强调计算的思想、基于规则的思路和研究逻辑工具本身的性质。就面向自然语言计算机处理的任务而言,CTL的短板是显然的,即对自然语... 展开更多; 关键词逻辑语义学范畴类型逻辑组合范畴语法; 在线阅读下载PDF 职称材料

智能主体的等级BDI(信念、愿望和意图)模型被引量：3: 4; 作者张晓君林颖周昌乐《计算机科学》 CSCD 北大核心 2016年第7期35-40,共6页; BDI(信念、愿望和意图)模型是影响最为广泛的主体技术之一。在把无穷值的ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化的基础上,提出了GBDI_(PDL+LL)逻辑。为了通过概率、必然性和可能性对不确定性行为进行表... 展开更多; 关键词等级BDI(信念、愿望和意图)主体不确定性推理背景行动模型; 在线阅读下载PDF 职称材料

组合原则和自然语言虚化成分被引量：2: 5; 作者邹崇理《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2017年第1期5-9,共5页; 计算机人工智能时代最重要的任务之一是自然语言的信息处理,逻辑语义学则是其基础理论,而组合原则又是逻辑语义学的基本原则,表现为部分决定整体的函项思想。自然语言的虚化成分是自然语言复合表达式中对整体意义不起作用的那些部分,自... 展开更多; 关键词逻辑语义学组合原则自然语言虚化成分; 在线阅读下载PDF 职称材料

关于广义量词many的广义三段论推理被引量：2: 6; 作者李晟袁兆隆《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2017年第1期15-19,共5页; 三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性... 展开更多; 关键词传统三段论广义三段论广义量词推理; 在线阅读下载PDF 职称材料

“物莫非指,而指非指”——公孙龙指称论语义学思想被引量：1: 7; 作者林胜强田凤琳《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2018年第1期35-41,共7页; 从传统形式逻辑的角度来说,中国先秦时期虽然没有上乘的表现,但从符号学和现代语言学的视角看,先秦时期的中国却可以称得上是一个具有丰富的语义学思想传统的国家。早在先秦时期,孔子、墨子、孟子、公孙龙、荀子等诸子及其著述在其名实... 展开更多; 关键词公孙龙《指物论》指称论语义学; 在线阅读下载PDF 职称材料

语义类型的细化和转换——MG中类型论的新进展: 8; 作者崔佳悦邹崇理《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2018年第3期88-93,共6页; 自然语言计算机处理(NLP)的重要性已经越来越为学者们所意识到,本文主要考虑NLP分析自然语言语义涉及到的逻辑类型论工具和蒙太格语法MG。由于自然语言真实文本的复杂多样性,传统MG的解释力明显不够。为突破这样的局限,本文关注语义类... 展开更多; 关键词类型论语义类型蒙太格语法类型细化类型转换; 在线阅读下载PDF 职称材料

题名传统三段论的形式化和公理化研究被引量：6: 1; 作者张晓君李晟; 机构四川师范大学逻辑与信息研究所; 出处《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2016年第6期32-38,共7页; 基金国家社会科学基金资助项目:15XYY012; 文摘利用广义量词理论对四个亚里斯多德量词的真值定义,可以对传统三段论进行形式化。在AAA-1和EAE-1这两个公理的基础上,利用四个亚里斯多德量词的单调性之间的可转换关系,可以对传统三段论进行公理化。这些创新性成果,对于自然语言信息处理以及计算机科学中的知识表示和知识推理,都有着重要的理论意义和实践价值。; 关键词广义量词理论传统三段论亚里斯多德量词形式化公理化; 分类号 B81 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名古汉语使动双宾语语句的逻辑语义分析: 2; 作者林胜强付豪; 机构四川师范大学逻辑与信息研究所; 出处《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2018年第3期84-87,共4页; 基金国家社会科学基金项目"面向中文信息处理的汉语语篇的逻辑语义及其推理模式研究"(16BZX081); 文摘利用范畴类型逻辑对古汉语使动双宾语语句进行逻辑分析时,句法和语义的组合可以同时在树结构中展示出来,句法组合伴随了语义方面的函数应用。文章列举了古汉语"晋侯饮赵盾酒"和"殴民而归之农"两例进行逻辑语义分析,以说明这一研究方法具有普适性,能够对中文信息处理起到一定的推动作用。; 关键词使动句双宾语语句范畴类型逻辑逻辑语义; 分类号 H81-05 [语言文字]; 在线阅读下载PDF 职称材料

题名从CTL到CCG——逻辑语义学的新模式: 3; 作者邹崇理; 机构四川师范大学逻辑与信息研究所; 出处《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2017年第2期42-50,共9页; 基金国家社会科学基金重大资助项目:12&ZD119; 文摘范畴类型逻辑CTL和组合范畴语法CCG,是范畴语法CG的两个现代版本。CTL采用传统的逻辑语义学方式,其特点是强调计算的思想、基于规则的思路和研究逻辑工具本身的性质。就面向自然语言计算机处理的任务而言,CTL的短板是显然的,即对自然语言的丰富多样的具体现象,尤其是对语词的研究非常不充分。CCG则挑战传统,大胆创新,提出新的研究模式,构筑大规模的词库,关注大量的规则例的应用,以此满足了计算机的自然语言系统处理大规模真实文本的需求。而如果全面系统地考虑语义因素,CCG的词库和规则例也可能需要大的调整。CCG的下一步研究任重而道远。; 关键词逻辑语义学范畴类型逻辑组合范畴语法; 分类号 B81 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名智能主体的等级BDI(信念、愿望和意图)模型被引量：3: 4; 作者张晓君林颖周昌乐; 机构四川师范大学逻辑与信息研究所福建省仿脑智能系统重点实验室(厦门大学) 宁德师范学院厦门大学智能科学与技术系; 出处《计算机科学》 CSCD 北大核心 2016年第7期35-40,共6页; 基金教育部人文社会科学研究规划基金项目(13YJA72040001) 国家自然科学基金项目(61273338/F030603)资助; 文摘 BDI(信念、愿望和意图)模型是影响最为广泛的主体技术之一。在把无穷值的ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化的基础上,提出了GBDI_(PDL+LL)逻辑。为了通过概率、必然性和可能性对不确定性行为进行表示和推理,把相应的公理添加到■ukasiewicz逻辑中。文中的GBDI_(PDL+LL)主体模型使用多背景系统,清晰地表示了信念、愿望和意图的不确定性。GBDI_(PDL+LL)主体行为则通过添加具体条件的每种背景的不同测度来决定。对信念、愿望和意图的模型进行了公理化,并说明了它们对主体行为的影响,该模型可以很轻易地向包括其他心理状态的主体进行推广。在给出了GBDI_(PDL+LL)模型语言、语义和GBDI_(PDL+LL)逻辑的公理和演绎规则后,证明了此逻辑系统的完全性和可靠性。之后,在对复合行动进行形式刻画的基础上,描述了GBDI_(PDL+LL)模型的不同背景之间的关系。文章立足于不确定性的表示和推理,志在为分布式人工智能提供形式支持。; 关键词等级BDI(信念、愿望和意图)主体不确定性推理背景行动模型; Keywords Graded belief-desire-intention （BDI） agents, Uncertain reasoning, Contexts, Actions, Models; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名组合原则和自然语言虚化成分被引量：2: 5; 作者邹崇理; 机构四川师范大学逻辑与信息研究所中国社会科学院哲学所; 出处《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2017年第1期5-9,共5页; 基金国家社科基金重大招标项目"自然语言信息处理的逻辑语义学研究"(10&ZD073); 文摘计算机人工智能时代最重要的任务之一是自然语言的信息处理,逻辑语义学则是其基础理论,而组合原则又是逻辑语义学的基本原则,表现为部分决定整体的函项思想。自然语言的虚化成分是自然语言复合表达式中对整体意义不起作用的那些部分,自然语言违反组合原则的情况表现为句法和语义的不对应,意味着决定整体意义的"部分"这个概念应该受到限制,组合原则的经典表述在自然语言的某些场合受到挑战。就自然语言的某些语义领域而言,限制性的组合原则概念是关于组合原则具体精准的表述。; 关键词逻辑语义学组合原则自然语言虚化成分; Keywords logical semantics principle of compositionality natural language vacuous com- ponents; 分类号 B81-05 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名关于广义量词many的广义三段论推理被引量：2: 6; 作者李晟袁兆隆; 机构四川师范大学逻辑与信息研究所四川师范大学政治教育学院; 出处《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2017年第1期15-19,共5页; 基金国家社科基金西部项目"面向中文信息处理的汉语主谓句的逻辑语义及其推理模式研究"(15XYY012); 文摘三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。; 关键词传统三段论广义三段论广义量词推理; Keywords classical syllogisms generalized syllogisms generalized quantifiers reasoning; 分类号 B812.23 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名“物莫非指,而指非指”——公孙龙指称论语义学思想被引量：1: 7; 作者林胜强田凤琳; 机构四川师范大学逻辑与信息研究所; 出处《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2018年第1期35-41,共7页; 基金国家社会科学基金重大招标资助项目:15&ZD073; 文摘从传统形式逻辑的角度来说,中国先秦时期虽然没有上乘的表现,但从符号学和现代语言学的视角看,先秦时期的中国却可以称得上是一个具有丰富的语义学思想传统的国家。早在先秦时期,孔子、墨子、孟子、公孙龙、荀子等诸子及其著述在其名实理论的基础上,就对今人所指的语义学思想进行了探讨。在先秦诸子的著述里,公孙龙名实理论中表现出来的指称论语义学思想最具代表性,特别是他的《指物论》对指称论语义学思想的探讨,已经达到相当高的水平,标志着先秦指称论语义学思想的形成。; 关键词公孙龙《指物论》指称论语义学; 分类号 O81 [理学]; 在线阅读下载PDF 职称材料

题名语义类型的细化和转换——MG中类型论的新进展: 8; 作者崔佳悦邹崇理; 机构首都经贸大学外国语学院四川师范大学逻辑与信息研究所; 出处《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2018年第3期88-93,共6页; 基金国家社科基金重大招标项目"应用逻辑与逻辑应用研究"(14ZSB014); 文摘自然语言计算机处理(NLP)的重要性已经越来越为学者们所意识到,本文主要考虑NLP分析自然语言语义涉及到的逻辑类型论工具和蒙太格语法MG。由于自然语言真实文本的复杂多样性,传统MG的解释力明显不够。为突破这样的局限,本文关注语义类型的细化和语义类型的转换,对自然语言的语义类型进行细致的划分,在MG的类型论中添加语用算子,针对不同语境进行语义类型的转换。; 关键词类型论语义类型蒙太格语法类型细化类型转换; Keywords theory of types semantic types Montague grammar type refinement transformation of types; 分类号 B81-05 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	传统三段论的形式化和公理化研究	张晓君李晟	《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心	2016	6	在线阅读下载PDF 职称材料
2	古汉语使动双宾语语句的逻辑语义分析	林胜强付豪	《四川师范大学学报（社会科学版）》 CSSCI 北大核心	2018	0	在线阅读下载PDF 职称材料
3	从CTL到CCG——逻辑语义学的新模式	邹崇理	《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心	2017	0	在线阅读下载PDF 职称材料
4	智能主体的等级BDI(信念、愿望和意图)模型	张晓君林颖周昌乐	《计算机科学》 CSCD 北大核心	2016	3	在线阅读下载PDF 职称材料
5	组合原则和自然语言虚化成分	邹崇理	《四川师范大学学报（社会科学版）》 CSSCI 北大核心	2017	2	在线阅读下载PDF 职称材料
6	关于广义量词many的广义三段论推理	李晟袁兆隆	《四川师范大学学报（社会科学版）》 CSSCI 北大核心	2017	2	在线阅读下载PDF 职称材料
7	“物莫非指,而指非指”——公孙龙指称论语义学思想	林胜强田凤琳	《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心	2018	1	在线阅读下载PDF 职称材料
8	语义类型的细化和转换——MG中类型论的新进展	崔佳悦邹崇理	《四川师范大学学报（社会科学版）》 CSSCI 北大核心	2018	0	在线阅读下载PDF 职称材料