A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications

  • Authors:

  • Jorge García-Duque;Martín López-Nores;José J. Pazos-Arias;Ana Fernández-Vilas;Rebeca P. Díaz-Redondo;Alberto Gil-Solla;Yolanda Blanco-Fernández;Manuel Ramos-Cabrer

  • Affiliations:

  • Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...;Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...;Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...;Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...;Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...;Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...;Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...;Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...

  • Venue:
  • Journal of Logic and Computation
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.