Oxford Journals
tools journals homepage advanced search contact help
Journal of Logic and Computation: Current Issue
 
home
browse
current
etoc
authors
subinfo
subscribers
samples

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

Journal of Logic and Computation

Volume 13, Issue 1, February 2003: pp. 69-97

Structured Clusters: A Framework to Reason with Contradictory Interests

Odinaldo Rodrigues1

1Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK. E-mail: odinaldo@dcs.kcl.ac.uk

This paper presents a framework in which priorities in a belief base can be specified and used in the resolution of conflicts. Priorities are given in terms of a partial pre-order associated with the sentences in the base. When the new information is given the highest priority, it is accepted, thus complying with the success postulate of the AGM theory of belief revision. However, in general, priorities can be specified in a very flexible way and an input sentence placed anywhere in the previous ordering. The result or conclusion of a belief base can be computed into a sentence, allowing the method to be used in the reasoning of more complex structures where nodes in the structure are themselves prioritized bases. Embedded groups of prioritized bases are recursively resolved before the embedding structure is. The method combines reasoning about inconsistency and priorities in an elegant way.

Keywords: Base revision; priority; nonmonotonic reasoning

Table of Contents   Full-Text PDF (229 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