排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
基于语义网络的知识表示的形式转换及推理 总被引:8,自引:0,他引:8
介绍了基于语义网络的知识表示,并利用基于知识的方法将SNetL的知表示转换为谓词逻辑的表现形式,将其用于推理。本文讨论知识表示的交互式输入方法及中间模型的设计。按SNetL语言的描述机制,确定了用户描述的控制、导航方式,并研究转换中的规则和算法。 相似文献
2.
在文献[1]的基础上,对多Agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。 相似文献
1