{"type":"ScholarlyArticle","title":"An Inference Rule for Hypothesis Generation","authors":[{"name":"Robert Demolombe","slug":"robert-demolombe","given":"Robert","family":"Demolombe","affiliation":""},{"name":"Luis Fariñas del Cerro","slug":"luis-farinas-del-cerro","given":"Luis","family":"Fariñas del Cerro","affiliation":""}],"abstract":"There are many new application fields for automated deduction where we have to apply abductive reasoning. In these applications we have to generate consequences of a given theory having some appropriate properties. In particular we consider the case where we have to generate the clauses containing instances of a given literal L. The negation of the other literals in such clauses are hypothesis allowing to derive L. In this paper we present an inference rule, called L-inference, which was designed in order to derive those clauses, and a L-strategy. The L-inference rule is a sort of Input Hyperresolution. The main result of the paper is the proof of the soundness and completeness of the L-inference rule. The L-strategy associated to the L-inference rule, is a saturation by level with deletion of the tautologies and of the subsumed clauses. We show that the L-strategy is also complete.","doi":null,"url":"https://ijcai.org/proceedings/1991/23","pdf":"https://ijcai.org/proceedings/1991/0023.pdf","markdown":"https://ijcai.org/proceedings/1991/23.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/23","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":23,"pages":{"first":152,"last":156},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}