MAS环境下实现Agent交互协作的关键技术

讨论了MAS环境下实现Agent交互协作的关键性问题。在分析Agent协同设计目标的基础上,将遗传算法应用于子任务的调度,提高了Agent协同工作的效率。应用Agent的通信语言建立了一个基于知识查询与操纵语言的Agent通信模型,通过引入Agent位置追踪和Agent消息缓存机制解决了Agent移动过程中遇到的位置追踪和通信失效问题。     

论实现“中国梦”的逻辑

实现“中国梦”的逻辑是一种行动逻辑.行动的推理把人的目的作为推理的首要前提.目的的正当性和手段（工具）的有效性是行动推理的两个前提.“中国梦”体现了近现代中国历史发展的必然,是中国近现代史的主题;又是全体中华儿女的伟大梦想和共同愿望,体现了目的的正当性.道路的正确性和实干的科学性是实现梦想的有效逻辑手段（工具）.它与正当的目的一起,是达到梦想成真即主客观一致这一行动推理的结论的两个必不可少的前提.     

“比喻”格的逻辑研究

比喻是日常语言交际中最常见的表现手法。为科学地认识比喻、描写、说明、运用比喻,本文从比喻能否充当定义、比喻是否表达判断、比喻是不是推理、现代逻辑对比喻的刻画等方面,分析了比喻句中的若干逻辑问题,指出了比喻在有的情况下可用于定义;比喻都是以判断作为它赖以形成和表现的逻辑基础;比喻都可以扩展成为完整的类比推理;引进模糊学、运用谓词逻辑可以对比喻进行更精确的刻画,等等。     

“比喻”格的逻辑研究

比喻是日常语言交际中最常见的表现手法。为科学地认识比喻、描写、说明、运用比喻,本文从比喻能否充当定义、比喻是否表达判断、比喻是不是推理、现代逻辑对比喻的刻画等方面,分析了比喻句中的若干逻辑问题,指出了比喻在有的情况下可用于定义;比喻都是以判断作为它赖以形成和表现的逻辑基础;比喻都可以扩展成为完整的类比推理;引进模糊学、运用谓词逻辑可以对比喻进行更精确的刻画,等等。     

法律推理从“逻辑独白”到“实践对话”的位移

法律推理过程包含着权力与利益、应然与实然、确定性与妥当性、客观解释与主观解释、逻辑与价值、语言与事件、思维与表达、认知与行动等诸多矛盾.在司法能动主义与司法克制主义、自然法学与分析法学、实证主义与现实主义、分析哲学与经验哲学的碰撞中,法律已经由文本所体现的规范层面转向法律施行的实践层面,法律推理已经由“逻辑独白”位移到“实践理性”.     

试析黑格尔对形式逻辑的误解

形式逻辑不是思维科学，而是关于推理的形式科学，辩证逻辑与它并无高低之别。其逻辑规律是语言世界中关于推理形式的规律。从现代逻辑观点看，黑格尔所谓“甲是甲”（“ａ＝ａ”）的命题形式包含（陷于）矛盾，是空洞的、抽象的同语反复，违反形式逻辑本身，“一切东西（事物）和它自身同一”等意见，完全是他从逻辑方面或从本体论方面对同一律等三律乃至形式逻辑的误解     

语言哲学与语言逻辑

二十世纪西方哲学出现了“语言学转向”,形成了一门新兴的学科——语言哲学。语言哲学涉及的范围相当广泛,其核心是意义问题。通过对语言深层的逻辑结构的分析,形成了人工语言的精确性与自然语言的不精确性的鲜明对比,于是就产生人工的理想语言与日常的自然语言之争。现代一些语言哲学家从理想语言又回到日常语言上来,并提出了“语言逻辑”的概念。语言逻辑重点要研究在人们实际的语言交际过程中的推理过程,其内容既包括逻辑语形学,也包括逻辑语义学与逻辑语用学,合起来也就是逻辑符号学。     

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

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

