PFORTE: Revising Probabilistic FOL Theories

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

DOI: 10.1007/11874850_48

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4140)
Cite this paper as:
Paes A., Revoredo K., Zaverucha G., Costa V.S. (2006) PFORTE: Revising Probabilistic FOL Theories. In: Sichman J.S., Coelho H., Rezende S.O. (eds) Advances in Artificial Intelligence - IBERAMIA-SBIA 2006. Lecture Notes in Computer Science, vol 4140. Springer, Berlin, Heidelberg

Abstract

There has been significant recent progress in the integration of probabilistic reasoning with first order logic representations (SRL). So far, the learning algorithms developed for these models all learn from scratch, assuming an invariant background knowledge. As an alternative, theory revision techniques have been shown to perform well on a variety of machine learning problems. These techniques start from an approximate initial theory and apply modifications in places that performed badly in classification. In this work we describe the first revision system for SRL classification, PFORTE, which addresses two problems: all examples must be classified, and they must be classified well. PFORTE uses a two step-approach. The completeness component uses generalization operators to address failed proofs and the classification component addresses classification problems using generalization and specialization operators. Experimental results show significant benefits from using theory revision techniques compared to learning from scratch.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

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

Personalised recommendations