{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T12:48:54Z","timestamp":1648730934503},"reference-count":13,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2002,9]]},"abstract":"<jats:p> 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). <\/jats:p><jats:p> 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. <\/jats:p>","DOI":"10.1142\/s0218213002000915","type":"journal-article","created":{"date-parts":[[2002,9,6]],"date-time":"2002-09-06T07:07:48Z","timestamp":1031296068000},"page":"303-325","source":"Crossref","is-referenced-by-count":1,"title":["INCONSISTENT REQUIREMENTS: AN ARGUMENTATION VIEW"],"prefix":"10.1142","volume":"11","author":[{"given":"LAURENT","family":"PERRUSSEL","sequence":"first","affiliation":[{"name":"IRIT\/CERISS - Universit\u00e9 Toulouse 1, Manufacture des Tabacs, 21 all\u00e9e de Brienne, F-31042 Toulouse  CedexFrance"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PIERRE-JEAN","family":"CHARREL","sequence":"additional","affiliation":[{"name":"IRIT\/CERISS - Universit\u00e9 Toulouse 1, Manufacture des Tabacs, 21 all\u00e9e de Brienne, F-31042 Toulouse  CedexFrance"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"issue":"6","key":"p_5","first-page":"639","volume":"2","author":"Loucopoulos P.","year":"1994","journal-title":"Ingenierie des Systemes d'Information"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1145\/292182.292187"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"issue":"33","key":"p_18","first-page":"24","volume":"4","author":"Nuseibeh B.","year":"2000","journal-title":"Leveraging Inconsistency in Software Development. Computer"},{"key":"p_20","author":"A","year":"2000","journal-title":"IEEE Transactions on Software Engineering, to appear"},{"key":"p_21","first-page":"252","volume":"14","author":"van Lamsweerde A.","year":"1996","journal-title":"CA. U.S.A."},{"key":"p_28","first-page":"144","author":"Rushby J.","year":"1997","journal-title":"MD"},{"issue":"2","key":"p_30","first-page":"183","volume":"5","author":"Hesketh J.","year":"1998","journal-title":"Lightweight Formalization in Support of Requirements Engineering. Automated Software Engineering"},{"key":"p_33","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267581"},{"issue":"2","key":"p_40","first-page":"1253","volume":"17","author":"Leite J.","year":"1991","journal-title":"Requirements Validation Through Viewpoint Resolution. IEEE Transactions on Software Engineering"},{"key":"p_41","doi-asserted-by":"publisher","DOI":"10.1109\/32.730544"},{"key":"p_44","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213002000915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T23:13:32Z","timestamp":1565133212000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213002000915"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":13,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2002,9]]}},"alternative-id":["10.1142\/S0218213002000915"],"URL":"https:\/\/doi.org\/10.1142\/s0218213002000915","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}