Istituto di Scienza e Tecnologie dell'Informazione     
Sebastiani F. On heterogeneous model-preference default theories. Internal note IEI-B4-72, 1989.
Default systems based on the notion of "model-preference" have recently been proposed by Selman and Kautz to give a semantic account of the phenomena involved in default reasoning and to provide a formal justification for the limited cognitive load that default reasoning seems to require of human beings. In this paper we show that the way these formal systems have been defined makes them inadequate for the task of reasoning in the presence of both certain information and defeasible information. We propose a modification to the original framework and argue that it formalizes correctly the interaction between these two fundamentally different kinds of information.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional