论文部分内容阅读
RMS是用于信念库一致性维护的非单调理由保持系统.本文首先给出了RMS的形式模型.基于这个模型,重点讨论了系统中回路的形式定义、分类和涉及到回路的探测、识别及可满足性的若干定理.在此基础上,给出了回路的探测和处理算法.
非单调理由保持系统RMS中的回路问题
【摘 要】
：
RMS是用于信念库一致性维护的非单调理由保持系统.本文首先给出了RMS的形式模型.基于这个模型,重点讨论了系统中回路的形式定义、分类和涉及到回路的探测、识别及可满足性的
【机 构】
：
合肥工业大学计算机与信息系230009
【出 处】
：
计算机研究与发展
【发表日期】
：
1992年11期
其他文献
作为国民经济的支柱企业，电力系统走在了前面，当大多数企业还没有跨进网络世界的大门时，电力行业的大部分企业已经普及了网络。而现在许多企业刚刚普及网络的时候，现有网络已经无
语言和文化是密不可分的,但是在日常的英语教学中,教师往往单纯传授语言知识而忽略了对文化知识的传播.因此,在英语交际中歧义误解频繁,语用错误层出不穷.为了促进跨文化交际
银行会计课是一门具有较强实践性和操作性的课程，教学中应该重视实践教学以提高学生实践能力。做好实践教学必须做到理论和实践两手抓，既要重视理论教学，又要贴近“实战”。理论
研究了次氯酸盐氧化法制备高铁酸钾的方法,并对其去除COD和浊度的性能进行了研究探讨了原料比反应间及反应温度对产率的影响
NUTOOL是一个将知识获取、推理、控制融合于菜单管理的咨询专家系统开发工具,它使得专家系统构造者能够参与系统的接口设计,为实用的咨询专家系统提供方便、友好的构造工具。
目的：比较在相同培养条件下，变形链球菌在5种临床常用合金材料（镍铬合金、钴铬合金、金钯合金、74％金合金、86％金合金）表面的黏附情况。方法将5种合金、材料的试件（各5个）逐级打磨、