Monotone term decision lists

We introduce a new representation class of Boolean functions---monotone term decision lists---which combines compact representation size with tractability of essential operations. We present many properties of the class which make it an attractive alternative to traditional universal representation...

Descripción completa

Detalles Bibliográficos
Autores: Guijarro Guillem, David, Lavín Puente, Víctor Angel, Raghavan, V
Tipo de recurso: informe técnico
Fecha de publicación:1998
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/84906
Acceso en línea:https://hdl.handle.net/2117/84906
Access Level:acceso abierto
Palabra clave:Boolean functions
Monotone terms decision lists
Representation
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Descripción
Sumario:We introduce a new representation class of Boolean functions---monotone term decision lists---which combines compact representation size with tractability of essential operations. We present many properties of the class which make it an attractive alternative to traditional universal representation classes such as DNF formulas or decision trees. We study the learnability of monotone term decision lists in the exact model of equivalence and membership queries. We show that, for any constant k >=0, k-term monotone decision lists are exactly and properly learnable with n^(O(k)) membership queries in n^(O(k^3)) time. We also show that n^(Omega (k)) membership queries are necessary for exact learning. In contrast, both k-term monotone decision lists (k >= 2) and general monotone term decision lists are not learnable with equivalence queries alone. We also show that a subclass of monotone term decision lists (disj-MDL) is learnable with equivalence and membership queries, while neither type of query alone suffices.