Vanlig logikk - Common Logic
Common Logic ( CL ) er et rammeverk for en familie av logiske språk , basert på førsteordens logikk , ment å lette utveksling og overføring av kunnskap i datamaskibaserte systemer.
CL-definisjonen tillater og oppmuntrer til utvikling av en rekke forskjellige syntaktiske former, kalt dialekter . En dialekt kan bruke hvilken som helst ønsket syntaks, men det må være mulig å demonstrere nøyaktig hvordan den konkrete syntaksen til en dialekt samsvarer med den abstrakte CL-semantikken, som er basert på en modellteoretisk tolkning. Hver dialekt kan deretter behandles som et formelt språk . Når syntaktisk konformitet er etablert, får en dialekt CL-semantikken gratis, da de bare er spesifisert i forhold til den abstrakte syntaksen, og dermed blir arvet av enhver konform konform dialekt. I tillegg er alle CL-dialekter ekvivalente (dvs. kan automatisk oversettes til hverandre), selv om noen kan være mer uttrykksfulle enn andre.
Generelt kan et mindre uttrykksfullt delmengde av CL oversettes til en mer uttrykksfull versjon av CL, men den omvendte oversettelsen er bare definert på et delsett av det større språket.
ISO-standarden
Common Logic er utgitt av ISO som "ISO / IEC 24707: 2007 - Information technology - Common Logic (CL): a framework for a family of logic-based languages". Den er tilgjengelig for kjøp fra ISOs katalog, og er fritt tilgjengelig fra ISOs indeks over offentlig tilgjengelige standarder.
CL-standarden inkluderer spesifikasjoner for tre dialekter, Common Logic Interchange Format ( CLIF ) (Annex A), Conceptual Graph Interchange Format ( CGIF ) (Annex B), og en XML- basert notasjon for Common Logic ( XCL ) (Annex C ). Semantikken til disse dialektene er definert i standarden ved deres oversettelse til den abstrakte syntaksen og semantikken til vanlig logikk. Mange andre logikkbaserte språk kan også defineres som delmengder av CL ved hjelp av lignende oversettelser; blant dem er RDF og OWL språk, som er definert av W3C .
Utviklingen av ISO-standarden startet i juni 2003 under arbeidsgruppe 2 (metadata) i underkomité 32 (datautveksling) under ISO / IEC JTC1, og ble fullført i oktober 2007. En teknisk rettelse som korrigerer noen feil i den opprinnelige standarden, er å være forberedt for tiden.
Implementeringer
- COLORE er et lager av Common Logic Ontologies
- Hets støtter Common Logic
- cltools er et PROLOG-bibliotek med delvis støtte for Common Logic
