UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Merging requirements from a set of ranked agents

Cholvy, L; 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.

Abstract

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.

Type:Article
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