A Dichotomy theorem for learning quantified Boolean formulas
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/83484
Tipus de documentReport de recerca
Data publicació1997-03
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We consider the following classes of quantified boolean formulas. Fix
a finite set of basic boolean functions. Take conjunctions
of these basic functions applied to variables and constants in
arbitrary way. Finally quantify existentially or universally some of
the variables. We prove the following dichotomy theorem: For
any set of basic boolean functions, the resulting set of formulas is
either polynomially learnable from equivalence queries alone or else it is
not PAC-predictable even with membership queries under
cryptographic assumptions. Furthermore we
identify precisely which sets of basic functions are in which
of the two cases.
CitacióDalmau, V. "A Dichotomy theorem for learning quantified Boolean formulas". 1997.
Forma partLSI-97-16-R
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R97-16.ps | 172,6Kb | Postscript | Visualitza/Obre |