Backward reasoning and epistemic actions

Barbero, Marta (2019) Backward reasoning and epistemic actions. In: DISMA Poster Day, Dipartimento di Scienze Matematiche, Politecnico di Torino, Italy.

Full text not available from this repository.

Abstract

In this poster, an analysis of a resolution protocol using the lens of Abstraction in Context is proposed. A distinction is identified between the types of cognitive chains that characterise discovery and verification processes. Within the resolution, the alternation between backward and forward reasoning is emphasised.

Actions (login required)

View Item View Item