Definition
Inverse resolution is, as the name indicates, a rule that inverts resolution. This follows the idea of induction as the inverse of deduction formulated in the logic of generality. The resolution rule is the best-known deductive inference rule, used in many theorem provers and logic programming systems. Resolution starts from two clauses and derives the resolvent, a clause that is entailed by the two clauses. This can be graphically represented using the following schema (for propositional logic).
Inverse resolution operators, such as absorption (17) and identification (17), invert this process. To this aim, they typically assume the resolvent is given together with oneof the original clauses and then derive the missing clause. This leads to the following two operators, which...
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer Science+Business Media New York
About this entry
Cite this entry
(2017). Inverse Resolution. In: Sammut, C., Webb, G.I. (eds) Encyclopedia of Machine Learning and Data Mining. Springer, Boston, MA. https://doi.org/10.1007/978-1-4899-7687-1_418
Download citation
DOI: https://doi.org/10.1007/978-1-4899-7687-1_418
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4899-7685-7
Online ISBN: 978-1-4899-7687-1
eBook Packages: Computer ScienceReference Module Computer Science and Engineering