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