Istituto di Scienza e Tecnologie dell'Informazione     
Sebastiani F. On heterogeneous model-preference default theories. In: CSCSI-90 - 8th Biennial Conference of the Canadian Society for Computational Studies of Intelligence (Ottawa, Ontario, Canada, May 22-25 1990). Proceedings, pp. 84 - 91. P. F. Patel-Schneider (ed.). ACM, 1990.
Default systems based on the notion of "modelpreference" 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 argue that the way these formal systems have been denned 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. We then show that the proposed modification has also a positive effect on the complexity of model-preference default reasoning.
Subject Artificial Intelligence

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