Probabilistic First-Order Theory Revision from Examples

  • Aline Paes
  • Kate Revoredo
  • Gerson Zaverucha
  • Vitor Santos Costa
Conference paper

DOI: 10.1007/11536314_18

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3625)
Cite this paper as:
Paes A., Revoredo K., Zaverucha G., Costa V.S. (2005) Probabilistic First-Order Theory Revision from Examples. In: Kramer S., Pfahringer B. (eds) Inductive Logic Programming. ILP 2005. Lecture Notes in Computer Science, vol 3625. Springer, Berlin, Heidelberg

Abstract

Recently, there has been significant work in the integration of probabilistic reasoning with first order logic representations. Learning algorithms for these models have been developed and they all considered modifications in the entire structure. In a previous work we argued that when the theory is approximately correct the use of techniques from theory revision to just modify the structure in places that failed in classification can be a more adequate choice. To score these modifications and choose the best one the log likelihood was used. However, this function was shown not to be well-suited in the propositional Bayesian classification task and instead the conditional log likelihood should be used. In the present paper, we extend this revision system showing the necessity of using specialization operators even when there are no negative examples. Moreover, the results of a theory modified only in places that are responsible for the misclassification of some examples are compared with the one that was modified in the entire structure using three databases and considering four probabilistic score functions, including conditional log likelihood.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Aline Paes
    • 1
  • Kate Revoredo
    • 1
  • Gerson Zaverucha
    • 1
  • Vitor Santos Costa
    • 1
    • 2
  1. 1.Department of Systems Engineering and Computer Science – COPPEFederal University of Rio de Janeiro (UFRJ)Rio de JaneiroBrasil
  2. 2.Department of Biostatistics and Medical InformaticsUniversity of Wisconsin-MadisonMadisonUSA

Personalised recommendations