¿Existe un lenguaje diseñado para ser utilizado por la inteligencia humana y artificial?

El lenguaje artificial Lojban no fue diseñado expresamente para ser utilizado por máquinas; él (o más bien su antecedente Loglan) fue diseñado como una prueba de la hipótesis Sapir-Whorf, su base abierta en la lógica de predicados es lo suficientemente ajena como para que su inventor pensara que serviría para ese propósito.

Lojban es una especie de lenguaje de fregadero de cocina en su diseño, pero su diseño tiene varios aspectos que son atractivos para al menos algunos entusiastas de la IA:

  • Tiene paréntesis sintácticos hablados, y un analizador LALR (definido en Yacc) puede analizarlo sintácticamente; entonces su sintaxis como se especifica formalmente es inequívoca.
  • También es morfológicamente inequívoco, a costa de algunas fonotácticas restrictivas. (Estoy viendo que la fonotáctica de los préstamos es menos restrictiva de lo que era en mi día). Por lo tanto, una corriente de fonemas se puede dividir en morfemas de una sola manera.
  • Era una lista bien elaborada de predicados básicos de 1300 impares, con sus argumentos completamente especificados. Tiene preposiciones que soportan una gramática completa de casos y (extraoficialmente) convenciones para derivar argumentos predicados compuestos de sus componentes. (Estuve involucrado en esto último). Esto no hace que su semántica sea tan inequívoca como les gustaría, pero ciertamente lo pone en una posición muy formal.

La ambigüedad sintáctica y morfológica no es el gran desafío del procesamiento del lenguaje natural; Las estadísticas tienden a encargarse de eso. La semántica siempre es más descuidada, pero tampoco estoy seguro de que los monitores de estadísticas de la nueva generación estén tan preocupados por la semántica formal. Pero sí, Lojban ha sido atractivo para varias personas con IA por ese motivo. Ben Goertzel, que está aquí, ha hablado sobre esto; véase, por ejemplo, Aspectos de la inteligencia artificial general.

Si.

Se llama matemáticas.

Es lo que se usa en cada programa.

es lo que se usa en cada computadora.

Es lo ÚNICO que puede hacer una computadora.