Skip to main content
top

Bibliography

Conference Paper (international conference)

Fuzzy type theory as higher order fuzzy logic

Novák Vilém

: Proceedings ot fhe 6th International Conference on Inteligent Technologies, p. 21-26

: InTech'05 /6./, (Phuket, TH, 14.12.2005-16.12.2005)

: CEZ:AV0Z10750506

: GA201/04/1033, GA ČR

: fuzzy type theory, fuzzy logic, LPi-logic, Lukasiewicz logic

(eng): In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of zour kinds of fuzzy type theory are presented. This theory is a higher order fuzzy logic that can be used for precise formalization, for example, of the theory of computing with words, fuzzy IF-THEN rules, approximate reasoning, and others.

(cze): Jsou formulovány fuzzy axiomy, inferenční pravidla, sémankita a další specifické vlastnosti čtyř typů fuzzy typů. Je ukázáno, že se jedná o fuzzy logiku vyššího řádu použitelno v přesných formulacích dalších teorií, např. v počítání se slovy, přibližnému usuzování a dalších.

: 12A

: BA