Abstract | ||
---|---|---|
In inductive inference, we study learners (computable devices) inferring formal languages. In particular, we consider semantically witness-based learners, that is, learners which are required to justify each of their semantic mind changes. This natural requirement deserves special attention as it is a specialization of various important learning paradigms. As such, it has already proven to be fruitful for gaining knowledge about other types of restrictions. In this paper, we provide a thorough analysis of semantically converging, semantically witness-based learners, obtaining normal forms for them. Most notably, we show that set-driven globally semantically witness-based learners are equally powerful as their Gold-style semantically conservative counterpart. Such results are key to understanding the, yet undiscovered, mutual relation between various important learning paradigms of semantically converging learners. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1007/978-3-030-80049-9_14 | CONNECTING WITH COMPUTABILITY |
DocType | Volume | ISSN |
Conference | 12813 | 0302-9743 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vanja Doskoč | 1 | 0 | 1.01 |
Timo Kötzing | 2 | 0 | 1.69 |