ML Anthology

Theory Reduction, Theory Revision, and Retranslation

Allen Ginsberg
AAAI 1990 pp. 777-782
doi:10.1136/pgmj.62.729.679 /aaai/1990/ginsberg1990aaai-theory/

Abstract

This paper presents an approach to retranslation, the third and final step of the theory reduction approach to solving theory revision problems [3,4]. Retranslation involves putting a modified operationalized, or reduced, version of the desired revised theory back into the entire language of the original theory. This step is desirable for a number of reasons, not least of which is the need to compress what are generally very large reduced theories into much smaller, and thus, more efficiently evaluated, unreduced theories. Empirical results for the retranslation method are presented.

PDF AAAI Semantic Scholar

Cite

Text

Ginsberg. "Theory Reduction, Theory Revision, and Retranslation." AAAI Conference on Artificial Intelligence, 1990. doi:10.1136/pgmj.62.729.679

Markdown

[Ginsberg. "Theory Reduction, Theory Revision, and Retranslation." AAAI Conference on Artificial Intelligence, 1990.](https://mlanthology.org/aaai/1990/ginsberg1990aaai-theory/) doi:10.1136/pgmj.62.729.679

BibTeX

@inproceedings{ginsberg1990aaai-theory,
  title     = {{Theory Reduction, Theory Revision, and Retranslation}},
  author    = {Ginsberg, Allen},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1990},
  pages     = {777-782},
  doi       = {10.1136/pgmj.62.729.679},
  url       = {https://mlanthology.org/aaai/1990/ginsberg1990aaai-theory/}
}