Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games.
Thiago Alves RochaAna Teresa C. MartinsFrancicleber Martins FerreiraPublished in: Theor. Comput. Sci. (2020)
Keyphrases
- monotone dnf
- disjunctive normal form
- uniform distribution
- learning algorithm
- computer games
- boolean functions
- boolean formula
- learning theory
- game theory
- sample size
- educational games
- dnf formulas
- nash equilibria
- decision trees
- finite automata
- membership queries
- string matching
- game design
- edit distance
- video games
- pac learning
- game play
- agnostic learning
- monotone dnf formulas