Using Examples to Generate Instantiations of Set Variables

Bledsoe, W. W.

Using Examples to Generate Instantiations of Set Variables

Download BibTeX Cite

Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Theorem Proving. Pages 892-900.

Abstract

Examples play a cru cia l role in automated theorem proving, not only as counterexamples to help prune unproductive subgoals, but also to help guide proof discovery. In this paper we show how examples (interpretations) might be used to help determine instantiations of set variables. We also discuss the role of piecewise-linear continuous functions, and give some results of computer runs using these methods.

W. W. Bledsoe. 1983. Using Examples to Generate Instantiations of Set Variables. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 892–900. https://ijcai.org/proceedings/1983/212

@inproceedings{ijcai1983p212,
  title     = {Using Examples to Generate Instantiations of Set Variables},
  author    = {Bledsoe, W. W.},
  booktitle = {Proceedings of the Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI-83}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Alan Bundy},
  pages     = {892--900},
  year      = {1983},
  note      = {Theorem Proving},
  url       = {https://ijcai.org/proceedings/1983/212},
}

TY  - CPAPER
TI  - Using Examples to Generate Instantiations of Set Variables
AU  - Bledsoe, W. W.
T2  - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1983
SP  - 892
EP  - 900
UR  - https://ijcai.org/proceedings/1983/212
ER  -