Las deficiencias que revelan los grandes modelos de lenguaje en las complejas fases de razonamiento pragmático han llevado la atención académica a desplazarse gradualmente de la ruta de investigación "grandes datos + reglas débiles" hacia la ruta "pequeños datos + reglas fuertes", y este cambio requiere urgentemente el apoyo de los resultados de la pragmática formal. Este artículo aborda las debilidades del razonamiento pragmático en grandes modelos de lenguaje, proponiendo una modelización formal del razonamiento pragmático basada en la pragmática formal como estrategia de respuesta, explorando la relación teórica entre ambos; luego, centrándose en la práctica de la pragmática formal para mejorar la capacidad de razonamiento pragmático en grandes modelos de lenguaje, desde tres niveles: la formalización del proceso de razonamiento pragmático, la interpretabilidad de los resultados del razonamiento pragmático y la computabilidad del modelo de razonamiento pragmático, delineando una ruta de desarrollo integrador en la que la pragmática formal potencia a los grandes modelos de lenguaje, destacando el valor y significado de la pragmática formal para la investigación y desarrollo de inteligencia artificial representada por grandes modelos de lenguaje, con la esperanza de ayudar a los grandes modelos de lenguaje a avanzar hacia una inteligencia artificial general capaz de comprender la mente humana.

pragmática formal; razonamiento pragmático; grandes modelos de lenguaje; inteligencia artificial