ML Anthology

Using Examples to Generate Instantiations of Set Variables

W. W. Bledsoe
IJCAI 1983 pp. 892-901
/ijcai/1983/bledsoe1983ijcai-using/

Abstract

Examples play a crucial 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. I

PDF Semantic Scholar

Cite

Text

Bledsoe. "Using Examples to Generate Instantiations of Set Variables." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Bledsoe. "Using Examples to Generate Instantiations of Set Variables." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/bledsoe1983ijcai-using/)

BibTeX

@inproceedings{bledsoe1983ijcai-using,
  title     = {{Using Examples to Generate Instantiations of Set Variables}},
  author    = {Bledsoe, W. W.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {892-901},
  url       = {https://mlanthology.org/ijcai/1983/bledsoe1983ijcai-using/}
}