弗雷格-吉奇问题与实践推理

对道德判断的条件句推理的非认知主义解释面临弗雷格-吉奇问题的挑战。我们考察了经典的表达主义者提出的解决方案。共同基本策略是把非断定语境中的规范性陈述,转化成断定语境中的非规范性陈述,从而给出统一处理信念和态度/欲求的语义学。相比起来,近年兴起的混合表达主义,主张规范性语句是信念成分和表达成分的混合,是更有希望的解决方案。论文比较了道德假言推理、法律规范推理以及实践推理之间的差异,试图通过对信念和欲求、意图之间的关系的说明,对规范性语句的不同推理类型给出统一的解释。

5～8岁儿童二级信念-愿望推理能力的发展

该研究依据信念(正确-错误)和愿望(接近-回避)对儿童的二级信念-愿望推理能力进行了细分,并据此设计了四个二级信念-愿望任务,探讨了480名5～8岁儿童在四个任务上的表现。结果发现,对儿童而言,不同的二级信念-愿望任务的难度不同,由易到难的顺序依次为:二级真实信念接近愿望、二级错误信念接近愿望、二级真实信念回避愿望、二级错误信念回避愿望。

成功的信念-愿望推理机制

本文介绍了模块论的最新进展——成功的信念-愿望推理机制(ToMM-Sp)。ToMM-SP结合信息加工理论阐述心理理论的内部加工机制,提出双抑制和返回抑制两类抑制控制模型。本文综述了ToMM-SP的理论假设及各类实验研究,并针对其不足指出了要确定心理理论的内部加工过程尚需解决的问题。

信念-愿望-意图逻辑的哲学基础

从常识性心理学、心灵哲学和行为哲学的视角,系统探讨意图、信念、愿望、规划与Agent实践推理的关系,可得到如下主要观点:(1)意图既是潜在的行为影响者,又是行为控制者,它为进一步的实践推理和规划提供了重要的输入。(2)意图涉及承诺;规划揭示了“以实践推理为中心的承诺的重要属性”;资源受限Agent的规划通常是具有层级结构的局部规划;意图是规划和实践推理得以关联的关键因素。(3)规划支持协调,并能够扩大慎思对之后行为的影响。(4)意图不仅能够帮助实践推理确定选项的相关性和可接受性,而且还能够构建“权衡愿望-信念理由”的过程。

意图驱动网络服务韧性机制研究

软件定义网络、网络功能虚拟化和意图驱动网络等新技术的出现,促使网络朝着服务化、定制化和智能化等方向快速发展。然而,规模巨大且复杂的网络形态导致网络管理存在失效,同时网络攻击事件频繁发生。因此,提高网络服务韧性,确保网络服务能够持续保障,变得非常重要。意图驱动网络能实现从用户意图到网络韧性策略生成及其下发的全过程的自动部署,为网络有效应对各类挑战提供更加灵活的手段,极大地改善了网络管理效率,并提高了网络服务韧性。基于此,提出一种意图驱动网络服务韧性控制环路架构及其实现架构。首先,通过将信念-愿望-意图推理逻辑引入韧性推理机制,使网络具有预防功能、防御功能、恢复功能以及适应功能,能够在网络攻击发生前期及时地作出响应,并根据具体环境灵活调整韧性策略,以应对突发的网络攻击,持续保障网络服务。最后,以分布式拒绝服务攻击作为用例,验证所述的意图驱动网络服务韧性机制在保障网络服务韧性方面的有效性。

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

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

明示——推理:交际理解的机制

Sperber和Wilson在关联理论中提出了言语交际的“明示——推理”模式。他们认为明示与推理是交际过程的两个方面,从说话人的角度而言,交际是一个明白无误地示意过程,即交际时说话人明确表达出自己的意图;但从听话人的角度而言,交际又是一种推理过程,即从说话人通过明示手段提供的信息中推断出说话人的交际意图。关联理论从认知语言学的角度提出语言交际是按一定推理思维规律进行的认知活动。根据关联原则,任何一个交际行为都传递着最佳相关性的假定或期待,听话者总是以最小的认知努力来获得最大的语境效果,并以此推导出说话者的交际意图。

基于BDI的Agent动态推理模型

本文基于慎思式Agent的理论,研究如何发展Agent的适应能力,对现有Agent的推理模型作了改进,提出了一个具有动态推理能力的Agent模型。

关联理论明示——推理模式在交际中的运用

关联理论从认知的视角阐释了交际的实质,认为交际实际上是一种"明示—推理行为"。对说话人而言,交际是一种明示过程,说话人将要强调的信息通过某种手段把信息意图明白无误地展现出来;对听话人而言,交际又是一个推理过程,即根据说话人的明示行为,结合认知语境进行推理,获知说话人的交际意图。文章以关联理论的明示—推理理论为框架,解读了明示—推理机制在交际中的实际运用。

基于Agent的协同感知控制体系与通信机制

随着协同工作中分布式协同行为的增多,对协同主体之间信息交流和协同控制的要求越来越高。为了解决协同控制中动态、开放、社会性的复杂系统问题,引入了协同Agent的概念。利用协同Agent的信念-愿望-意图体系结构,有效实现了协同过程各阶段的感知、控制功能。此外,还利用言语行为理论扩展知识查询和操作语言通信原语,形式化定义了协同工作特有的言语行为,在通信层面为协同工作提供支持。

基于BDI-Agent模型的突发事件网络舆情应急响应建模研究

