{"type":"ScholarlyArticle","title":"Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions","authors":[{"name":"Laurent Siklóssy","slug":"laurent-siklossy","given":"Laurent","family":"Siklóssy","affiliation":""},{"name":"John W. Roach","slug":"john-w-roach","given":"John W.","family":"Roach","affiliation":""}],"abstract":"A novel technique, called hereditary partitions, is introduced. It permits the rigorous proof that, in a gi v en axiomatization, certain - states can never be re a ched. The technique is implemented in a computer pro gram, DISPROVER, and is applied to robot worlds . DISPROVER cooperates with a path-finding program when the latter encounters difficulties. ~words: Robot Planning; Impossible Tasks; Theorem Pro v er; Statement Disprover; Disproof; Hereditary Properties; Hereditar y Partitions; Problem Solving.","doi":null,"url":"https://ijcai.org/proceedings/1973/49","pdf":"https://ijcai.org/proceedings/1973/0049.pdf","markdown":"https://ijcai.org/proceedings/1973/49.md","bibtex":"https://ijcai.org/proceedings/1973/bibtex/49","volume":{"slug":"1973","title":"Proceedings of the Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1973","url":"https://ijcai.org/proceedings/1973/","year":1973,"location":"Stanford, California, USA","dates":"20-23 August 1973","editors":"Nils J. Nilsson","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Robot Problem Solving","track":"Robot Problem Solving","number":49,"pages":{"first":383,"last":386},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}