UMA ABORDAGEM DA LOGICA GRAMATICAL E DA ANAFORA PRONOMINAL

ESTA DISSERTACAO TRATA DA LINGUISTICA COMPUTACIONAL DO PONTO DE VISTA DA PROGRAMACAO LOGICA, SENDO UMA CONTRIBUICAO A UTILIZACAO DA LOGICA GRAMATICAL COMO UMA FERRAMENTA PARA DESCREVER A SINTAXE DE SUBCONJUNTOS DE LINGUAGEM NATURAL, EM PARTICULAR DO FENOMENO LINGUISTICO CHAMADO REFERENCIA PRONOMINAL, ONDE SEU TRABALHO DE TESE, CARVALHO [1989], DESENVOLVE DESDE FORMALISMOS GRAMATICAIS MAIS SIMPLES, NOS QUAIS AS RESTRI COES TEM DE SER EXPLICITAMENTE ESTABELECIDAS NAS REGRAS GRAMATICAIS, ATE FORMALISMOS MAIS COMPLEXOS, ONDE O (A) GRAMATICO(A) NAO TEM QUE SE PREOCUPAR COM AS RESTRICOES, POIS TUDO E COMPILADO AUTOMATICAMENTE PEL CONCEITO DE CATEGORIA MINIMA DE REGENCIA DE UM MODULO A PASSA A SER A PRIMEIRA CATEGORIA MAIOR SN OU S QUE DOMINA A, UM REGENTE DE A E UM SUJEITO ACCESSIVEL A A. NESTA DISSERTACAO SERA USADO ESTE ULTIMO CONCEI TO DE CATEGORIA MINIMA DE REGENCIA E SERAO ANALISADAS ALGUMAS DAS POSSIVEIS IMPLICACOES QUE DECORREM DESTE FATO.