带有偏爱算子的等级信念-愿望-意图逻辑研究

在经典命题逻辑的基础上,运用Pavelka有理数逻辑以及克里普克语义学,建立起来的带有偏爱算子的等级信念-愿望-意图(简称BDI)逻辑系统可以对主体心智状态的强烈程度进行柔性化处理,为Agent(主体、真体、智能)的决策行为进行精确的数值计算以及形式化的逻辑推理,此模型具有广泛的应用价值。

传统三段论的形式化和公理化研究

利用广义量词理论对四个亚里斯多德量词的真值定义,可以对传统三段论进行形式化。在AAA-1和EAE-1这两个公理的基础上,利用四个亚里斯多德量词的单调性之间的可转换关系,可以对传统三段论进行公理化。这些创新性成果,对于自然语言信息处理以及计算机科学中的知识表示和知识推理,都有着重要的理论意义和实践价值。

直觉主义逻辑上的Friedman-Sheard理论

文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数。文章在最后证明了FS可以通过否定性转换嵌入IFS。

古汉语使动双宾语语句的逻辑语义分析

利用范畴类型逻辑对古汉语使动双宾语语句进行逻辑分析时,句法和语义的组合可以同时在树结构中展示出来,句法组合伴随了语义方面的函数应用。文章列举了古汉语"晋侯饮赵盾酒"和"殴民而归之农"两例进行逻辑语义分析,以说明这一研究方法具有普适性,能够对中文信息处理起到一定的推动作用。

从CTL到CCG——逻辑语义学的新模式

范畴类型逻辑CTL和组合范畴语法CCG,是范畴语法CG的两个现代版本。CTL采用传统的逻辑语义学方式,其特点是强调计算的思想、基于规则的思路和研究逻辑工具本身的性质。就面向自然语言计算机处理的任务而言,CTL的短板是显然的,即对自然语言的丰富多样的具体现象,尤其是对语词的研究非常不充分。CCG则挑战传统,大胆创新,提出新的研究模式,构筑大规模的词库,关注大量的规则例的应用,以此满足了计算机的自然语言系统处理大规模真实文本的需求。而如果全面系统地考虑语义因素,CCG的词库和规则例也可能需要大的调整。CCG的下一步研究任重而道远。

基于全称量词all的广义三段论的语篇推理研究

涉及两个及以上语句的推理就是语篇推理。两个语句间的单调性推理、亚氏三段论推理、广义三段论推理都可以看作是语篇推理。两个语句间的单调性推理实则是在前提中,省略了全称肯定命题的三段论推理。利用广义量词理论、集合论等知识,可以对包括亚氏三段论在内的广义三段论进行形式化和有效性的研究。对此,有21个事实作为例证。在此基础上,可以对两个及以上的广义三段论组成的语篇推理进行形式化和有效性的研究。这些创新性研究有利于自然语言信息处理、计算机科学中的知识表示和知识推理,以及更加智能的推理机的研发。

外延语句与部分内涵语句的逻辑语义新构造

在蒙太格的方案中,利用了意义公设对外延语句与内涵语句进行了区分,这种做法不免显得繁琐。通过利用存在谓词和可能算子,对外延语句中的外延动词和内涵语句中的宾语对象直接进行逻辑语义处理,是在蒙太格语法的基础上进行的发展。该方案一方面简化了逻辑语义的翻译过程,另一方面体现出了外延语句和内涵语句的一个基础直觉,即外延语句宾语对象为实存对象,内涵语句对象既可为实存对象也可为虚构对象。

印度正理派哲学中的“推断”概念

“推断”概念是印度早期正理派哲学和逻辑思想中的核心概念。通过对该概念的分析可知,印度早期正理派逻辑具有多面性特质。首先,早期正理派逻辑与亚里士多德的三段论存在相似之处,因此该逻辑具有演绎推理的某些特质。其次,早期正理派逻辑涉及对类比推理的使用,因此该逻辑兼具类比推理的某些特质。第三,早期正理派逻辑可以按照溯因推理的形式结构进行重构,因此该逻辑亦具有溯因推理的某些特质。上述多面性特质所引发的启示在于,一方面,印度逻辑具有现代价值,即能够为当代人工智能逻辑的发展提供有益的启示;另一方面,对东方逻辑的研究亦应当立足于东方文化视角,通过东西方互鉴从而得到全面的阐释。

意图与Agent承诺

理性的Agent对自己行为的控制依赖于自己的意图。意图具有两面性,它与意图行动和协调规划相联系。意图具有复杂的功能作用和相关规范特征,它们构成了意图的承诺特征。承诺有两个维度:意志的维度和以推理为中心的维度。承诺的意志维度的描述性说明包括:面向当前的意图在控制当下行为中的典型作用。承诺的规范性说明包括规范和“与这些作用相关的”理性规范。承诺既与“面向当前的意图在控制当前行为中的”作用有关,也与面向未来的意图“在意图的产生和意图的执行之间的过渡过程中的”作用有关。

智能主体的等级BDI(信念、愿望和意图)模型

BDI(信念、愿望和意图)模型是影响最为广泛的主体技术之一。在把无穷值的ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化的基础上,提出了GBDI_(PDL+LL)逻辑。为了通过概率、必然性和可能性对不确定性行为进行表示和推理,把相应的公理添加到■ukasiewicz逻辑中。文中的GBDI_(PDL+LL)主体模型使用多背景系统,清晰地表示了信念、愿望和意图的不确定性。GBDI_(PDL+LL)主体行为则通过添加具体条件的每种背景的不同测度来决定。对信念、愿望和意图的模型进行了公理化,并说明了它们对主体行为的影响,该模型可以很轻易地向包括其他心理状态的主体进行推广。在给出了GBDI_(PDL+LL)模型语言、语义和GBDI_(PDL+LL)逻辑的公理和演绎规则后,证明了此逻辑系统的完全性和可靠性。之后,在对复合行动进行形式刻画的基础上,描述了GBDI_(PDL+LL)模型的不同背景之间的关系。文章立足于不确定性的表示和推理,志在为分布式人工智能提供形式支持。

