Title :
An organization of logic deduction on the basis of sequents fuzzy calculus
Author :
Astanin, Sergey V.
Author_Institution :
Taganrog State Univ. of Radioengineering, Russia
Abstract :
This paper presents an approach to modeling of reasoning on the base structured rules of the transformation fuzzy formulas. The particularity of the approach consists in the possibility of organization logical conclusion in situational networks, describing the behavior of dynamic systems and processes.
Keywords :
fuzzy logic; fuzzy set theory; inference mechanisms; uncertainty handling; base structured rules; dynamic systems; fuzzy situational networks; logic deduction; reasoning; sequents fuzzy calculus; transformation fuzzy formula; Buildings; Calculus; Expert systems; Fuzzy logic; Fuzzy reasoning; Fuzzy sets; Fuzzy systems; Inference algorithms; Production systems; Tree graphs;
Conference_Titel :
Artificial Intelligence Systems, 2002. (ICAIS 2002). 2002 IEEE International Conference on
Print_ISBN :
0-7695-1733-1
DOI :
10.1109/ICAIS.2002.1048059
