Жалпы логика (Common Logic) – бірінші реттік логика негізіндегі білім алмасуға арналған логикалық тілдер отбасының базасы. Дәл синтаксис пен семантикасы бар.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Логикалық тілдер отбасының негізі
Framework for a family of logic languages
Common Logic (CL) – бірінші реттік логикаға негізделген, компьютерлік жүйелерде білім алмасу және таратуды жеңілдетуге арналған логикалық тілдер отбасының негізі. CL анықтамасы диалект деп аталатын әртүрлі синтаксистік формаларды дамытуға мүмкіндік береді және оны ынталандырады. Диалект кез келген қалаулы синтаксисті пайдалана алады, бірақ диалекттің нақты синтаксисі модельдік-теориялық интерпретацияға негізделген абстрактілік CL семантикасына қалай сәйкес келетінін нақты көрсету қажет. Әрбір диалектті формальді тіл ретінде қарастыруға болады. Синтаксистік сәйкестік орнатылғаннан кейін, диалект абстрактілік синтаксиске ғана қатысты көрсетілген CL семантикасын тегін алады, сондықтан кез келген сәйкес диалект оны мұраға алады. Сонымен қатар, барлық CL диалектілері салыстырылады (яғни, оларды ортақ тілге автоматты түрде аударуға болады), бірақ кейбіреулері басқаларына қарағанда көбірек экспрессивті болуы мүмкін. Жалпы, CL-дің аз экспрессивті жиынтығы CL-дің көбірек экспрессивті нұсқасына аударылуы мүмкін, бірақ кері аударма тек үлкен тілдің жиынтығының бір бөлігінде ғана анықталған.
Common Logic (CL) is a framework for a family of logic languages, based on first order logic, intended to facilitate the exchange and transmission of knowledge in computer based systems. The CL definition permits and encourages the development of a variety of different syntactic forms, called dialects. A dialect may use any desired syntax, but it must be possible to demonstrate precisely how the concrete syntax of a dialect conforms to the abstract CL semantics, which are based on a model theoretic interpretation. Each dialect may be then treated as a formal language. Once syntactic conformance is established, a dialect gets the CL semantics for free, as they are specified relative to the abstract syntax only, and hence are inherited by any conformant dialect. In addition, all CL dialects are comparable (i. e., can be automatically translated to a common language), although some may be more expressive than others. In general, a less expressive subset of CL may be translated to a more expressive version of CL, but the reverse translation is only defined on a subset of the larger language.
ISO стандарты
Common Logic ISO ұйымында "ISO/IEC 24707:2007 Ақпараттық технологиялар – Common Logic (CL): логикалық негіздес тілдер отбасы үшін құрылымдық негіз" деп жарияланды. Оны ISO каталогынан сатып алуға болады, сондай-ақ ISO-ның жалқылы қолжетімді стандарттар тізілімінен тегін алуға болады. CL стандарты үш диалектінің сипаттамаларын қамтиды: Common Logic Interchange Format (CLIF) (A қосымша), Conceptual Graph Interchange Format (CGIF) (B қосымша) және Common Logic үшін XML-ге негізделген жазу тәсілі (XCL) (C қосымшасы). Бұл диалекттердің мағынасы стандартта оларды Common Logic-тің абстрактілі синтаксисі мен семантикасына аудару арқылы анықталады. Көптеген басқа логикалық негіздес тілдер де ұқсас аудармалар арқылы CL-дің ішкі жиындары ретінде анықталуы мүмкін; солардың қатарында W3C анықтаған RDF және OWL тілдері де бар. ISO стандартын әзірлеу 2003 жылдың маусым айында ISO/IEC JTC 1-ге қарасты 32-шы кіші комитетінің 2-ші жұмыс тобы (метадеректер) аясында басталды және 2007 жылдың қазан айында аяқталды. Қазіргі уақытта бастапқы стандарттағы кейбір қателерді түзету үшін техникалық түзету әзірленуде.
Common Logic is published by ISO as "ISO/IEC 24707:2007 Information technology — Common Logic (CL): a framework for a family of logic based languages". It is available for purchase from ISO's catalog, and is freely available from ISO's index of publicly available standards. The CL Standard includes specifications for three dialects, the Common Logic Interchange Format (CLIF) (Annex A), the Conceptual Graph Interchange Format (CGIF) (Annex B), and an XML based notation for Common Logic (XCL) (Annex C). The semantics of these dialects are defined in the Standard by their translation to the abstract syntax and semantics of Common Logic. Many other logic based languages could also be defined as subsets of CL by means of similar translations; among them are the RDF and OWL languages, which have been defined by the W3C. The ISO standard's development began in June 2003 under Working Group 2 (Metadata) of Sub Committee 32 (Data Interchange) under ISO/IEC JTC 1, and was completed in October 2007. A technical corrigendum, correcting some errors in the original standard, is being prepared at the time being.