|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Berardi-deLiguoro:IC09 (Article) | |
| Author(s) | Stefano Berardi and Ugo de' Liguoro |
| Title | « Toward the interpretation of non-constructive reasoning as non-monotonic learning » |
| Journal | Information and Computation |
| Volume | 207 |
| Number | 1 |
| Page(s) | 63-81 |
| Year | 2009 |
| Abstract | |
| We study an abstract representation of the learning process, which we call learning sequence, aiming at a constructive interpretation of classical logical proofs, that we see as learning strategies, coming from Coquand’s game theoretic interpretation of classical logic. Inspired by Gold’s notion of limiting recursion and by the Limit-Computable Mathematics by Hayashi, we investigate the idea of learning in the limit in the general case, where both guess retraction and resumption are allowed. The main contribution is the characterization of the limits of non-monotonic learning sequences in terms of the extension relation between guesses. | |
Download the complete article:
| BibTeX code |
@article{Berardi-deLiguoro:IC09,
number = {1},
volume = {207},
author = {Stefano Berardi and de' Liguoro, Ugo},
tag = {{Information and Computation}},
localfile = {http://dx.doi.org/10.1016/j.ic.2008.10.003},
title = {Toward the interpretation of non-constructive reasoning as
non-monotonic learning},
abstract = {We study an abstract representation of the learning process, which
we call learning sequence, aiming at a constructive interpretation
of classical logical proofs, that we see as learning strategies,
coming from Coquand’s game theoretic interpretation of classical
logic. Inspired by Gold’s notion of limiting recursion and by the
Limit-Computable Mathematics by Hayashi, we investigate the idea
of learning in the limit in the general case, where both guess
retraction and resumption are allowed. The main contribution is
the characterization of the limits of non-monotonic learning
sequences in terms of the extension relation between guesses.},
year = {2009},
pages = {63-81},
journal = {Information and Computation},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
