Automatic theorem proving and fuzzy situational search for decisions

DOI10.1023/A:1012725620069zbMath1034.68083MaRDI QIDQ1407160

Yu. Ya. Samokhvalov

Publication date: 9 September 2003

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

zbMATH Keywords

fuzzy logicmembership functionautomatic theorem provingcontrol over organizational systemslinguistic recognition of situationsplanning in systems of organizational controlquantitative approach to linguistic problemssituational search for decisionsverbal description of data

Mathematics Subject Classification ID

Related Items (1)

Proof of theorems in fuzzy logic based on structural resolution

This page was built for publication: Automatic theorem proving and fuzzy situational search for decisions