INCONSISTENT REQUIREMENTS: AN ARGUMENTATION VIEW
Laurent Perrussel, Pierre‐Jean Charrel · International Journal of Artificial Intelligence Tools · 2002
In this article, we present a logical framework for reasoning about inconsistent requirements in the context of multi-viewpoint requirements engineering process. In order to analyse the sources of inconsistencies and to reason with inconsistent requirements, we present an argumentation view of the requirements. Intuitively, argumentation is a tool for reasoning with inconsistent knowledge: requirements are defined in terms of arguments (a conclusion with its support); then, a class of acceptable arguments is built (arguments with no counter arguments). We suggest to characterize different classes of requirements ordered in the following way: from weakly confident to strongly confident (i.e. consistent). In the paper, we present inference rules to build intra and inter-viewpoint reasoning. Inference rules stem from the classes of requirements. We show how this work is useful for the requirements engineers in analysing inconsistent fragments of requirements.