Defuzzifying formulas in Gödel logic through finitely additive measures.

Stefano Aguzzoli Brunella Gerla Vincenzo Marra

Published in: FUZZ-IEEE (2008)

Keyphrases

predicate calculus
classical logic
logic programming
finite number
modal operators
logical formulas
data sets
automated reasoning
predicate logic
search algorithm
modal logic
horn clauses
truth values
valued logic
additive model