Programação em lógica fuzzy: um sistema formal e um interpretador Documento