Vol. 16 No. 2, © The Author, 2006. Published by Oxford University Press. All rights reserved.
Original Articles |
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
Department of Telematics Engineering, University of Vigo, Spain. Email: jgd{at}det.uvigo.es, mlnores{at}det.uvigo.es, jose{at}det.uvigo.es, avilas{at}det.uvigo.es, rebeca{at}det.uvigo.es, agil{at}det.uvigo.es, yolanda{at}det.uvigo.es, mramos{at}det.uvigo.es
The development of requirements specifications is characterized by the uncertain and changeable knowledge available about the systems to be built. This paper presents a many-valued logic that enables effective reasoning about uncertainty and inconsistency in requirements specifications, motivating the election of six truth values and the definition of a new implication connective. The adequacy of this logic to support a formal development methodology is assessed through a comparison with Belnap's four-valued logic in combination with the classical implications.
Received 8 February 2005.