A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.
Jorge García DuqueMartín López NoresJosé Juan Pazos-AriasAna Fernández VilasRebeca P. Díaz RedondoAlberto Gil-SollaYolanda Blanco-FernándezManuel Ramos CabrerPublished in: J. Log. Comput. (2006)
Keyphrases
- valued logic
- classical logic
- propositional logic
- fuzzy logic
- first order logic
- fuzzy sets
- multi valued
- truth values
- logic programs
- automated reasoning
- datalog programs
- possibility theory
- logic programming
- neural network
- stable models
- rough sets
- computational intelligence
- high level
- real time
- default logic
- conditional probabilities
- belief revision
- general purpose