A methodology for using a default and abductive reasoning system


This paper investigates two di erent activities that involve making assumptions predicting what one expects to be true and explaining observations In a companion paper an architecture for both predic tion and explanation is proposed and an implementation is outlined In this paper we show how such a hypothetical reasoning system can be used to solve… (More)
DOI: 10.1002/int.4550050506