基于语义网络的知识表示的形式转换及推理

介绍了基于语义网络的知识表示 ,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式 ,将其用于推理。本文讨论知识表示的交互式输入方法以及中间模型的设计。按SNetL语言的描述机制 ,确定了用户描述的控制、导航方式 。

基于Agent的网络信息收集中的“信息度”

文章首先简单描述了一个基于Agent的信息收集系统的模型。然后针对此类基于Agent的网络信息收集系统中存在的效率问题,提出了信息度的概念,用信息度反映历史查询的状态,并作为将来查询的依据,来改善在信息收集过程中的效率问题,减少将来查询的盲目性。

基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究

在文献[1]的基础上,对多Agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。