As deficiências expostas pelos grandes modelos de linguagem nas etapas complexas do raciocínio pragmático têm levado o foco acadêmico a migrar gradualmente do caminho de pesquisa "big data + regras fracas" para o caminho "pequenos dados + regras fortes", e essa mudança demanda urgentemente o suporte dos resultados da pragmática formal. Este artigo aborda as limitações do raciocínio pragmático dos grandes modelos de linguagem, propondo a modelagem formal do raciocínio pragmático baseada na pragmática formal como estratégia de resposta, explorando a relação teórica entre ambos; e foca na prática da pragmática formal para aprimorar a capacidade de raciocínio pragmático dos grandes modelos de linguagem, em três níveis: a formalização do processo de raciocínio pragmático, a interpretabilidade dos resultados do raciocínio pragmático e a computabilidade do modelo de raciocínio pragmático, delineando um caminho de desenvolvimento integrativo no qual a pragmática formal potencializa os grandes modelos de linguagem, ressaltando o valor e significado da pragmática formal para a pesquisa e desenvolvimento da inteligência artificial representada por grandes modelos de linguagem, com a esperança de ajudar esses modelos a avançarem na direção da inteligência artificial geral capaz de compreender a mente humana.

pragmática formal; raciocínio pragmático; grandes modelos de linguagem; inteligência artificial