Abstract | ||
---|---|---|
Agents learning in physical domains face two problems: they must meet safety requirements because their behaviour must not cause damage to the environment, and they should learn with as few samples as possible because acquiring new data requires costly interactions. Active learning strategies reduce sampling costs, as new data are requested only when and where they are deemed most useful to improve on agent's accuracy, but safety remains a standing challenge. In this paper we focus on active learning with support vector regression and introduce a methodology based on satisfiability modulo theory to prove that predictions are bounded as long as input patterns satisfy some preconditions. We present experimental results showing the feasibility of our approach, and compare our results with Gaussian processes, another class of kernel methods which natively provide bounds on predictions. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-49130-1_39 | AI*IA |
Keywords | DocType | Volume |
Machine learning,Automated reasoning,Formal verification | Conference | 10037 |
ISSN | Citations | PageRank |
0302-9743 | 1 | 0.37 |
References | Authors | |
13 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francesco Leofante | 1 | 16 | 5.71 |
Armando Tacchella | 2 | 1448 | 108.82 |