主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020年专刊出版计划 微信服务介绍 最新一期:2019年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
林闯,陆维明.推理维护系统的Petri网模型.软件学报,1994,5(11):23-30
推理维护系统的Petri网模型
A REASON MAINTENANCE SYSTEM MODEL USING PETRI NETS
投稿时间:1992-04-11  修订日期:1992-08-12
DOI:
中文关键词:  Petri网,推理维护系统,非单调推理,逻辑外延,一致性维护
英文关键词:Petri nets, reason maintenance systems,nonmonotonic inference,logical extensions, consistency maintenance
基金项目:国家自然科学基金,中国科学院管理、决策、信息系统开放实验室(MADIS)开放基金
作者单位
林闯 国家信息中心信息科学与应用研究所北京 100045 
陆维明 中国科学院数学研究所北京 100080 
摘要点击次数: 2263
全文下载次数: 2491
中文摘要:
      本文为推理维护系统引入一种Petri网模型并对有限非单调理论应用Petri例分析方法.本文提议的模型不但能描述推理维护系统,而且可用网论与网技术分析推理维护.对于一组给定的非单调规则我们给出一个算法可求得其外延,我们还给出一个算法可发现系统的不一致性.我们提出的寻找外延的算法要比现有的重构过程更有效,且它是可判定的.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利