Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa

Abstract

Esse trabalho assume que nâo existe uma diferença teórica importante entre as linguagens formais e as linguagens naturais. Uma teoria formalizada em lógica para um processador para a língua portuguesa é apresentada. A sintaxe usa apenas regras livres de contexto. A semântica é construída como este no PTQ de Montague. Existem ainda um cálculo lógico sobre o "aspecto verbal" e um tratamento lógico do tempo verbal.

This work assume that an important theoretical difference not exists between formal and natural languages. A logic formalized theory for a Portuguese language processar is presented. The syntax use context free rules only. The semantics is Montague's PTQ like. Moreover, there are a logic calculation for "verbal aspect" and a logic treatment for verbal tense.