从逻辑全知问题认定看当前基于逻辑的agent研究的两个认识盲点

通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识.在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在.该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义.     

可能世界为真的确认方式

按传统，数学的可能世界为真的确认方式是证明;经验自然科学的可能世界为真的确认方式为实验．但是后来的发展却否定了这种信念,本文对此进行了讨论．     

最大可能熵原理

定义了最大可能熵(PME)的新概念,并提出最大可能熵原理.仅对孤立的平衡系统而言PME才等于系统的熵(Sm=S),一般情况下PME总是大于系统的真实熵(Sm＞S).当一个非平衡开放系统的PME不管因为甚么原因增大时,它的信息和熵就能同时增加.例如,当一个系统的体积和能量增加时,其PME就增大,从而导致它的信息和熵可同时增加.最大可能熵原理建立在理论和近年提出的"熵界"上.由这个原理不但能推导出科学上已有结论,如黑洞无毛定理,还可用来解释宇宙中某些谜一样的问题,如整个宇宙的熵增大,同时地球上的生物却可以不断进化.     

二次曲面判定的机器实现

归纳总结了二次曲面的判定情况，并在计算机上得到了实现。     

单片机群组红外通信的设计与实现

提出一种利用软件方法实现单片机群组红外通信的设计方案,介绍该方案的设计思想,包括硬件设计原理、信息格式的设计与差错控制的实现,信息应答机制以及软件核心框架等,并指明了设计的应用前景.     

继电控制系统的自动设计方法和CAD实现

讨论了继电控制系统电路原理图自动设计的一般性方法，并介绍了采用人工智能和拓扑图搜索相结合的算法，及进行电路原理图计算机和自动设计的实现方法与其主要特点。     

量子谐振子的q类似和量子群SU_q(1,1)的一种实现

借助于 Biedenharn 新近引入的 q 谐振子的概念,本文明显构造了量子群 SU_q(1,1)的耦合 q 玻色子实现.这一结果使得我们可以期望,构造量子非线性光学中起着重要作用的四玻色子相互作用模型和 Dicke 模型的 q 类似是可能的.     

虚拟导师系统设计及其实现

针对本科生导师指导的学生多、任务重的现状,设计了虚拟导师系统的功能模块、仙鹤模块、技术模块和运行流程,提出了该系统的开发环境、运用的工具和主要技术,说明了核心模块的实现方法。通过本系统实现人机结合,对降低导师工作强度,提高导师工作的层次和效率具有重要的实际意义。     

基于Web的文本数据库检索系统的设计及其实现

介绍了将现有文本数据库在Ｗｅｂ 上建立检索系统的原则以及文本数据库在Ｗｅｂ 上实现检索的机理和检索的方法．系统运行表明：系统结构合理、安全可靠、功能齐全、用户界面友好,是一个实用的系统．