skip to main content

Bias-Driven Revision of Logical Domain Theories

Koppel, M. ; Feldman, R. ; Segre, A. M.

The Journal of artificial intelligence research, 1993-01, Vol.1, p.159-208 [Periódico revisado por pares]

San Francisco: AI Access Foundation

Texto completo disponível

Citações Citado por
  • Título:
    Bias-Driven Revision of Logical Domain Theories
  • Autor: Koppel, M. ; Feldman, R. ; Segre, A. M.
  • Assuntos: Artificial intelligence ; Domains ; Revisions
  • É parte de: The Journal of artificial intelligence research, 1993-01, Vol.1, p.159-208
  • Descrição: The theory revision problem is the problem of how best to go about revising a deficient domain theory using information contained in examples that expose inaccuracies. In this paper we present our approach to the theory revision problem for propositional domain theories. The approach described here, called PTR, uses probabilities associated with domain theory elements to numerically track the ``flow'' of proof through the theory. This allows us to measure the precise role of a clause or literal in allowing or preventing a (desired or undesired) derivation for a given example. This information is used to efficiently locate and repair flawed elements of the theory. PTR is proved to converge to a theory which correctly classifies all examples, and shown experimentally to be fast and accurate even for deep theories.
  • Editor: San Francisco: AI Access Foundation
  • Idioma: Inglês

Buscando em bases de dados remotas. Favor aguardar.