【目的】基于"信念–愿望–意图"(BDI)模型分析网民在突发事件网络舆情中行为决策的动因和发展规律,引导网民情绪,建立复杂网络情境下可推理、可预测的应急响应计算模型。【方法】基于"信念–愿望–意图"模型建立起网络舆情演变过程中各类主体(网民、政府、媒体)的多Agent交互模型,对网民的心智状态的转换过程建模仿真,从而揭示网络舆情演变的内在动因,支持应急响应策略的科学制定。本文以突发事件网络舆情中网民情感倾向性为核心,面向网民、政府、媒体的交互,设计BDI-Agent概念模型,包括Agent语境和推理规则设计;在此基础上设计实证模型,包括Agent属性、推理规则和交互规则设计,并结合实际案例进行验证。【结果】结合典型突发事件网络舆情案例进行实证研究,验证本文提出的多Agent模型的科学性。【局限】该模型需要更多同类事件的对比和优化。【结论】可以基于BDI模型将复杂的网络舆情映射为一个可以规约推理的计算模型,并为突发事件网络舆情演变趋势的预测和应急策略的制定提供一套可参考的实证模型。

动态不确定环境下的决策:一种分层决策模型

本文提出一种智能体分层决策结构模型,试图通过分层决策技术有效地解决动态、不确定环境中的智能体的实时决策问题。本模型的高层采用BDI结构,以便为较长期任务的规划和推理提供充分的支持;模型的底层采用反应式结构,以保证对短期实时任务的及时响应。实验结果表明了这种分层模型在某些复杂任务领域中的有效性。

关联理论的交际观对翻译行为的诠释

翻译已越来越多地被看成是人类行为的一种过程,一种形式。翻译研究逐步意识到对这一认知过程研究的重要性。关联理论的明示—推理模式从认知的角度出发,对交际做了新的诠释,该交际模式下所包含的认知语境、信息意图、交际意图、最佳关联等内容都对翻译产生了影响,并合理地解释了翻译过程、翻译策略的选定、翻译批判原则的界定等经常被论述的命题。

整合贝叶斯网络的BDI模型

针对BDI模型在不确定领域应用的薄弱,提出了一种改进的BDI(Beliefs—Desires—Intentions)模型。以BDI体系结构为基础,结合贝叶斯网络,建立了智能体对可能世界的认知表示;通过贝叶斯网络推理,实现了对达成目标状态的期望估计;在意图中,通过引入规划因子,完成行为决策。用Java语言在eclipse平台上对农作物栽培实例进行仿真,验证了模型能够在不确定环境中,进行理性的认知、推理、规划。

虚拟战场环境下基于Agent技术的指挥实体研究

计算机生成的指挥实体模拟指挥员在战场环境中的指挥与控制作用,可以替代人参与大规模的虚拟战场的仿真演练。本文在分析战场指挥作用的基础上,结合Agent的BDI理论提出了一种基于Agent技术的指挥实体的结构模型,阐述了各功能模块间的作用关系、决策与规划,并讨论了指挥Agent的具体行为过程。

幽默生成的认知分析

在交际的明示—推理的过程中,由于交际双方认知环境的差异、最大关联与最优关联的背离和信息意图与交际意图的反差,幽默孕育而生。该文还提出了幽默的认知过程,方便读者或听话人更好地解读幽默。

基于AUML的BDI Agent软件测试用例生成算法

根据面向BDI Agent的软件特点,采用基于模型的软件测试方法。利用树形结构对BDI的运行过程进行分析,确定Agent个体的运行轨迹;对AUML模型中的序列图进行分析,做Agent间的交互测试。将序列图(sequence diagramSD)中的消息进行提取,确定MAS中每个Agent所要处理的消息事件集合,依据消息集合生成目标树,遍历目标规划树确定测试路径;依据测试路径生成测试用例。实验结果验证,该方法可以基于AUML序列图生成完备的测试用例。

浅谈用BDI模型开发智能NPC游戏角色

现代计算机游戏是一个非常复杂的软件系统,已经越来越多地运用AI技术来更好的满足玩家的需求。虽然BDI模型越来越受到人们的关注,但是BDI模型并没有广泛地应用在游戏的开发上。针对这方面的矛盾,出现了面向Agent的方法．通过一个游戏演示了它的可能性,该演示表明这种面向Agent的方法可以有效地解决这对矛盾。

基于多传感器信息融合的外骨骼运动意图辨识

为了实现外骨骼机器人的柔顺运动控制,需要对穿戴者的运动意图进行实时准确地辨识与预测。本研究利用多传感器信息融合的方法完成对穿戴者运动意图的识别。通过对多种机器学习算法在识别准确性、资源消耗和处理实时性进行比较、最终确定利用支持向量机(SVM)实现对日常8个运动模式(静坐、双腿站立、步行、跑步、上下斜坡和上下楼梯)完成动作模式的识别,识别平均准确率达到95%。对于运动相位和运动切换事件的预测,利用神经-模糊推理理论完成运动相位识别与状态切换事件的预测。在给定的测试集上相位识别准确率为99%,且预测的状态切换时刻与真实时间的偏移绝对值的均值为61.6 ms,满足外骨骼柔顺控制对预测时间的要求。

关联理论对交际观的贡献

在语用学的发展过程中,学者们对人们的交际究竟是怎样的一个过程持着不同的观点,不同的交际观对交际有着不同的描写。由Sperber和Wilson所提出的"关联理论"(the Relevance Theory),对交际作出了许多独树一帜和令人信服的阐述。