We consider the problem of finding pre-fix points of interactive realizers over arbitrary knowledge spaces, obtaining a relative recursive procedure. Knowledge spaces and interactive realizers are an abstract setting to represent learning processes, that can interpret non-constructive proofs. Atomic pieces of information of a knowledge space are stratified into levels, and evaluated into truth values depending on knowledge states. Realizers are then used to define operators that extend a given state by adding answers and possibly forcing us to remove some: in the learning process states of knowledge change non-monotonically. Existence of a pre-fix point of a realizer is equivalent to the termination of the learning process with some state of knowledge which is free of patent contradictions and such that there is nothing to add. In this paper we generalize our previous results in the case of level 2 knowledge spaces and deterministic operators to the case of ω-level knowledge spaces and of non-deterministic operators.

Non-monotonic Pre-fix Points and Learning

BERARDI, Stefano;DE' LIGUORO, Ugo
2017-01-01

Abstract

We consider the problem of finding pre-fix points of interactive realizers over arbitrary knowledge spaces, obtaining a relative recursive procedure. Knowledge spaces and interactive realizers are an abstract setting to represent learning processes, that can interpret non-constructive proofs. Atomic pieces of information of a knowledge space are stratified into levels, and evaluated into truth values depending on knowledge states. Realizers are then used to define operators that extend a given state by adding answers and possibly forcing us to remove some: in the learning process states of knowledge change non-monotonically. Existence of a pre-fix point of a realizer is equivalent to the termination of the learning process with some state of knowledge which is free of patent contradictions and such that there is nothing to add. In this paper we generalize our previous results in the case of level 2 knowledge spaces and deterministic operators to the case of ω-level knowledge spaces and of non-deterministic operators.
2017
150
3-4
259
280
interactive realizers, constructive interpretation, fixed point
Berardi, Stefano; de’ Liguoro, Ugo
File in questo prodotto:
File Dimensione Formato  
FI-Nonmonotonicfixedpoint.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 289.9 kB
Formato Adobe PDF
289.9 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
de-lliguoro-Non-monotonic Pre-fix Points and Learning-Fundamenta-Informaticae-2016.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 335.43 kB
Formato Adobe PDF
335.43 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1627661
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact