意图与Agent承诺

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

结构不是数学的本质──评“我们应该如何认识数学的本质”

数学的本质作为一个认识论问题,它回答的是数学的经验性与理论性(或演绎性)的关系.它不同于研究数学对象及其存在性、客观性的本体论,以及研究数学方法的方法论,更有别于研究数学的社会──文化性质的数学社会学.但是,黄秦安先生未弄清这些基本概念和范畴,以及诸如社会存在与社会意识、数学对象的客观性、逻辑证明与实践检验等概念和关系,不能自圆其说.

结构主义视域下的现代逻辑学

20世纪以来,结构主义在数学哲学中占据着主导地位,作为与数学密不可分的现代逻辑学也具有结构主义特征。这种特征表现为:重要的是考察所研究对象的结构以及结构之间的关系,而不必考虑所研究对象本身的内在品质。现代逻辑学的总体特征就是研究对象的构造性的数学特征,即:在句法和语义的基础上,利用定义、公理和推理规则,对现实中的对象进行抽象化和模型化,进而给出相关定理的证明。

基于偏好排斥等级BDI主体的决策行为研究

使用偏好算子对命题动态逻辑进行扩展,可以对Agent的决策行为进行符号形式演绎,利用扩展的无穷值ukasiewicz逻辑可以对Agent的决策行为进行数值计算,因此在克里普克语义学、命题动态逻辑和扩展的无穷值ukasiewicz逻辑基础上,建立的偏好排斥等级BDI逻辑是符号形式演绎与数值计算并存的柔性逻辑,该系统可以清晰地表示偏好排斥等级BDI主体心智状态的不确定性。该研究不仅可以促进BDI逻辑的发展,而且可以为Agent理论的诸多应用领域提供形式支持。

数学存在的语言建构——结构主义的研究范式

伴随结构主义的兴起,数学哲学的研究领域发生了范式转换,数学存在的语言建构取代了数学语言的逻辑分析,成为数学哲学发展壮大的基本动力与成长源泉。结构主义根据不同语言进行数学对象的存在建构,或者借用数理逻辑的集合论与模态逻辑作为语言,或者突破分析哲学的逻辑语言框架创造范畴论这种本体论语言,从而形成了集合论结构主义、模态结构主义与范畴论结构主义。集合论结构主义与模态结构主义成为沟通结构主义与数理逻辑的必要环节,范畴论结构主义成为结构主义数学哲学的发展方向。

时间图形的双重本原

对于康德的时间图形理论,海德格尔有两种不同解释:一是认为过去构成时间的本原,只有过去才是作为时间的时间;二是认为未来构成时间的本原,未来先行规定现在与过去的综合统一,只有未来才能提供时间图形的框架结构。文章阐明:本原分为定义本原与生成本原,过去构成时间图形的定义本原,未来构成时间图形的生成本原;语言是造成双重本原的终极原因,语言(此在)是对于时间的存在建构,语言的谓词功能建构时间的未来维度,语言的名词功能建构时间的过去维度。

动态逻辑的双重性:程序化与结构化

随着计算机科学和信息科学的发展,形式化的现代逻辑逐渐与数学融为一体,难分彼此。动态逻辑不但像现代逻辑的其他分支一样,实现了符号化、公理化和形式化,而且还具有程序化特征和结构化特征。动态逻辑是程序化的多模态逻辑,具有明显的程序化特征。动态逻辑是在集合论和模态逻辑的基础上发展起来的多个程序逻辑的总称,集合论不但是动态逻辑的基本语言,而且也是定义数学结构的前提和产生数学结构的基础与载体,因此,动态逻辑具有明显的结构化特征。

逻辑教育与我国创新人才培养的问题及对策研究

逻辑教育可以锻造国民的理性精神、科学精神、创新精神和民主法治精神,有利于我国科技发展以及和谐理性社会的形成。但是,我国逻辑教育远远没有得到应有的重视。因此,我们应该对教育的培养目标和高考进行调整和重新定位,把逻辑教育渗透其中,并对如何提高受教育者的逻辑思维能力开展系统而深入的研究,在提高受教育者逻辑思维素质的基础上,大量培养创新人才,实现伟大中国的复兴之梦。

包含特称量词some的广义三段论推理

广义三段论推理在自然语言信息处理和知识推理中占据着重要的地位。利用广义量词理论、集合论和模糊逻辑的相关知识,证明了18个包含特称量词some的广义三段论的有效性,并在此基础上讨论包含特称量词的语篇推理。这一方法为研究包括亚氏量词在内的其他广义量词的广义三段论的有效性及其语篇推理提供了一个简单合理的数学模式。

邓小平理论的逻辑起点研究之我见

关于邓小平理论的逻辑起点,有多种不同的观点,比如:社会主义的本质论、社会主义的初级阶段论、真理标准论。其实,一个单一的逻辑起点是很难统摄邓小平理论所涉及到的方方面面的,我们应该分别为邓小平理论所涉及到的不同方面找出不同的逻辑起点。

传统藏灵菇发酵乳挥发性风味特征研究

采用固相微萃取(solid phase microextraction,SPME)和气相色谱质谱联用(gas chromatography-mass spectrometry,GC-MS)检测了采集自西藏和新疆的6个藏灵菇样品作为发酵剂制备的发酵乳的挥发性风味物质,共检出挥发性风味化合物36种,其中有机酸12种,酮类4种,醇类8种,醛类1种,酯类4种,烯烃类1种,烷烃类2种,其他化合物4种。主成分分析显示酸、醇类是Kef3、Kef2和Kef6发酵乳样品的主要挥发性风味物质,乙酸和2-壬酮是Kef5样品区别于其他样品的特异性风味物质,Kef1样品中的二叔丁基对甲酚、异戊醇和2-乙基己醇以及Kef4样品中的苯甲酸、己酸乙酯和十四烷质量分数显著高于其他样品。样品间的聚类和热图分析显示,来源于新疆地区的3组样品具有相似的挥发性风味物质种类和质量分数,各组样品中质量分数较高、种类较多的挥发性有机酸和醇类化合物构成了传统藏灵菇发酵乳独有的特征风味。

甲醇芽孢杆菌凝乳酶的重组表达及其结构特性

为进一步了解微生物凝乳酶的结构特性,根据GenBank数据库中甲醇芽孢杆菌凝乳酶(I3EB99)的氨基酸序列和大肠杆菌密码子的偏爱性,设计合成此凝乳酶的全基因序列,构建原核表达载体,通过BL21(DE3)表达其融合蛋白,将获得的融合蛋白进行His标签特异性亲和纯化,并利用生物信息学方法研究凝乳酶的三维空间立体结构。结果表明,重组表达的甲醇芽孢杆菌凝乳酶质量浓度为0.7 mg/mL,凝乳活力为(15870±1.17)SU/g,蛋白水解活力为(263.81±0.94)U/g,凝乳活力与蛋白水解活力比值为60.16,符合干酪生产加工的要求。结构特性研究表明,经重组表达后的甲醇芽孢杆菌凝乳酶呈现疏水特性,具有跨膜结构和信号肽,二级结构中α-螺旋少于β-折叠,在分离纯化过程中结构不稳定易降解,该凝乳酶与来自甲醇芽孢杆菌的一种未知蛋白酶是同源蛋白,高级结构与PDB蛋白数据库中的模板蛋白2ra1.1.A相似度最高。通过对甲醇芽孢杆菌凝乳酶结构特性的研究,为深入分析该凝乳酶作用机理及其功能性奠定了理论基础。

广义量词的单调性与数字三角形

回顾了广义量词的背景知识;在介绍数字三角形画法的基础之上,对S.Peters和D.Westerstahl的数字三角形简图进行了改进;在整理相关文献的基础之上,给出了更加全面的广义量词的单调性定义,并给出了更加全面的各种单调性的形式化表述,从而更加清楚直观且全面深入细致地探讨了类型为〈1〉的广义量词和类型为〈1,1〉的广义量词的单调性与数字三角形之间的关系。

基于行动逻辑的智能主体行为表征研究

在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进行表征。将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的。这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持。

柏拉图与康德:逻辑主义与直观主义之源

文章追溯逻辑主义与直观主义的哲学渊源．逻辑主义源于柏拉图：他提出了化数学为逻辑的思想；他的实在论、唯理论和分析方法，成为从逻辑演绎数学的技术性工作的哲学依据．直观主义源于康德：他提出了用时间、空间直观构造数学的思想；他的概念论、先验感性论和综合方法，成为用时间直机构造数学的技术性工作的哲学依据．

产B族维生素植物乳杆菌的来源及其在发酵食品中的应用

整理了与合成核黄素、叶酸以及钴胺素相关的基因,分析总结了国内外在产B族维生素植物乳杆菌的筛选、表达优化、合成机制、调控技术、食品加工中应用及植物乳杆菌调节肠道菌群改善宿主维生素缺乏效果等方面的研究进展,为开发富含B族维生素发酵食品,防治人体B族维生素缺乏提供参考。

论理性认识过程中的反思

反思是理性认识的必要环节 ,研究反思对于社会主义现代化建设实践具有重要意义。本文以黑格尔对反思的探讨为基础 ,运用唯物辩证法 ,系统地揭示了反思的定义、必然性、条件、过程。

Agent信念修正推理机制

执行能行行动可以得到Agent所意图的事件状态。通过定义信念扩展、信念收缩和信念修正这三种常见的信念更新模型,可以形式化地表征:执行这些行动所导致的事件状态、决定主体“是否有机会执行这些行动的”条件,以及主体为了完成这些行动所应具备的能力。使用选择函数可定义信念收缩行动模型。信念修正可被定义为信念收缩行动和信念扩展行动的序列组合行动。根据主体的知识和信念可以定义主体采取信念更新行动的能力。

从结构主义的视角看EAE-2三段论与其余23个有效三段论之间的化归

借助亚氏量词三种否定量词的定义、量词no和some的对称性、命题逻辑的推理规则,仅以EAE-2直言三段论为基础公理,就可以推演出其余23个有效的直言三段论,从而为直言三段论逻辑建立起极简的形式化公理系统。这一创新性研究表明:形式化的逻辑学具有结构主义特征,即:它不仅研究思维形式及其规律,而且也研究思维对象的结构以及结构之间的关系。

Ag-Cu中间层声致瞬间液相连接镁合金界面行为及性能研究

为了进一步扩展镁合金在工业上的应用.在大气环境下,Ag-28Cu箔作为中间层用声致瞬间液相连接方法对MB8镁合金进行焊接,采用不同的工艺条件(超声时间、焊接温度)下,得到无焊接缺陷的焊接接头,通过光学显微镜观察和分析了其焊接件横截面微观组织结构.焊缝中组织进行等温凝固,产生固溶强化,对接头的力学性能产生了积极的影响,接头的最高强度达到96 MPa,断裂大部分发生在焊缝,少部分发生在母材.