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

DOI10.1093/LOGCOM/EXI076MaRDI QIDQ5477457zbMATH OpenOpenAlexWikidataFDO

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

Publication date 3 July 2006

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exi076

zbMATH Keywords

many-valued logicrequirements specificationsreasoning about uncertainty and inconsistency

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1693429
• Advances in Artificial Intelligence – SBIA 2004
• An exercise on the generation of many-valued dynamic logics
• Measure Logic
• scientific article; zbMATH DE number 1343459

Cited in

(1)

• Advances in Artificial Intelligence – SBIA 2004

Describes a project that uses

Uses Software

• SCTL-MUS
• PVS

This page was built for publication: A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477457)