공통 논리

Common Logic

Common Logic(CL; 공통 논리)은 1차 논리에 기초한 논리 언어 패밀리의 프레임워크로, 컴퓨터 기반 [1]시스템에서 지식의 교환과 전달을 용이하게 하기 위한 것입니다.

CL 정의는 방언이라고 불리는 다양한 구문 형식의 개발을 허용하고 장려합니다.사투리는 원하는 구문을 사용할 수 있지만, 사투리의 구체적인 구문이 모델 이론 해석에 기초한 추상 CL 의미론에 어떻게 부합하는지 정확하게 설명할 수 있어야 한다.각 방언은 정식 언어로 취급될 수 있다.구문 준수가 확립되면, 사투리는 추상 구문에만 상대적으로 지정되어 있기 때문에 CL 시멘틱스를 무료로 취득할 수 있습니다.따라서 임의의 준거 사투리로 상속됩니다.또한 모든 CL 방언은 동일하지만(즉, 서로 자동으로 번역할 수 있음), 일부 방언은 다른 방언보다 표현력이 더 높을 수 있습니다.

일반적으로 표현력이 낮은 CL 서브셋은 표현력이 높은 CL 버전으로 변환될 수 있지만 역번역은 큰 언어의 서브셋에서만 정의됩니다.

ISO 표준

Common Logic은 ISO에 의해 "ISO/IEC 24707:2007 - Information Technology - Common Logic (CL: 논리 기반 [2]언어 패밀리용 프레임워크"로 발행됩니다.ISO 카탈로그에서 구입할 수 있으며, ISO의 공개적으로 [3][4]사용 가능한 표준 색인에서 무료로 구입할 수 있습니다.

CL 표준에는 Common Logic Interchange Format(CLIF; 공통 논리 교환 형식)(Annex A), Conceptual Graph Interchange Format(CGIF; 개념 그래프 교환 형식)(Annex B) 및 Common Logic(XCL; 공통 논리)(Annex C)의 XML 기반 표기법의 사양이 포함되어 있습니다.이러한 방언의 의미론은 공통 로직의 추상적 구문과 의미론으로의 번역에 의해 표준에서 정의된다.다른 많은 논리 기반 언어도 유사한 변환을 통해 CL의 서브셋으로 정의할 수 있습니다.그 중에는 W3C에 의해 정의된 RDF OWL 언어도 있습니다.

ISO 규격의 개발은 2003년 6월에 ISO/IEC JTC1 산하 소위원회 32(데이터 교환) 작업 그룹 2(메타데이터)에서 시작되어 2007년 10월에 완료되었다.원래 규격의 오류를 수정하는 기술적 수정안이 현재 준비 중입니다.

실장

  • COLORE는 Common Logic Ontologies의 저장소입니다.
  • Hets는 공통 로직을 지원합니다.
  • cltools는 공통 로직을 부분적으로 지원하는 PROLOG 라이브러리입니다.

「 」를 참조해 주세요.

레퍼런스