ML Anthology

Proving the Impossible Is Impossible Is Possible: Disproofs Based on Hereditary Partitions

Laurent Siklóssy, John W. Roach
IJCAI 1973 pp. 383-387
/ijcai/1973/siklossy1973ijcai-proving/

Abstract

A novel technique, called hereditary partitions, is Introduced. It permits the rigorous proof that, in a given axiomatization, certain states can never be reached. The technique is implemented in a computer program, DISPROVER, and is applied to robot worlds. DISPROVER cooperates with a path-finding program when the latter encounters difficulties.

PDF Semantic Scholar

Cite

Text

Siklóssy and Roach. "Proving the Impossible Is Impossible Is Possible: Disproofs Based on Hereditary Partitions." International Joint Conference on Artificial Intelligence, 1973.

Markdown

[Siklóssy and Roach. "Proving the Impossible Is Impossible Is Possible: Disproofs Based on Hereditary Partitions." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/siklossy1973ijcai-proving/)

BibTeX

@inproceedings{siklossy1973ijcai-proving,
  title     = {{Proving the Impossible Is Impossible Is Possible: Disproofs Based on Hereditary Partitions}},
  author    = {Siklóssy, Laurent and Roach, John W.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1973},
  pages     = {383-387},
  url       = {https://mlanthology.org/ijcai/1973/siklossy1973ijcai-proving/}
}