Umumiy mantiq - Common Logic

Umumiy mantiq (CL) - bu oila uchun asosdir mantiqiy tillar, asoslangan birinchi darajali mantiq, almashinuvi va uzatilishini engillashtirish uchun mo'ljallangan bilim yilda kompyuter asoslangan tizimlar.[1]

CL ta'rifi turli xil sintaktik shakllarning rivojlanishiga imkon beradi va ularni rag'batlantiradi lahjalar. Dialekt istalgan istalgan sintaksisdan foydalanishi mumkin, ammo dialektning aniq sintaksisining namunaviy nazariy talqinga asoslangan mavhum CL semantikasiga mos kelishini aniq ko'rsatib berish kerak. Keyin har bir lahjaga a sifatida qarash mumkin rasmiy til. Sintaktik muvofiqlik o'rnatilgandan so'ng, dialekt CL semantikasini bepul oladi, chunki ular faqat mavhum sintaksisga nisbatan belgilanadi va shuning uchun har qanday mos keluvchi lahja meros qilib olinadi. Bundan tashqari, barcha CL lahjalari ekvivalentdir (ya'ni avtomatik ravishda bir-biriga tarjima qilinishi mumkin), garchi ba'zilari boshqalarga qaraganda ifodali bo'lishi mumkin.

Umuman olganda, CLning kamroq ekspresiv kichik qismi CLning yanada aniqroq versiyasiga tarjima qilinishi mumkin, ammo teskari tarjima faqat katta tilning pastki qismida aniqlanadi.

ISO standarti

Umumiy mantiq tomonidan nashr etilgan ISO sifatida "ISO / IEC 24707: 2007 - Axborot texnologiyalari - Umumiy mantiq (CL): mantiqqa asoslangan tillar oilasi uchun asos".[2] Uni ISO katalogidan sotib olish mumkin, va ISO-ning ommaviy standartlari indeksidan erkin foydalanish mumkin.[3]

CL standarti uchta lahjaga xos xususiyatlarni o'z ichiga oladi Umumiy mantiqiy almashinuv formati (CLIF) (A ilova), Grafik almashinuvining kontseptual formati (CGIF) (B ilova) va umumiy mantiq uchun XML asosidagi yozuv (XCLUshbu lahjalarning semantikasi standartda ularning mavhum sintaksisiga va umumiy mantiqning semantikasiga tarjimasi bilan belgilanadi, aksariyat boshqa mantiqiy tillarni shu kabi tarjimalar yordamida CL ning quyi to'plamlari sifatida aniqlash mumkin; ular orasida RDF va Boyqush tomonidan belgilangan tillar W3C.

ISO standartini ishlab chiqish 2003 yil iyun oyida ISO / IEC JTC1 bo'yicha 32-kichik qo'mita (Ma'lumotlarni almashtirish) 2-ishchi guruhi (Metadata) ostida boshlandi va 2007 yil oktyabr oyida yakunlandi. Dastlabki standartdagi ba'zi xatolarni tuzatuvchi texnik kelishuv. hozirda tayyorlanmoqda.

Amaliyotlar

  • COLORE - bu keng tarqalgan mantiqiy ontologiyalar ombori
  • Hets Common Logic-ni qo'llab-quvvatlaydi
  • cltools - bu umumiy mantiqni qisman qo'llab-quvvatlaydigan prolog kutubxonasi

Shuningdek qarang

Adabiyotlar

  1. ^ Sova, Jon F. "Kontseptual grafikalar. "Kontseptual tuzilmalar: joriy tadqiqotlar va amaliyot 3 (1992): 66.
  2. ^ Xalqaro standartlashtirish tashkiloti (ISO)
  3. ^ Umumiy mantiqiy standart birinchi nashr