Logique commune - Common Logic

Common Logic ( CL ) est un cadre pour une famille de langages logiques , basés sur la logique du premier ordre , destinés à faciliter l'échange et la transmission des connaissances dans les systèmes informatiques.

La définition CL permet et encourage le développement d'une variété de formes syntaxiques différentes, appelées dialectes . Un dialecte peut utiliser n'importe quelle syntaxe souhaitée, mais il doit être possible de démontrer précisément comment la syntaxe concrète d'un dialecte est conforme à la sémantique abstraite CL, qui est basée sur une interprétation théorique des modèles . Chaque dialecte peut alors être traité comme une langue formelle . Une fois la conformité syntaxique établie, un dialecte obtient la sémantique CL gratuitement, car elle est spécifiée par rapport à la syntaxe abstraite uniquement, et est donc héritée par tout dialecte conforme. De plus, tous les dialectes CL sont équivalents (c'est-à-dire qu'ils peuvent être traduits automatiquement entre eux), bien que certains puissent être plus expressifs que d'autres.

En général, un sous-ensemble moins expressif de CL peut être traduit en une version plus expressive de CL, mais la traduction inverse n'est définie que sur un sous-ensemble de la plus grande langue.

La norme ISO

Common Logic est publié par l' ISO sous le titre « ISO/IEC 24707:2007 - Technologies de l'information — Common Logic (CL) : un cadre pour une famille de langages logiques ». Il est disponible à l'achat dans le catalogue de l'ISO et est disponible gratuitement à partir de l'index ISO des normes accessibles au public.

La norme CL comprend des spécifications pour trois dialectes, le Common Logic Interchange Format ( CLIF ) (Annexe A), le Conceptual Graph Interchange Format ( CGIF ) (Annexe B) ​​et une notation XML pour Common Logic ( XCL ) (Annexe C ). La sémantique de ces dialectes est définie dans le Standard par leur traduction en syntaxe abstraite et sémantique de Common Logic. De nombreux autres langages basés sur la logique pourraient également être définis comme des sous-ensembles de CL au moyen de traductions similaires ; parmi eux se trouvent les langages RDF et OWL , qui ont été définis par le W3C .

L'élaboration de la norme ISO a commencé en juin 2003 dans le cadre du groupe de travail 2 (métadonnées) du sous-comité 32 (échange de données) de l'ISO/IEC JTC1, et s'est achevée en octobre 2007. Un rectificatif technique, corrigeant certaines erreurs dans la norme d'origine, est en cours de préparation pour le moment.

Implémentations

  • COLORE est un référentiel d'ontologies de logique commune
  • Hets prend en charge la logique commune
  • cltools est une bibliothèque PROLOG avec un support partiel pour Common Logic

Voir également

Les références