---
title: "Automated Hypothesis Generation Using Extended Inductive Resolution"
authors:
  - "Charles G. Morgan"
doi: ""
url: "https://ijcai.org/proceedings/1975/54"
pdf: "https://ijcai.org/proceedings/1975/0054.pdf"
venue: "Proceedings of the Fourth International Joint Conference on Artificial Intelligence"
year: 1975
pages: "351-355"
track: "Search Techniques"
keywords:
---

# Automated Hypothesis Generation Using Extended Inductive Resolution

Charles G. Morgan

*Proceedings of the Fourth International Joint Conference on Artificial Intelligence*, 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.