ML Anthology

First-Order Theory Revision

Bradley L. Richards, Raymond J. Mooney
ICML 1991 pp. 447-451
doi:10.1016/B978-1-55860-200-7.50092-1 /icml/1991/richards1991icml-first/

Abstract

Recent learning systems have combined explanation-based and inductive learning techniques to revise propositional domain theories (e.g., EITHER, RTLS, KBANN). Inductive systems working in first order logic have also been developed (e.g., CIGOL, FOIL, FOCL). This paper presents a theory revision system, Forte, that merges these two developments. Forte provides theory revision capabilities similar to those of the propositional systems, but works with domain theories stated in first-order logic.

ICML Semantic Scholar

Cite

Text

Richards and Mooney. "First-Order Theory Revision." International Conference on Machine Learning, 1991. doi:10.1016/B978-1-55860-200-7.50092-1

Markdown

[Richards and Mooney. "First-Order Theory Revision." International Conference on Machine Learning, 1991.](https://mlanthology.org/icml/1991/richards1991icml-first/) doi:10.1016/B978-1-55860-200-7.50092-1

BibTeX

@inproceedings{richards1991icml-first,
  title     = {{First-Order Theory Revision}},
  author    = {Richards, Bradley L. and Mooney, Raymond J.},
  booktitle = {International Conference on Machine Learning},
  year      = {1991},
  pages     = {447-451},
  doi       = {10.1016/B978-1-55860-200-7.50092-1},
  url       = {https://mlanthology.org/icml/1991/richards1991icml-first/}
}