modeling fuzzy tree properties by fuzzy tree automata

fuzzy tree automata provide tools for dealing with vaguely defined trees. the behavior of a fuzzy tree automaton is called fuzzy tree language which is a mapping from a set of regular trees on ranked alphabets to fuzzy membership values. this paper provides some heuristic tricks and techniques that can be applied when a set of fuzzy properties are modeling by a fuzzy tree automaton. in this regard, we introduce a set of modelings that encodes some fuzzy / non-fuzzy atomic propositions to fuzzy tree automata. then, we define some fuzzy properties that are combination of atomic propositions by logical connectives and construct a fuzzy tree automata satisfying them.