一种基于有色Petri网的知识库验证方法

摘要：

以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证判定准则的实例.

关键词：知识库、知识验证、有色Petri网、人工智能

所属期刊栏目：30

分类号：TP18(自动化基础理论)

资助基金：国家科技攻关项目863-511-946-001;江苏省自然科学基金BK97003;信息集成重点实验室基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：77-83