---
title: "Using Examples to Generate Instantiations of Set Variables"
authors:
  - "W. W. Bledsoe"
doi: ""
url: "https://ijcai.org/proceedings/1983/212"
pdf: "https://ijcai.org/proceedings/1983/0212.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "892-900"
track: "Theorem Proving"
keywords:
---

# Using Examples to Generate Instantiations of Set Variables

W. W. Bledsoe

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, 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.