ISO/IEC 24707:2007 (W) 情報技術 — Common Logic（CL）:ロジックベースの言語ファミリーのフレームワーク

ISO/IEC24707:2007の規格概要

閲覧 情報

Information technology — Common Logic (CL): a framework for a family of logic-based languages

ISO/IEC 24707:2007は、共通論理を定義しています。これは、情報の交換と送信を目的とした一階述語論理フレームワークです。フレームワークの中心は、共通論理の完全な抽象構文と抽象セマンティクスです。これは、構文とセマンティクスに準拠する、方言と呼ばれるさまざまな具体的な構文形式の基礎を提供します。 Common Logicにはいくつかの新しい機能があります。その主なものは、署名がなく、一次モデル理論を維持しながらクラスや関係の数量化などの「高次」構造を可能にする構文と、理論で記述できるセマンティクスです。クラスやプロパティなどの内包的なエンティティ。また、整数を表す数字や文字列を表す引用符など、広く使用されているいくつかの規則の意味を修正し、データ型の使用、およびWorld Wide Webでのコンテンツの命名、インポート、送信を提供します。 ISO/IEC 24707:2007は抽象構文とセマンティクスを定義し、3つの具体的な方言が付録で定義されています。指定された3つの準拠方言は、Common Logic Interchange Format (CLIF) 、Conceptual Graph Interchange Format (CGIF) 、およびXML for Common Logic (XCL) です。

※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。