The problem of finding a strategy in control binary paramodulation
This article is the fifth of a series of articles discussing various open research problems in automated reasoning. Here we focus on the equality relation which is so vital to many applications of automated reasoning. The problem proposed for research asks one to find a strategy for controlling the application of binary paramodulation. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems. 13 refs.
- Research Organization:
- Argonne National Lab. (ANL), Argonne, IL (United States)
- Sponsoring Organization:
- DOE/ER
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 5395743
- Report Number(s):
- ANL/PPRNT-89-195; ON: DE90003007
- Country of Publication:
- United States
- Language:
- English
Similar Records
The problem of reasoning from inequalities.
Benchmark problems in which equality plays the major role
Benchmark problems in which equality plays the major role
Journal Article
·
Wed Jan 01 00:00:00 EST 1992
· J. Automat. Reason.
·
OSTI ID:5395743
Benchmark problems in which equality plays the major role
Conference
·
Wed Jan 01 00:00:00 EST 1992
·
OSTI ID:5395743
Benchmark problems in which equality plays the major role
Conference
·
Fri May 01 00:00:00 EDT 1992
·
OSTI ID:5395743