Obecná logika

Common Logic (CL) je rámec pro rodinu jazyků založených na logice, jehož cílem je standardizace syntaxe a sémantiky pro výměnu informací. Jde o rozpracovaný projekt směřující k normě ISO (na konci roku 2006 šlo o návrh normy ISO). Standardizovány jsou tři syntaxe:

• CLIF - Common Logic Interchange Format, založený na KIF
• CGIF - Conceptual Graph Interchange Format
• XCL - eXtended Common Logic Markup Language, založený na XML

Každá vlastnost CL má konkrétní vyjádření ve všech těchto třech syntaxích; jinými slovy, jakékoli výroky v některém z těchto jazyků lze přeložit do kteréhokoli jiného z nich při zachování původní sémantiky. Teorie modelů Common Logic podporuje predikátovou logiku prvního řádu, a může tedy sloužit k výměně formulí prvního řádu ve standardizované podobě. Podporuje také některé vlastnosti logik vyšších řádů, například kvantifikaci přes predikáty specifikované v doméně diskurzu (nikoli přes všechny možné predikáty).

Tento projekt je podobný projektu Ontolingua v tom smyslu, že se snaží navrhnout formát pro výměnu, je však více zaměřen na jazyky založené na logice a svou sémantiku staví na predikátové logice prvního řádu. Navrhuje také více syntaktických forem pro vyjádření týchž znalostí. Zároveň by se měl stát oficiální normou ISO.