排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
根据Horn子句的特点,定义了一种新的Petri网形式———HIPN网,给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法,论证了HIPN网的一些重要特性.基于HIPN模型的逻辑推理过程和现有求解方法相比,可以大幅减少重复推理,有效提高推理效率. 相似文献
1