摘要
提出一种新的基于Petri网的知识表达方法和逻辑推理算法 ,通过减少重复推理过程 ,充分利用推理过程中已经得到的中间结论。该算法比现有算法减少了推理步数 。
The paper gives a new method for knowledge representation on the basis of Petri Net, and also introduces a new logical inference algorithm The main principle of the new method is to make full use of intermediate results obtained during the reasoning process, so as to reduce the duplicated reasoning steps that occurr in existing methods The new method proves to be more efficient than other methods
出处
《计算机工程与科学》
CSCD
2002年第2期102-104,共3页
Computer Engineering & Science
基金
国家自然科学基金资助项目 (699740 73 )
国家博士点基金资助项目 (990 5 3 3 17)
