Elaboration tolerance is ``the ability of accepting changes to a person`s or a computer program`s representation of facts without starting all over``. In this paper we investigate how abstraction helps in achieving a certain degree of elaboration tolerance. We do so by mechanizing in ABSFOL (an interactive theorem prover with abstraction) two famous representations of the missionaries and cannibals problem and by showing how abstraction helps in finding solutions in such representations ``... without starting all over.``
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte di FBK.
Titolo: | Abstraction as a Form of Elaboration Tolerance |
Autori: | |
Data di pubblicazione: | 1998 |
Abstract: | Elaboration tolerance is ``the ability of accepting changes to a person`s or a computer program`s representation of facts without starting all over``. In this paper we investigate how abstraction helps in achieving a certain degree of elaboration tolerance. We do so by mechanizing in ABSFOL (an interactive theorem prover with abstraction) two famous representations of the missionaries and cannibals problem and by showing how abstraction helps in finding solutions in such representations ``... without starting all over.`` |
Handle: | http://hdl.handle.net/11582/4793 |
ISBN: | 9783540649939 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.