Lógica común

Common Logic (CL) es un marco para una familia de lenguajes basados en lógica cuyo propósito es estandarizar la sintaxis y la semántica para el intercambio de información. Es un trabajo en progreso hacia un estándar ISO (actualmente, a finales de 2006, un borrador ISO). Hay tres sintaxis estandarizadas:

• CLIF - Common Logic Interchange Format, basado en KIF
• CGIF - Conceptual Graph Interchange Format
• XCL - eXtended Common Logic Markup Language, basado en XML

Cada característica de CL tiene una expresión concreta en estas tres sintaxis; en otras palabras, cualquier declaración en cualquiera de estos lenguajes puede traducirse a cualquier otro lenguaje conservando la semántica original. La teoría de modelos de Common Logic soporta la lógica de predicados de primer orden, por lo que puede utilizarse para intercambiar fórmulas de primer orden de forma estandarizada. También soporta algunas características de lógicas de orden superior, como la cuantificación sobre predicados especificados en el dominio del discurso (no sobre cualquier predicado posible).

Este proyecto es similar al proyecto Ontolingua en el sentido de que busca proponer un formato de intercambio; sin embargo, está más enfocado en lenguajes basados en lógica y construye su semántica sobre la lógica de predicados de primer orden. También propone múltiples formas sintácticas para expresar el mismo conocimiento. Además, debería convertirse en un estándar ISO oficial.