助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   理由保持系统 的翻译结果: 查询用时:0.008秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

理由保持系统
相关语句
  reason maintenance system
     Circulation Problems in Nonmonotonic Reason Maintenance System RMS
     非单调理由保持系统RMS中的回路问题
短句来源
     CONSISTENCY PROBLEM IN NONMONOTONIC REASON MAINTENANCE SYSTEM RMS
     非单调理由保持系统RMS的一致性问题
短句来源
     RMS is a reason maintenance system for the consistency preservation of nonmonotonic belief bases.
     RMS是用于信念库一致性维护的非单调理由保持系统.
短句来源
     RMS is a nonmonotonic reason maintenance system for beliefbses.
     RMS是一个面向信念库的非单调理由保持系统
短句来源
  相似匹配句对
     CONSISTENCY PROBLEM IN NONMONOTONIC REASON MAINTENANCE SYSTEM RMS
     非单调理由保持系统RMS的一致性问题
短句来源
     Circulation Problems in Nonmonotonic Reason Maintenance System RMS
     非单调理由保持系统RMS中的回路问题
短句来源
     Reason
     理由
短句来源
     A Study on Reason Maintenance Systems
     理由维护系统的研究
短句来源
     The Reason
     理由
短句来源
查询“理由保持系统”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  reason maintenance system
We also describe tarms, our temporal reason maintenance system which supports diagnostic reasoning about sequential circuits within the generic model-based diagnostic system (gmods).
      


RMS is a reason maintenance system for the consistency preservation of nonmonotonic belief bases. This paper first introduces the system's formal model, and then, based on the model, discusses circulations' formal definitions, classified types, and a series of theorems in connexion with testing, types and satisfiability of circulations. Finally, the algorithms for testing and processing circulations are given.

RMS是用于信念库一致性维护的非单调理由保持系统.本文首先给出了RMS的形式模型.基于这个模型,重点讨论了系统中回路的形式定义、分类和涉及到回路的探测、识别及可满足性的若干定理.在此基础上,给出了回路的探测和处理算法.

RMS is a nonmonotonic reason maintenance system for beliefbses. This paper first introduces the formal model of RMS. Then, it puts stress on discussing the consistency preservation problem to remove contradicts in reasoning systems. A level maximal assumption model and an algorithm based on the model are given in the article that is able to remove contradicts in the case of the least search steps and not losing any usable information.

RMS是一个面向信念库的非单调理由保持系统。本文首先给出了RMS的形式模型,而后,重点讨论了系统中用以消除矛盾的一致性维护问题。文中提出的层次极大假设模型及基于这个模型的相关回溯算法,既保证了消除系统中矛盾所必须处理的最小信息集,又保证了引起矛盾的非单调假设的完全集。

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关理由保持系统的内容
在知识搜索中查有关理由保持系统的内容
在数字搜索中查有关理由保持系统的内容
在概念知识元中查有关理由保持系统的内容
在学术趋势中查有关理由保持系统的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社