lisanju / semantic-system

Framework semântico em Scala que computa abstrações-lambda e simula Context-Free Grammars (CFG)

Semantic System

Semantic System é um repositório acadêmico para práticas de Semântica Computacional através dos pressupostos teóricos da Semântica Formal. Essa teoria semântica utiliza do cálculo lambda, da lógica de primeira ordem e do cálculo de predicados como metalinguagens na análise do significado em linguagem natural.

Deste modo, para a implementação computacional das formalizações previstas pela teoria, é prático utilizar a linguagem Scala. Isso se deve pelo fato dela ser uma linguagem que permite programação funcional, além de contar com muitos usuários ativos, contém um grande número de bibliotecas e, principalmente, lida eficientemente com recursividade e composicionalidade - que são conceitos essenciais na Semântica Formal.

Conteúdo técnico e teórico

Para a familiarização com o framework semântico, este repositório apresenta também conteúdos tecno-teóricos sobre Semântica Computacional e Semântica Formal:

• A pasta 'semantica-basica' contém notas de estudo sobre Semântica Formal, retirados dos capítulos do livro Reference (ABBOTT, 2010). Utilize o conteúdo dessa pasta para conhecer os pressupostos teóricos da Semântica Formal e ser capaz de entender como funciona uma análise semântica em linguagem natural.

Referências

ABBOTT, Barbara. Reference. Oxford University Press: Linguistics. 2010.

EIJCK, Jan. UNGER, Christina. Computational Semantics with Functional Programming. Cambridge University Press. 2012.