【摘 要】
:
在所提出的互逆主义数理逻辑的二层单准逻辑演算的二层假言推理的基础上构造了二层单准Prolog、自底向上的二层单准专家系统、二层单准Prolog的形式语义、自顶自下的二层单准专家系统、二层单准关系数据库、互逆主义机器人规划、互逆主义多agent规划等二层人工智能理论。这些理论都是经典人工智能理论所没有的。
【机 构】
:
北京联合大学信息技术研究所 北京 100101 北京联合大学信息学院 北京 100101
论文部分内容阅读
在所提出的互逆主义数理逻辑的二层单准逻辑演算的二层假言推理的基础上构造了二层单准Prolog、自底向上的二层单准专家系统、二层单准Prolog的形式语义、自顶自下的二层单准专家系统、二层单准关系数据库、互逆主义机器人规划、互逆主义多agent规划等二层人工智能理论。这些理论都是经典人工智能理论所没有的。
其他文献
本文利用复杂网路分析方法,结合数据挖掘相关理论,对包含1998-2004年问世界范围内发生的7153起恐怖袭击事件的数据库进行数据分析,提取相关信息整理后按照一定规则建立起恐怖组织联系网络,绘制其网络拓扑结构图并计算其复杂网络特征参数,得出其度分布符合无标度特征的结论,标度指数r≈2.7。根据特征参数对各恐怖组织之问的联系进行量化表征和分析,探索网络的内在规律及演化模式,得出有意义的结果。本文的研
模拟退火算法是一种典型的智能优化算法,它的一个主要缺点是收敛速度慢。针对这一问题,提出了一种基于锦标赛选择策略的求解旅行商问题的模拟退火算法,在从邻域中选择候选解时,随机产生两种方案,根据领域的启发式信息,从中选择一种好的方案去生成候选解。仿真结果表明,锦标赛选择模拟退火算法明显优于传统的模拟退火算法。
随着互联网应用发展和深入,网络舆情的热点不断涌现,对社会管理和秩序稳定形成了新的挑战,网络舆情检测的重要性逐渐显现。本文讨论聚类分析方法对改进舆情检测和分析的工作方式、提高工作效率的一些构思。
特征建模是一种有效的领域需求组织方法。领域模型的定制是领域工程应用的重要环节。为了能够及时有效地栓验特征定制结果,提出了以逻辑命题描述的SUSI验证方法。该方法主要体现了特征定制过程的反复性,因此本方法可以在模型定制阶段高效地用于验证模型定制结果。由于将交互关系作为补充的判断依据,进一步扩大了本方法可验证的模型范围。同时形式化描述了交互关系,用于自动化工具的开发。
为了支持QoS业务,CDMA2000-EVDO移动通讯系统在RevA版本的空口协议应用层中引入了MFPA(Multi-Flow Packet Application,多流分组应用)。MFPA中的RLP(Radio Link Protocol,无线链路协议)协议规定,利用RLPID可以标识一个RLP报文属于哪个RLP流。每个RLP流有RLPID和RLPIDLength属性,RLPID是一个二进制码,
介绍影响国内机场建设的几个主要因素;并根据这些要素彼此之间的相关性,运用ISM解释结构模型对其进行分析研究,通过建立邻接矩阵、可达矩阵以及对可达矩阵进行一定的分解,得知最主要的影响因素为“机场的经营管理模式”。由于ISM模型以定性分析为主,属于概念模型,使得各要素之间的内部关系层次化、条理化,从而清晰地展现出其内部结构。同时,结合我国的国情对国内的机场建设提出了可行性建议。
针对《计算机网络》课程实践性强和军事院校学员学时紧的矛盾,从高度强调理论联系实践的思想出发,对其教学模式进行大胆的探索和尝试,紧密围绕教学的开始、中间、结束三个环节,始终突出实践教学的重要性,通过推广,充分提高了学员的学习兴趣,使其在掌握基础理论的同时,动手能力也大幅提升。
以DOCSIS1.1为背景,根据HFC网络中数据的特点,提出了CableModem数据处理的实现方案。首先介绍了HFC接入网,然后讲述了一些关键的概念及其原理,提出了Cable Modem对数据处理的一种方案。该方案可以满足不同类型数据对传输质量的不同需求。接着,通过实验证明了其可行性和合理性。最后总结全文,提出了今后保证数据传输质量的难点和研究方向。
讨论了以高校信息系统为基础的决策支持服务的系统结构及建设方法。首先分析了高校决策支持的需求和存在的问题,进而综合决策支持系统、商业智能等工具提出一种适用于高校的决策支持服务的系统结构,最后介绍了系统建设的一般方法和路线图。该体系结构对于高校决策支持系统的建设具有很好的参考意义。
用电子密码锁代替传统的机械式密码锁,可以克服机械式密码锁密码量少、安全性能差的缺点。随着电子产品向智能化和微型化的不断发展,单片机已成为电子产品研制和开发中首选的控制器。针对市场上电子密码锁保密性不强、灵活性不高和适用范围窄等问题,设计一种基于PIC16F877单片机实现的多功能电子密码锁系统,并给出了系统的基本硬件电路和软件设计流程。该电子密码锁不仅电路简单、实现容易、工作可靠,而且具有保密性高