咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 1 篇 推理维护系统
  • 1 篇 人工智能
  • 1 篇 petri网
  • 1 篇 非单调推理

机构

  • 1 篇 国家信息中心信息...

作者

  • 1 篇 陆维明
  • 1 篇 林闯

语言

  • 1 篇 中文
检索条件"主题词=推理维护系统"
1 条 记 录,以下是1-10 订阅
排序:
推理维护系统的Petri网模型
收藏 引用
软件学报 1994年 第11期5卷 23-30页
作者: 林闯 陆维明 国家信息中心信息科学与应用研究所 中国科学院数学研究所
本文为推理维护系统引入一种Petri网模型并对有限非单调理论应用Petri例分析方法.本文提议的模型不但能描述推理维护系统,而且可用网论与网技术分析推理维护.对于一组给定的非单调规则我们给出一个算法可求得其外延,我们... 详细信息
来源: 评论