Problem-oriented theorem-proving method in fuzzy logic (PO-method)

DOI10.1007/BF02366316MaRDI QIDQ1922342zbMATH OpenFDO

Authors Yu. Ya. Samokhvalov

Publication date 13 January 1997

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

fuzzy logictheorem-proving method

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)

Recommendations

• On resolution strategies in fuzzy logic
• Fuzzy operator logic and fuzzy resolution
• Open theories, consistency and related results in fuzzy logic
• scientific article; zbMATH DE number 3880660
• Reasoning under uncertainty in fuzzy operator logic

Cited in

(6)

• On resolution strategies in fuzzy logic
• Decomposition of linguistic-logical decision models in distributed computing environments
• Proof of theorems in fuzzy logic based on structural resolution
• Linear resolution for consequence finding
• A new fuzzy resolution principle based on the antonym
• scientific article; zbMATH DE number 2059741 (Why is no real title available?)

This page was built for publication: Problem-oriented theorem-proving method in fuzzy logic (PO-method)

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