Contrafactives and Learnability: An Experiment with Propositional Constants.
David StrohmaierSimon WimmerPublished in: LENLS (2022)
Keyphrases
- propositional logic
- finite automata
- first order logic
- boolean functions
- learning algorithm
- pac learnability
- uniform distribution
- multi valued
- uniform convergence
- default logic
- inductive inference
- pattern languages
- sound and complete axiomatization
- dnf formulas
- knowledge compilation
- membership queries
- decision trees
- regular languages
- data sets
- linear separability
- strips planning
- vapnik chervonenkis dimension
- agnostic learning
- decision lists
- training data
- pac learning
- support vector
- sufficient conditions
- grammatical inference
- inductive logic programming
- probabilistic logic
- horn clauses