Induction of the Indirect Effects of Actions by Monotonic Methods
Induction of the Indirect Effects of Actions by Monotonic Methods
复制标题
用单调方法归纳动作的间接影响
DOI：
10.1007/11536314_17
复制
发表时间：
2005
期刊：
影响因子：
7.5
通讯作者：
R. Otero
中科院分区：
文献类型：
--
作者：
R. Otero
文[1]提出了一种动作效果的归纳方法，解决了归纳中的框架问题。该方法依赖于众所周知的ILP单调方法，使其与Horn逻辑程序的归纳一样有效。这一建议并不是为了归纳行为效果（间接效果）的分支，从而为域描述提供了所谓的分支问题。在这项工作中，我们介绍了这种派生规则的诱导直接从其他效果描述的效果，而不提及的行动。一个框架的基础上因果关系的行动形式主义是用来诱导因果分歧规则。作为动作规则的归纳，该方法是合理、完整和有效的.
In [1] a method for inducing the effects of actions was introduced which provides a solution to the frame problem in induction. The method relied on well-known monotonic methods of ILP making it as efficient as induction of Horn Logic Programs. That proposal is not intended for the induction of the ramifications of the effects of actions (indirect effects) thus providing domain descriptions with the so-called ramification problem. In this work we introduce the induction of such ramification rules describing effects directly from other effects without mentioning the action. A framework based on causality in action formalisms is used to induce causal ramification rules. The method is shown sound and complete while efficient as the induction of action rules.