Los modelos de representación del lenguaje, o representación del conocimiento, son un subcampo de investigación en inteligencia artificial .

La investigación en el campo de la representación del conocimiento intenta responder a varias preguntas, tales como:

• ¿Cómo representamos nuestro conocimiento?
• ¿Representan todas las personas el conocimiento de la misma manera?
• ¿Existe alguna forma de representar algo?
• ¿Cómo deberían representar el conocimiento los programas inteligentes?

En teoría, una representación general como la lógica de primer orden sería suficientemente expresiva para representar cualquier tipo de conocimiento. Sin embargo, los problemas de eficiencia, facilidad de uso y la necesidad de expresar conocimiento incierto e incompleto han impulsado el desarrollo de diversos formalismos de representación del conocimiento, como la lógica, los sistemas de marcos y las redes semánticas.

Modelos de representación del lenguaje

La lógica es la base de la mayoría de los formalismos de representación del conocimiento, ya sea de forma explícita, como en los sistemas expertos basados ​​en el lenguaje Prolog, o disfrazada en forma de representaciones específicas que pueden interpretarse fácilmente como proposiciones o predicados lógicos.

Sin embargo, los problemas de eficiencia, facilidad de uso y la necesidad de expresar conocimientos inciertos e incompletos llevaron al desarrollo de diversos tipos de formalismos de representación del conocimiento.