We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.
- Authors
García-Duque, Jorge; López-Nores, Martín; Pazos-Arias, José J.; Fernández-Vilas, Ana; Díaz-Redondo, Rebeca P.; Gil-Solla, Alberto; Blanco-Fernández, Yolanda; Ramos-Cabrer, Manuel
- 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.
- Subjects
LANGUAGE &; logic; MATHEMATICAL logic; UNCERTAINTY (Information theory); INCONSISTENCY (Logic); TECHNICAL specifications; MANY-valued logic; REASONING; CONNECTIVES (Linguistics)
- Publication
Journal of Logic & Computation, 2006, Vol 16, Issue 2, p227
- ISSN
0955-792X
- Publication type
Article
- DOI
10.1093/logcom/exi076