| . |  |
| **FRDCSA | Paquetes | **celt-2.65 |
|
| **celt-2.65 |
Controlado inglés a Lógica (**CELT)
**CELT es pronunciado con un llevar '*c', gusta '**kelt'.
**CELT Es una *gramà tica inglesa controlada que genera expresiones de lógica en **KIF usando el Sugerido *Ontologia Fusionada Superior. Su *gramà tica asegura que cada frase tiene un solo **parse, diferente completo inglés donde una frase de moderar la longitud puede tener centenares de *parses. ***CELT Es Basado en la lengua de AS, pero no *reutilització cualquier de su código.
El As es una lengua inglesa controlada desarrollada por software y especificación de hardware principalmente. La lengua de AS asegura que cada frase tiene un solo **parse, diferente completo inglés donde una frase de moderar la longitud puede tener centenares de *parses. * Nuestra búsqueda en **CELT era al principio inspirado por el controlado inglés de AS. El AS fue diseñado para proporcionar una lengua de especificación formal por hardware y sistemas de software en un *subconjunt expresivo y fácilmente *llegible de inglés. **CELT, por contraste, es pretendido para dar apoyo ingenierÃa de conocimiento y conocimiento-sistemas de diálogo basado. Como tal, *implementa una porción de la lengua de AS y suma extensiones para dar apoyo lengua natural *Q y Uno y lengua natural **tutoring sistemas.**CELT es pretendido para aplicar como herramienta de ingenierÃa del conocimiento y como parte de llave de un sistema de comprensión de lengua natural por inteligente **tutoring sistemas.
El **CELT el sistema traduce frases en *el *CELT lengua a SUMO *código. Lo *SUMO el código proporciona un primer-representación de lógica de la orden de la frase.Pretendimos usar Vampiro como *teorema **prover para permitir contestando **CELT cuestiones.
SÃ/NINGUNA cuestión serÃa contestada para probar para probar que una fórmula es una *teorema (*y.**e., Que algo es de hecho el caso). **WH-Las Cuestiones serÃan contestadas por variables libres obligatorias en *lo SUMO traducción y *plugging *estos reculan a una respuesta **template generó por **CELT a la vez la cuestión es **parsed. El sistema final usos repartidos un **Prolog procesador de consulta que actúa razonamiento de herencia sencilla y puede razonar sobre *particions en la *ontologia. Este amable o el razonamiento era suficiente y muy rápido por la mayorÃa del *Q y Uno usábamos, mientras permitiendo ámbito-extensiones especÃficas para ser sumado fácilmente.
Esta página es parte del **FWeb paquete.
Deriva del **Robotics página de proyectos del Instituto.
Último actualizado **Mon *Jan 15 08:47:22 **CST 2007 .