A Modal Logic for Supervised Learning.
Alexandru BaltagDazhu LiMina Young PedersenPublished in: J. Log. Lang. Inf. (2022)
Keyphrases
- modal logic
- supervised learning
- temporal logic
- decision procedures
- inference rules
- unsupervised learning
- training data
- epistemic logic
- training set
- active learning
- learning algorithm
- learning tasks
- situation calculus
- nonmonotonic logics
- reinforcement learning
- training samples
- classical logic
- machine learning
- training examples
- semi supervised
- conditional logic
- class labels
- prime implicates
- unlabeled data
- programming language
- default logic
- multiple instance learning
- autoepistemic logic
- explanation based generalization
- state space
- relational databases
- decision trees
- artificial intelligence