Cholvy, L and Hunter, A (2003) Merging requirements from a set of ranked agents. KNOWL-BASED SYST , 16 (2) 113 - 126.
Full text not available from this repository.
Handling inconsistency is an increasingly important issue in data and knowledge engineering. A number of logic-based proposals have been made for handling aspects of inconsistency in beliefs (where we use beliefs as a general term to encompass representations of the real world) including belief revision theory, truth-maintenance, argumentation systems, and knowledgebase merging. In contrast, there are relatively few logic-based proposals for handling inconsistency in requirements (where we use requirements as a general term to encompass representations of a required world). Whilst there is a significant overlap between the issues of concern for handling inconsistency in beliefs and in requirements, there are also some significant differences. In this paper, we present a logic-based framework for merging requirements from a set of ranked agents. In the following, we will present and motivate the framework, and then compare the framework with related logic-based proposals. (C) 2003 Elsevier Science B.V. All rights reserved.
|Title:||Merging requirements from a set of ranked agents|
|Keywords:||information fusion, information integration, merging requirements, REVISION, LOGIC|
|UCL classification:||UCL > School of BEAMS > Faculty of Engineering Science > Computer Science|
Archive Staff Only: edit this record