Theory Refinement of Bayesian Logic Programs

摘要：

Bayesian Logic Programs (BLP) 89 is a powerful and elegant framework for combining the expressiveness of first order logic with Bayesian networks. They can represent both Bayesian networks and logic programs, and their kernel in Prolog is an adaptation of an usual Prolog metainterpreter. It has been successfully compared to other such proposals in the literature. In this paper, we present a theory refinement system called RBLP, which minimally modifies a given BLP to make it consistent with the available training data. RBLP unifies FORTE 20, which induces a revision of Logic Programs from data, with an adaptation of EM 10 for learning the entries of the CPTs.

作者: Kate Revoredo Gerson Zaverucha

作者单位: Programa de Engenharia de Sistemas e Computacao - COPPE Universidade Federal do Rio de Janeiro Caixa Postal 68511, 21945-970 Rio de Janeiro, RJ, Brasil

会议类型: 国际会议

会议名称: 8th International Conference on Neural Information Processing(ICONIP 2001)(第八届国际神经信息处理大会)

会议地点: 上海

会议语种:英文

页码: 1126-1130

在线出版日期: 2001-11-14（万方平台首次上网日期，不代表论文的发表时间）