FUNDAMENTOS DA LOGICA ANOTADA

AS LOGICAS ANOTADAS SAO UMA CLASSE DE LOGICAS NAO-CLASSICAS INTRODUZIDAS POR V. S. SUBRAHMANIAN, ON THE SEMANTICS OF QUANTITATIVE LOGIC PROGRAMS, PROC. 4TH LEEE SYMPOSIUM ON LOGIC PROGRAMMING, COMPUTER SOCIETY PRESS, WASHINGTON D.C., 1987, 173-182. DEVIDO A SIGNIFICANTES APLICACOES OBTIDAS NA TEORIA DA COMPUTACAO E NA INTELIGENCIA ARTIFICIAL, TORNOU-SE CONVENIENTE UM ESTUDO DETALHADO DE SEUS FUNDAMENTOS. UM PRIMEIRO TRABALHO NESSE SENTIDO E DA COSTA, N.C.A., V.S.SUBRAHMANIAN (PARACONSISTENT LOGICS PI, ZEITSCHRIFT FUR MATH LOGIK UND GRUNDDER MATH 37, 1991, 137-148. NESTA TESE DAMOS SEGUIMENTO AO ESTUDO DOS FUNDAMENTOS DA LO OS SAO VALIDAS PARA OS SISTEMAS QI. OS SISTEMAS ANOTADOS ENGLOBAM A TEORIA DOS CONJUNTOS DIFUSOS (FUZZY SETS), O QUE NOS CONDUZ A UMA OUTRA APLICACAO FUNDAMENTAL DESTAS LOGICAS; OS RESULTADOS RELEVANTES FORAM P UBLICADOS EM DA COSTA, N.C.A., J.M.ABE & SUBRAHMANIAN, 'REMARKS ON ANNOTATED LOGICS', A APARECER EM ZEITSCHRIFT FUR MATH. LOGICK UND GRUND DER MATH, 1991, VOL. 37.