Automated Hypothesis Generation Using Extended Inductive Resolution
Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Search Techniques. Pages 351-355.
Abstract
We report on a method of automated hypothe6i& gen~~ation, called !-resolution, which is derived from deductiv~:: resolution technio•tes. The method is inductive in characttr, in thsense thAt given input statement E, it generates hypotheses H, such that E is a deductive consequence ot H. The meth(Jd is extended by s generalized unlfi cation algorithm which introduces appropriate identity assumptions needed to unify a J,iair or literals. The !-resolution technique is shown to embody a version or Oclc.'lllll! 1 s razor as a prur•.Lng heuristic. Some promisin{; experi•nental results are also presented.
@inproceedings{ijcai1975p54,
title = {Automated Hypothesis Generation Using Extended Inductive Resolution},
author = {Morgan, Charles G.},
booktitle = {Proceedings of the Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-75}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Patrick Winston and Carl Hewitt},
pages = {351--355},
year = {1975},
note = {Search Techniques},
url = {https://ijcai.org/proceedings/1975/54},
}
TY - CPAPER TI - Automated Hypothesis Generation Using Extended Inductive Resolution AU - Morgan, Charles G. T2 - Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75 PB - International Joint Conferences on Artificial Intelligence PY - 1975 SP - 351 EP - 355 UR - https://ijcai.org/proceedings/1975/54 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
