论文部分内容阅读
近来,在机器学习研究领域中,解释学习倍受重视,而其中心机制——解释推广却受限于一阶逻辑,为支持高阶对象和模态概念,本文介绍了两种扩充 Horn 逻辑表示域的方法,并通过例子说明了解释推广在扩充表示域中的实现。
关于解释学习逻辑构架的一些扩充
【摘 要】
：
近来,在机器学习研究领域中,解释学习倍受重视,而其中心机制——解释推广却受限于一阶逻辑,为支持高阶对象和模态概念,本文介绍了两种扩充 Horn 逻辑表示域的方法,并通过例子
【机 构】
：
南京大学计算机软件研究所,南京大学计算机软件研究所
【出 处】
：
计算机科学
【发表日期】
：
1991年5期
其他文献
本文中近似推理的理论阐述的是从一组不精确前提推演出可能是不精确的结论。近似推理的理论是建立在模糊逻辑(FL)基础上的。它的真值是语言性的,即是像真,不真,很真,或多或少
本文在假定推理规则中,仅证据为概率空间的随机事件,而结论可相当自由地表现为定性或定量,文中合理地解决了证据间的相似程度的刻画问题并建立由新证据推出结论的可信度的计
<正> 据推测,当今社会对软件应用的需求已超出软件生产能力。可那些帮助用户(包括程序员)求解的软件工具的改善却很缓慢。要赶上快速增长的需求,一是提高个人开发计算机软件
Jaekson系统开发方法(Jackson Sy-stem DeveloPment)JSD是1980年M.A.Ja-ckson提出的结构化软件系统设计方法。 JsD的基本观点是软件系统的设计应该反映现实世界,也就是说软件
本文讨论了面向对象软件重用问题及帮助解决该问题的工具,提出了面向对象程序设计环境中软件重用的两种方法:构造(Contruction)和子类(Subclassing)。我们的体会是,构造法使
由三家法国公司(Bull,Eurosoft,Syseca)组成一个叫做 CIE Emeraude 的联合体,依照著名的 PCTE 定义,实现了一个工业化产品 Emeraude。Emeraude是一个 PCTE 标准工具接口,能为
提出模糊集合论至今已有25年左右的时间,随着它对实际系统应用的进展,与信息处理领域之间也产生了相辅相成的关系。现在,还不能说已经确立了模糊信息处理的领域,不过,为了叙
目前,在专家系统研究开发领域里,人们对工程设计类专家系统的基本构造、特点和研究方式等问题众说纷纭,各执一词。本文无意加入各种观点的论争,只想就工程设计类专家系统的特