On the Right Path: A Modal Logic for Supervised Learning.
Alexandru BaltagDazhu LiMina Young PedersenPublished in: LORI (2019)
Keyphrases
- modal logic
- supervised learning
- temporal logic
- decision procedures
- inference rules
- classical logic
- unsupervised learning
- epistemic logic
- nonmonotonic logics
- situation calculus
- conditional logic
- shortest path
- dynamic logic
- learning algorithm
- machine learning
- default logic
- active learning
- training examples
- explanation based generalization
- labeled data
- semi supervised
- modal operators
- training data
- pairwise
- prime implicates
- database systems
- learning tasks
- bayesian networks
- training set
- relational databases
- knowledge representation
- data sets
- model checking