基于偏置的逻辑域理论修订
人工智能
2014-11-17 v1
摘要
理论修订问题是如何使用揭示不准确性的示例来修订欠缺的域理论的问题。本文提出了我们的方法，用于命题域理论的理论修订问题。本文描述的方法称为 PTR，使用与域理论元素相关的概率来数值地跟踪证明通过理论的“流”。这使我们能够衡量给定示例中允许或防止（所需或不需要）推导的子句或文字的精确作用。这一信息用于高效地定位和修复理论中有缺陷的元素。PTR 被证明会收敛到正确分类所有示例的理论，并在实验中显示即使对于深层理论也快速且准确。
引用
@article{arxiv.cs/9402103,
title = {Bias-Driven Revision of Logical Domain Theories},
author = {M. Koppel and R. Feldman and A. M. Segre},
journal= {arXiv preprint arXiv:cs/9402103},
year = {2014}
}
备注
See http://www.jair.org/ for any accompanying files