基于keg-BDI主体的决策行为建模（英文）

文章通过把无穷值的卢卡斯维茨逻辑的真值取值范围从[0,1]扩展到[-1,1],提出了基于卢卡斯维茨逻辑和命题动态逻辑的keg-BDI逻辑(即:知识情感等级BDI逻辑),此逻辑是情感等级BDI逻辑的一种扩展逻辑。keg-BDI逻辑可以对知识状态、心智状态(比如:信念、愿望和意图)和情感状态(比如:害怕、焦虑和自信)这些能够能够影响keg-BDI主体行为决策的因素进行形式化。keg-BDI主体的决策行为是通过添加了具体条件的不同背景的不同测度来决定。文章在给出了keg-BDI模型的语言、语义之后,对此种模型的不同背景之间的相互关系进行了论述,最后对keg-BDI主体的军事决策行为进行了实例分析。本研究的目的在于为分布式人工智能和军事仿真提供形式支持。

基于组合范畴语法的现代汉语两种结构歧义的消解

结构歧义消解是自然语言信息处理的重点和难点研究领域。利用组合范畴语法的推演树,可以对现代汉语中由形容词的不同管辖范围、两个以上的名词组成的名词短语所产生的两种结构歧义句进行消解。可以通过对结构歧义句中词条指派不同的范畴,以及对推演树中表达式的毗连采取不同的先后顺序,达到歧义消解的目的。

组合原则和自然语言虚化成分

计算机人工智能时代最重要的任务之一是自然语言的信息处理,逻辑语义学则是其基础理论,而组合原则又是逻辑语义学的基本原则,表现为部分决定整体的函项思想。自然语言的虚化成分是自然语言复合表达式中对整体意义不起作用的那些部分,自然语言违反组合原则的情况表现为句法和语义的不对应,意味着决定整体意义的"部分"这个概念应该受到限制,组合原则的经典表述在自然语言的某些场合受到挑战。就自然语言的某些语义领域而言,限制性的组合原则概念是关于组合原则具体精准的表述。

关于广义量词many的广义三段论推理

三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。

基于广义量词almost all的广义三段论的语篇推理探究

自然语言语篇推理是自然语言信息处理、计算机科学中的知识表示和知识推理的重点与难点内容之一。利用广义量词理论、集合论和模糊逻辑相关知识,可以简洁明了地对包含almost all的广义三段论进行形式化的表示和证明。对此有18个事实可以印证。在广义三段论形式化和有效性研究的基础上,可以探讨由两个及以上的广义三段论嵌套而成的自然语言语篇推理。这些创新性成果和研究方法,将为考察包含其他广义量词的广义三段论的形式化、有效性及其相关语篇推理提供一个简洁合理的数学范式。

“物莫非指,而指非指”——公孙龙指称论语义学思想

从传统形式逻辑的角度来说,中国先秦时期虽然没有上乘的表现,但从符号学和现代语言学的视角看,先秦时期的中国却可以称得上是一个具有丰富的语义学思想传统的国家。早在先秦时期,孔子、墨子、孟子、公孙龙、荀子等诸子及其著述在其名实理论的基础上,就对今人所指的语义学思想进行了探讨。在先秦诸子的著述里,公孙龙名实理论中表现出来的指称论语义学思想最具代表性,特别是他的《指物论》对指称论语义学思想的探讨,已经达到相当高的水平,标志着先秦指称论语义学思想的形成。

一种无类型的弱公理化真理论及其扩充

在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得到在经典逻辑上不相容,而在直觉主义逻辑上相容的公理化真理论。但是,这类公理化真理论并不是理想的真理论。

关于单称命题的三段论推理

大多数逻辑学教科书和逻辑学者长久以来都在传播这样的观念:"在研究涉及单称命题的直言三段论的有效性时,单称命题可以视作全称命题来处理。"通过利用有效的单称命题三段论但其对应的直言三段论却是无效的11个事实,强而有力地否定了这一观念。经过提出的25个事实表明:利用广义量词理论和集合论,不仅可以形式化地表示关于单称命题的三段论,而且还可形式化地判断和证明其有效性及相关语篇推理的有效性。这些形式化的创新研究有利于语言学(包括计算语言学)、认知科学、人工智能、计算机科学中的知识表示和知识推理等相关研究的发展。

■ukasiewicz的实然三段论系统■A的证实与证伪

以Johnson等文献为基础,利用广义量词理论和集合论,对Lukasiewicz提出的实然三段论系统A进行深度拓展研究,并给出一些定理说明如何形式化地对实然三段论进行证实与证伪。

问句逻辑的三种研究方法

问句是日常语言中非常重要的句式结构,从逻辑角度研究问句的方法也不少,其中,博弈问句模型、推理问句逻辑和探究语义学,代表了三种不同的研究思路。博弈问句模型使用图表推理的方式分析涉及问句的会话,可以比较不同提问方式的策略优劣。推理问句逻辑有完整的语义解释和句法定义,直观地刻画了问句的推理关系。探究语义学在形式上与现代逻辑比较一致,可以构建带问句的逻辑系统,统一地处理命题和问题的逻辑性质。