e-ISSN: Pending
Negative / Null Result ReportOpen accessComputer Science

Pac-learning Recursive Logic Programs: Negative Results

W. W. Cohen · 1995 · arXiv

WASTE classifies this as Negative / Null Result Report · AI classification, approximate

The study found no significant effect — useful as a negative control or null benchmark for your own design.

Abstract (excerpt)

In a companion paper it was shown that the class of constant-depth determinate k-ary recursive clauses is efficiently learnable. In this paper we present negative results showing that any natural generalization of this class is hard to learn in Valiant's model of pac-learnability. In particular, we show that the following program classes are cryptographically hard to learn: programs with an unbounded number of constant-depth linear recursive clauses; programs with one constant-depth determinate clause containing an unbounded number of recursive calls; and programs with one linear recursive cla

Excerpt shown for reference under fair use — read the full paper at the publisher.

About to run something similar?

Run an AI Precheck on your own design to catch failure modes like this one before you spend the time. Your first desk check is free.

WASTE indexes this work — it does not host or republish it. Failure-type classification is automated and approximate.

Metadata source: arXiv