Proposta de framework formal: por uma semântica neurossimbólica híbrida

Resumen

Com o avanço dos Modelos de Linguagem de Larga Escala (LLMs), como os populares chatbots, surge um novo conjunto de desafios e oportunidades para a semântica. Enquanto os LLMs demonstram uma capacidade impressionante de gerar e processar linguagem natural, a forma como eles representam e manipulam o significado abre um frutífero tópico de pesquisa ativa. A lacuna entre a semântica latente profunda dos LLMs e os formalismos simbólicos tradicionais da semântica formal é um problema em aberto. A questão de como extrair e formalizar o conhecimento semântico de LLMs, e como usar a semântica para controlar e explicar o comportamento desses modelos, é uma área emergente que sintetiza em si um problema em aberto.