“推理”的双重语义与逻辑学层级

随着“逻辑的认知转向”兴起,实际推理过程研究被越来越多的学者视为逻辑学的一部分。这似乎违背了弗雷格的“反心理主义”,因而引起学界的争议。哈曼从“推理”的双重语义出发,否定逻辑与实际推理过程之间存在无例外的关联原则,论证实际推理过程研究应排除在逻辑学之外;菲尔德则肯定这种原则的存在,论证逻辑是规范性学科。引入层级分明的“大逻辑观”视角可知,这种关联原则存在与否,应属于“应用逻辑”层面的问题,因而无法决定逻辑本身的学科范围。在一定意义上,实际推理过程可作为逻辑研究对象。     

公关语言的逻辑形式

公关语言指公关传播或人际交往中的语言实践,公关语言必须符合逻辑要求,这是使公众理解和接受信息的基本前提之一。 “逻辑”在这里是指人的思维的规律。思维,看不见、听不到、摸不着,不具有直接的现实性。要使这种失去了物质形象的特征和联系在意识中固定下来,就必须依靠另一种物质的可感知的东西——语言。 传统逻辑把人类的思维看成是由概念、判断、推理构     

认证邮件协议的安全性分析与改进

认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究。利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点。     

弗雷格的“普遍性”思想——基于句子图式的视角

“普遍性”是弗雷格概念文字的初始符号。弗雷格有关“普遍性”的探讨其实是关于全称量词的探讨,他基于“普遍性”符号,从现代逻辑的视角对全称量词进行了说明。在这样的说明下,全称量词是表达思想的普遍性的语言标志,全称量词的涵义是思想的一部分,全称量词的意谓是二阶概念,它通过对个体域的限定,从而对(一阶)概念加以限制。运用概念文字,弗雷格揭示了自然语言中表达普遍性思想的句子的逻辑形式。借助于王路教授提出的句子图式,可以从语言、涵义和意谓三个层面分析弗雷格关于“普遍性”的思想。弗雷格的“普遍性”思想对现代逻辑和语言哲学都具有重要的理论意义。     

代理的环境评价模型在智能报表系统中的应用

代理之间的交互是多代理系统中的重要问题.根据人的行为受到社会评价的影响,提出了代理交互的环境评价模型,并对其在智能报表系统中的应用特点进行了讨论;基于智能报表系统的逻辑模型,探讨了代理的评价和主要协调过程,定义了代理的评价公式.环境评价模型与其他模型相比,便于工程实施,简化了代理内部的推理过程和代理之间的协调或协商过程,还可用于多代理系统的开发和运行维护过程.     

论侦查语言的逻辑构造

一般情况下,侦查工作中使用的侦查语言很少能直接地应用于逻辑分析.应用逻辑思维进行侦查推理必不可少的一步是把侦查语言材料转化为逻辑语言,这一步或多或少存在着一定的风险.为避免在转换操作过程中曲解原意,这里介绍一种基于逻辑分析的目的将侦查语言“翻译”成符号语言的方法,以提高侦查效率.     

集合概念的逻辑特征

普通逻辑中区分集合概念与非集合概念,对正确认识概念的内涵和外延,理解命题的含义,合理地进行推理有着重要的意义.根据二者不同的逻辑特征,可以从形式上进行区分;同时它们之间的区别还可以通过“例示”和量化原则得到说明.     

基于云存储的高效F-HMIPv6切换协议

提出了一种基于云存储的F-HMIPv6切换协议,引入云存储服务商为可接入路由和移动锚点管理转交地址列表,维护列表中转交地址的唯一性与可用性,可接入路由与移动锚点直接向云存储服务商申请获取转交地址,避免了重复地址检测操作和可接入路由与移动锚点自己维护转交地址列表的负担。该协议还可缩短切换发起消息和快速确认消息的消息长度。分析表明,与标准F-HMIPv6切换协议相比,该协议能有效缩短切换时延,节省网络带宽资源和增加协议实用性。     

