사업자등록증
해외표준
FAQ
장바구니
고객센터
해외표준 상세정보
관심표준 등록 : 표준업데이트 시 알림서비스
제공형태 더보기-
표준
판매
ISO/IEC 24707:2018
Information technology — Common Logic (CL) — A framework for a family of logic-based languages- 발행일 : 2018-07-16
- 발행기관 : ISO/IEC
상세정보
| 분야 | ISO/IEC JTC 1/SC 32 : Data management and interchange |
|---|---|
| 적용범위 | This document specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems. The following features are essential to the design of this document. — Languages in the family have declarative semantics. It is possible to understand the meaning of expressions in these languages without appeal to an interpreter for manipulating those expressions. — Languages in the family are logically comprehensive ? at its most general, they provide for the expression of arbitrary first-order logical sentences. — Languages in the family are translatable by a semantics-preserving transformation to a common XML-based syntax, facilitating interchange of information among heterogeneous computer systems. The following are within the scope of this document: — representation of information in ontologies and knowledge bases; — specification of expressions that are the input or output of inference engines; — formal interpretations of the symbols in the language. The following are outside the scope of this document: — specification of proof theory or inference rules; — specification of translators between the notations of heterogeneous computer systems; — computer-based operational methods of providing relationships between symbols in the logical "universe of discourse" and individuals in the "real world". This document describes Common Logic's syntax and semantics. This document defines an abstract syntax and an associated model-theoretic semantics for a specific extension of first-order logic. The intent is that the content of any system using first-order logic can be represented in this document. The purpose is to facilitate interchange of first-order logic-based information between systems. Issues relating to computability using this document (including efficiency, optimization, etc.) are not addressed. |
| 국제분류(ICS)코드 | 35.060 : 정보 기술 용어 |
| 페이지수 | 70 |
| Edition | 2 |
이력정보
| No. | 표준번호 | 표준명 | 발행일 | 상태 |
|---|---|---|---|---|
| 1 | CSA ISO/IEC 24707:20상세보기 | Information technology — Common Logic (CL) — A framework for a family of logic-based languages (Adopted ISO/IEC 24707:2018, first edition, 2018-07) | 2020-01-01 | 표준 |
| 2 | ISO/IEC 24707:2018상세보기 | Information technology — Common Logic (CL) — A framework for a family of logic-based languages | 2018-07-16 | 표준 |
| 3 | ISO/IEC 24707:2018상세보기 | Information technology - Common Logic (CL) - A framework for a family of logic-based languages | 2018-07-16 | 표준 |
| 4 | ISO/IEC 24707:2007상세보기 | Information technology - Common Logic (CL): a framework for a family of logic-based languages | 2007-09-25 | 구판 |
| 5 | ISO/IEC 24707:2007상세보기 | Information technology — Common Logic (CL): a framework for a family of logic-based languages | 2007-09-25 | 구판 |
관련상품
- 관련상품이 존재하지 않습니다.
다른 사람이 함께 구입한 상품
- ISO 14539:2000 - Manipulating industrial robots — Object handling with grasp-type grippers — Vocabulary and presentation of characteristics
- ISO/TS 21547:2010 - Health informatics — Security requirements for archiving of electronic health records — Principles
- ISO/IEC 13522-8:2001 - Information technology — Coding of multimedia and hypermedia information — Part 8: XML notation for ISO/IEC 13522-5
- ISO/TR 11636:2009 - Health Informatics — Dynamic on-demand virtual private network for health information infrastructure
- ISO/HL7 27953-1:2011 - Health informatics — Individual case safety reports (ICSRs) in pharmacovigilance — Part 1: Framework for adverse event reporting
추천 상품
- IEC TS 63134:2020 - Active assisted living (AAL) use cases
- IEC 60034-5:2020 RLV - Rotating electrical machines - Part 5: Degrees of protection provided by the integral design of rotating electrical machines (IP code) - Classification
- KS B ISO TS 25740-1 - 에스컬레이터 및 무빙워크에 대한 안전요건 — 제1부: 세계공통 필수 안전요건(GESRs)
- KS B ISO TS 8100-21 - 승객 및 화물 운송용 엘리베이터 —제21부: 세계공통 필수안전요건(GESRs)을 충족하는 세계공통 안전 파라미터(GSPs)
- KS C IEC TS 62872 - 산업 시설과 스마트 그리드 사이의 산업 공정 측정, 제어 및 자동화 시스템 인터페이스
제공형태 닫기
PDF :
직접 파일 다운로드 및 인쇄(마이페이지 확인)보안PDF :
직접 파일 다운로드 및 인쇄(마이페이지 확인)* 단, 파일이동 및 복사 불가, 1회 다운로드 및 인쇄가능PRINT :
인쇄본 우편발송, 2~3일 소요(PDF파일 미제공)BOOK :
인쇄본 우편발송, 2~3일 소요(PDF파일 미제공)ZIP :
압축파일형태로 제공 (PDF, HTML, TXT, XLS 등으로 구성), 직접 파일 다운로드(마이페이지 확인)CD/DVD :
직접 파일 다운로드 및 인쇄(마이페이지 확인)DB :
별도 정보 제공HARDCOPY :
해외 배송 상품, 최대 3주 소요바인더 :
바인더 우편발송, 2~3일 소요온라인구독 :
WEB 접속 후 실시간 열람, 출력(1년간)