论文部分内容阅读
文章提出了一个基于双向推理的主体框架FBRA，它是一个混合型的主体框架，主体既是反应的又是慎思的。它的推理内核是正向推理和反向推理相结合。正向推理用于对环境的反应，包括对其他主体的反应。反向推理基于溯因推理。用于信念修正、规划、多主体协调和多主体通信等。
基于双向推理的主体框架
【摘 要】
：
文章提出了一个基于双向推理的主体框架FBRA，它是一个混合型的主体框架，主体既是反应的又是慎思的。它的推理内核是正向推理和反向推理相结合。正向推理用于对环境的反应，包括对
【机 构】
：
北京理工大学信息学院计算机科学工程系
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年8期
其他文献
满足K次扩散准则的P值逻辑函数在密码设计中有重要应用。该文采用Zp^n上的置换定出了一类满足2n次扩散准则的P值逻辑函数，即Bent函数；定出了级联函数满足K次扩散准则的充要条件
《近海工程导论》是哈尔滨工业大学土木工程学院面向土木工程专业高年级本科生开设的一门专业选修课,旨在拓宽传统土木工程专业的学生知识背景和学术视野,并使其初步掌握海洋
借助时标上的比较定理,利用锥值Lyapunov函数方法,建立了时标动力系统有界性问题的新的判定定理并给出实例验证.
移动IPv6提供很多安全特性，包括移动节点到家乡代理或通信对端在绑定更新的保护等。移动IPv6运用授权绑定实现对通信对端绑定更新的安全保护，返回路径可达过程协商产生授权绑定