Erratum for some errata to ATP problems

Francis Jeffry Pelletier, Geoffrey Sutcliffe

Research output: Contribution to journalArticle

Abstract

An innovative list of 75 logic problems for testing ATP systems was introduced in 1986. The problems are presented in a natural first-order form (FOF), and most of them are also given in an equivalent negated conclusion clause normal form (CNF). However, shortly the introduction of the logic problems, some errata are presented. In particular, Problem 62 was corrected. But recently, it has been discovered that both the CNF and FOF version of the Problem 62 of the errata presented are incorrect. This paper presents the correct version of Problem 62. Problem 62 is on of four variations on the same problem, the others being Problems 17, 33 and 38. The relationships among these problems are discussed. Their CNF versions and an explanation of the relevant of Problem 62 are also given.

Original languageEnglish (US)
Pages (from-to)135
Number of pages1
JournalJournal of Automated Reasoning
Volume18
Issue number1
DOIs
StatePublished - Feb 1997
Externally publishedYes

Fingerprint

Adenosinetriphosphate
Testing

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Erratum for some errata to ATP problems. / Pelletier, Francis Jeffry; Sutcliffe, Geoffrey.

In: Journal of Automated Reasoning, Vol. 18, No. 1, 02.1997, p. 135.

Research output: Contribution to journalArticle

Pelletier, Francis Jeffry ; Sutcliffe, Geoffrey. / Erratum for some errata to ATP problems. In: Journal of Automated Reasoning. 1997 ; Vol. 18, No. 1. pp. 135.
@article{451b6deb4606473ea8b5befe16633342,
title = "Erratum for some errata to ATP problems",
abstract = "An innovative list of 75 logic problems for testing ATP systems was introduced in 1986. The problems are presented in a natural first-order form (FOF), and most of them are also given in an equivalent negated conclusion clause normal form (CNF). However, shortly the introduction of the logic problems, some errata are presented. In particular, Problem 62 was corrected. But recently, it has been discovered that both the CNF and FOF version of the Problem 62 of the errata presented are incorrect. This paper presents the correct version of Problem 62. Problem 62 is on of four variations on the same problem, the others being Problems 17, 33 and 38. The relationships among these problems are discussed. Their CNF versions and an explanation of the relevant of Problem 62 are also given.",
author = "Pelletier, {Francis Jeffry} and Geoffrey Sutcliffe",
year = "1997",
month = "2",
doi = "10.1023/A:1005764705033",
language = "English (US)",
volume = "18",
pages = "135",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "1",

}

TY - JOUR

T1 - Erratum for some errata to ATP problems

AU - Pelletier, Francis Jeffry

AU - Sutcliffe, Geoffrey

PY - 1997/2

Y1 - 1997/2

N2 - An innovative list of 75 logic problems for testing ATP systems was introduced in 1986. The problems are presented in a natural first-order form (FOF), and most of them are also given in an equivalent negated conclusion clause normal form (CNF). However, shortly the introduction of the logic problems, some errata are presented. In particular, Problem 62 was corrected. But recently, it has been discovered that both the CNF and FOF version of the Problem 62 of the errata presented are incorrect. This paper presents the correct version of Problem 62. Problem 62 is on of four variations on the same problem, the others being Problems 17, 33 and 38. The relationships among these problems are discussed. Their CNF versions and an explanation of the relevant of Problem 62 are also given.

AB - An innovative list of 75 logic problems for testing ATP systems was introduced in 1986. The problems are presented in a natural first-order form (FOF), and most of them are also given in an equivalent negated conclusion clause normal form (CNF). However, shortly the introduction of the logic problems, some errata are presented. In particular, Problem 62 was corrected. But recently, it has been discovered that both the CNF and FOF version of the Problem 62 of the errata presented are incorrect. This paper presents the correct version of Problem 62. Problem 62 is on of four variations on the same problem, the others being Problems 17, 33 and 38. The relationships among these problems are discussed. Their CNF versions and an explanation of the relevant of Problem 62 are also given.

UR - http://www.scopus.com/inward/record.url?scp=0031075790&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031075790&partnerID=8YFLogxK

U2 - 10.1023/A:1005764705033

DO - 10.1023/A:1005764705033

M3 - Article

AN - SCOPUS:0031075790

VL - 18

SP - 135

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 1

ER -