论文部分内容阅读
本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ网分析方法。本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护，对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的一不致性，我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。