com a logica fuzzy ja e possivel conceber uma computa9ao mais flexvel, mais
proxima da realidade da mente humana, e isso consiste certamente em um
grande avan9o Mesmo assim, ainda nao se pode computar contradi9oes,
embora essa logica permita opera9oes que envolvem ambiguidades, vaguidez,
imprecisoes, rrndos e inputs incompletos.
3. A proposta da logica multidimensional
Carlos Gershenson, em seu artigo Modelling Emotions with
Multidimensional Logic, publicado em 1999, propoe um tipo de modelagem
logica que possibilita o uso de contradi9oes por ser paraconsistente. Por logica
paraconsistente entende-se uma logica na qual uma conclusao pode ser obtida
a partir de premissas contraditorias.
A logica proposta por Gershenson e multidimensional. Utiliza tres
operadores tipicos da logica fuzzy: e, ou e negaςao.
[iA лрй = min(μA,μB)
μA vμB = nιax(μA,μβ)
-∙μA = I-μA
(ɪ)