HIPN相关论文
根据Horn子句的特点，定义了一种新的Petri网形式——HIPN网，给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法，论证......
基于HIPN网的知识表达有知识的长效性和避免重复运算两个优势。提出了一个基于HIPN网模型的逻辑推理算法，该算法结合经典的归结证明......
