6533b85afe1ef96bd12ba053
RESEARCH PRODUCT
Integrating resolution—like procedures with Lukasiewicz implication
Settimo TerminiGuglielmo Tamburrinisubject
Deductive reasoningComputer scienceCalculusApproximate reasoningResolution (logic)approximate reasoningFuzzy logicfuzzy logicsdescription
We discuss some conceptual and technical problems raised by the attempt of integrating resolution-like procedures with the use of Lukukasiewicz implication Min{1, 1 – [a] + [b]} in an environment of approximate reasoning modelled by fuzzy logics.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 1993-01-01 |