离婚财产协议参照适用情势变更规则:教义诠释、确证与运行

虽然《中华人民共和国民法典》第464条第2款从宏观层面明确规定了与身份关系有关的协议可参照适用合同编的规则,为离婚财产协议参照适用情势变更规则提供了制度基础,但是,对于“参照适用”技术在此条中的适用问题,仍存在正当性与合理性的争议。基于此,文章从离婚财产协议参照适用情势变更规则的教义诠释入手,澄清“有关身份关系的协议”和“参照适用”的语词意旨与技术原理。随后,考虑到离婚财产协议具有人身和财产的二重属性,故可通过抽象价值的检讨和法律解释方法的运用,确证离婚财产协议可得参照适用情势变更规则的正当性。最后,解构情势变更规则的构成要件和法律效果,方可得出其运行的基本构造和逻辑进路。     

德国古典哲学外延逻辑批判的总线索

以三段论为基本模型的形式逻辑推理被指认存在着两项弊端,一是默认大前提中的知识内容先天为真,二是默认从前提到结论的推理形式先天为真.在通常的见解中,人们习惯于分别指出这两者的存在,但并不探讨两者的内在联系,仿佛它们是漠不相关的两个方面.与这种看法相反,我们强调将两项弊端看作同一弊端——脱离内容而进行推理的弊端——的重要性,因为只有这样,才能抓住德国古典哲学逻辑学改造的根本线索.近代哲学创始人与德国古典哲学家进行外延逻辑批判的路径既有差异,又是进入这一线索的钥匙:培根和笛卡尔“绕过”对形式逻辑同一律的反省,单纯进行形式推理大前提批判;从康德到黑格尔则“围绕”形式逻辑同一律,通过引入推理前提内容的产生及真理性考察来实现对两项弊端的共同批判.具体来说,康德的批判途径是在传统逻辑与先验逻辑之间“划界”,费希特和谢林是以“自我=自我”扬弃“A=A”,黑格尔是以“具体的同一”扬弃“抽象的同一”.培、笛二人与德国哲学家的最终目的一致,即为科学奠基,说明和寻找知识的创生源泉;路径则是不同的,只有后者才更为准确地达到了目的地,进而为马克思《资本论》的创作奠定了逻辑基础.     

用PROLOG模拟Lyusia语言中状态转移编程体裁

新人工智能语言 Lyusia 是一种多体裁多层次的新型编程语言。它在语法上和在语义上有机地协调地统一了五种编程体栽:泛函的,逻辑的,集合论的,状态转移(过程的与法则的相结合)的及数据流的。本文通过一些例子,用 PROLOG 来模拟 Lyusia 语言中状态转移编程体裁,以达到:(1)阐明状态转移编程体裁的逻辑本质。(2)显示“状态转移编程体裁既蕴含着过程性,又蕴含着说明性(declarative)”。(3)显示“状态转移编程体裁是过程编程体裁与基于法则编程体裁的结合”。(4)表明状态转移编程体裁在表达能力方面的简洁、灵活、善变。(5)说明状态转移编程体裁的应用。     

轻量级RFID双向认证协议设计与分析

针对低成本RFID系统常用的基于Hash运算认证协议的安全性进行研究,分析了该类协议存在的安全缺陷和不足,给出设计低成本RFID认证协议满足安全需求的思路,提出了一种轻量级的RFID双向认证协议,运用BAN逻辑的形式化分析方法,对该协议的安全性进行证明。结果显示,该认证协议能满足RFID应用中面临的机密性、完整性和可追踪性的安全需求,可抵制跟踪、标签假冒、重放等攻击,弥补已有基于Hash运算的认证协议中存在的安全缺陷,更适合低成本RFID系统对应用安全的需求。