Oxford Journals
tools journals homepage advanced search contact help
Journal of Logic and Computation: Current Issue

OUP > Journals > Computing/Engineer. & Mathematics/Stats. > Journal of Logic and Computation

Journal of Logic and Computation

Volume 13, Issue 1, February 2003: pp. 99-110

Credibility-limited Functions for Belief Bases

Eduardo Fermé1, Juan Mikalef2 and Jorge Taboada2

1Departamento de Matemática, Universidade de Madeira,Universitario de Penteada, 9000-390 Funchal, Madeira, Portugal. E-mail: ferme@math.uma.pt
2Computer Science Department, University of Buenos Aires, Argentina. E-mail: {juan.mikalef,jorge.taboada}@oracle.com

In this paper we adapt the Fermé and Hansson model of Shielded Contraction as well as Hansson et al. Credibility-limited Revision for belief bases, to join two of the many variations of the AGM model, i.e. those in which knowledge is represented through belief bases instead of logic theories, and those in which the object of the epistemic change does not have priority over the existing information as is the case in the AGM model.

Keywords: Logic of theory change; nonprioritzed belief functions; belief bases

Table of Contents   Full-Text PDF (112 KB)

Oxford University Press
Published by Oxford University Press
Copyright ©Oxford University Press 2003
Print ISSN: 0955-792X  Online ISSN: 1465-363X.
Oxford University Press Privacy Policy and Legal Statement