论文部分内容阅读
给出了一个基于溯因推理信念修正的逻辑框架，并提出一个使用溯因方法，对带有约束条件的信念进行修正算法，该算法得到的是优化解。
基于溯因解释的信念修正
【摘 要】
：
给出了一个基于溯因推理信念修正的逻辑框架，并提出一个使用溯因方法，对带有约束条件的信念进行修正算法，该算法得到的是优化解。
【机 构】
：
吉林大学计算机科学系,吉林大学符号计算与知识工程开放实验室
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
1996年2期
【基金项目】
：
国家自然科学基金
其他文献
本文给出了多元离散均值变点模型和具有多维正态分布的均值变点问题的递推估计方法。
凹版印刷由于具有高效率、高稳定性的特点,近年来在我国得到快速、空前的发展.特别是在烟草包装领域,可以说凹版印刷使烟草包装印刷业经历了次革命.不同的印刷企业,虽然引进
证明了初边值问题 u/t=(k（u）|u|M-1u),在[RN{0}]×（0,+∞）内,N≥1, u（x,0）=0,当|x|>0, u（0,t）=B>0,当t>0, u（x,t）→0,当t>0且|x|→∞,在M>N—1,K（u）连续且正时,对正数B存在非负连续相
定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统。
2005年全球打印机．复印机及多功能一体机产量将上升7．8％权威市场研究机构Gartner称．2005年全球打印机、复印机以及多功能体机（MFP）产量预计超过1247亿件，比2004年增长78％。这些产品的
工程总承包企业的合同管理从工程投标、发标开始百至质保期满收到最后的质量保证金为止，景穿于整个工程。加强合同管理能够节约时间，最大程度的利用资源，争取企业经济效益的最大
以学术带头人杨卫民教授为首的北京化工大学高分子材料先进制造英蓝实验室研发成功防物料回流注塑螺杆。该新型注塑螺杆由螺杆头、止逆环、推力环和螺杆体组成（如图I），具有防止
人类环保意识的增强和世界各国环保法规的实施，促使各行业向更环保的方向迈进。对于包装印刷业来讲，已逐步增加了许多卫生、环保，劳动保护等方面的要求和制约条件，特别是对食品包
根据相对论的两条基本原理和时空洛仑兹变换的推导思路，论证了普遍的电磁波相位不变性。清楚地揭示出电磁波的相位不变性和相对论的基本原理及时空洛仑兹变换的内在联系。