| 摘要: |
| 本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的不一致性．我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的． |
| 关键词: Petri网，推理维护系统，非单调推理，逻辑外延，一致性维护 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金,中国科学院管理、决策、信息系统开放实验室（MADIS）开放基金 |
|
| A REASON MAINTENANCE SYSTEM MODEL USING PETRI NETS |
|
Lin Chuang,Lu Weiming
|
| Abstract: |
| This paper introduces a Petri net model for a reason maintenance system and applies Petri net analysis methods to a finite nonmonotonic theory.The model proposed in this paper can not only specify the reason maintenance system, but also analyse the system based upon the net theory and techniques.It is important that the authors derive an algorithm to find the extensions for a given set of nonmonotonic rules and an algorithm to find out inconsistency in a system.Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable. |
| Key words: Petri nets, reason maintenance systems,nonmonotonic inference,logical extensions, consistency maintenance |
