{"type":"ScholarlyArticle","title":"Automated Hypothesis Generation Using Extended Inductive Resolution","authors":[{"name":"Charles G. Morgan","slug":"charles-g-morgan","given":"Charles G.","family":"Morgan","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1975/54","pdf":"https://ijcai.org/proceedings/1975/0054.pdf","markdown":"https://ijcai.org/proceedings/1975/54.md","bibtex":"https://ijcai.org/proceedings/1975/bibtex/54","volume":{"slug":"1975","title":"Proceedings of the Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1975","url":"https://ijcai.org/proceedings/1975/","year":1975,"location":"Tbilisi, Georgia, USSR","dates":"","editors":"Patrick Winston and Carl Hewitt","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Search Techniques","track":"Search Techniques","number":54,"pages":{"first":351,"last":355},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}