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.
- ¿Es real la inteligencia artificial?
- ¿Cuáles son algunos de los artículos / artículos / noticias imprescindibles para un estudiante de doctorado en robótica?
- ¿Cómo funciona el método de abandono en el aprendizaje profundo? ¿Y por qué se afirma que es un truco efectivo para mejorar su red?
- ¿Hay algún proyecto trabajando en un sistema para crear fácilmente una simulación (limitada) de una persona real?
- ¿Cómo se define la función de valor de estado óptimo para los procesos de decisión de Markov?