Linkping University Electronic Press

Title:	Permissive Belief Revision (preliminary report)
Authors:	Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, and Joo P. Martins
Series:	Linkping Electronic Articles in Computer and Information Science ISSN 1401-9841
Issue:	Vol. 4 (1999), No. 038
URL:	http://www.ep.liu.se/ea/cis/1999/038/

Abstract:	We point out that current belief revision operations can be used to revise non-monotonic theories and we propose a new operation, called permissive belief revision. The underlying idea of permissive belief revision consists of instead of abandoning some beliefs during a revision, transforming those beliefs into weaker ones, while still keeping the resulting belief set consistent. This framework allows us to keep more beliefs than what is usual using existing belief base-based revision theories.

Abstract:

We point out that current belief revision operations can be used to revise non-monotonic theories and we propose a new operation, called permissive belief revision. The underlying idea of permissive belief revision consists of instead of abandoning some beliefs during a revision, transforming those beliefs into weaker ones, while still keeping the resulting belief set consistent. This framework allows us to keep more beliefs than what is usual using existing belief base-based revision theories.

Original publication 1999-12-22	Postscript part I -- Checksum Checksum (old) Information about recalculation of checksum Postscript part II -- Checksum II Checksum II (old) Information about recalculation of checksum