KS X ISO IEC 24707-2008 Information technology－Common Logic(CL)：a framework for a family of logic-based languages《信息技术 通用逻辑(CL) 基于逻辑的语言族构架》.pdf

1、 KSKSKSKSKSKSKSK KSKSKS KSKSK KSKS KSK KS KS X ISO/IEC 24707 (CL： Common Logic)： KS X ISO/IEC 24707:2008 2008 12 24 http:/www.kats.go.krKS X ISO/IEC 24707:2008 : e- ( ) ( ) () () ( ) : (http:/www.standard.go.kr) ： ：2008 12 24 2008-0945 ： e- ： ( 02-509-7262) (http:/www.kats.go.kr). 10 5 , . KS X ISO/

2、IEC 24707:2008 i .1 1 1 2 2 3 .2 3.1 (atom) 2 3.2 (axiom).2 3.3 (CLIF： Common Logic Interchange Format).2 3.4 (CG： Conceptual Graph) .2 3.5 (CGIF： Conceptual Graph Interchange Format) .2 3.6 (conceptual graph theory)3 3.7 (denotation)3 3.8 (dialect) 3 3.9 (discourse name) .3 3.10 (domain of discours

3、e).3 3.11 (XCL： eXtensible Common Logic Markup Language) 3 3.12 (individual) .3 3.13 (IRI： Internationalized Resource Identifier).3 3.14 (interpretation) .4 3.15 (KIF： Knowledge Interchange Format) 4 3.16 (operator) .4 3.17 (predicate) .4 3.18 (segregated dialect) 4 3.19 (sentence) .4 3.20 (sort) 4

4、3.21 (sorted logic).5 3.22 (term).5 3.23 1 (TFOL： traditional first-order logic).5 3.24 (type) .5 3.25 (universe of discourse), (domain of discourse).5 3.26 (universe of reference) .5 3.27 (URI： Uniform Resource Identifier).6 4 (Symbols and abbreviations) .6 4.1 .6 4.2 .6 5 .7 5.1 7 5.2 8 6 8 KS X I

5、SO/IEC 24707:2008 ii 6.1 .8 6.2 .14 6.3 17 6.4 , 19 6.5 , : 19 6.6 20 7 21 7.1 21 7.2 .23 7.3 .24 A( ) (CLIF： Common Logic Interchange Format) .25 A.1 .25 A.2 CLIF .26 A.3 CLIF .32 A.4 CLIF .34 B( ) (CGIF)36 B.1 .36 B.2 CG 43 B.3 CGIF .49 B.4 CGIF .56 C( ) (XCL： eXtended Common Logic Markup Language

6、) .60 C.1 .60 C.2 XCL 60 C.3 XCL 79 C.4 XCL 79 80 KS X ISO/IEC 24707:2008 (CL： Common Logic)： Information technology Common Logic(CL)： a framework for a family of logic-based languages 2007 1 ISO/IEC 24707, Information technology Common Logic(CL)： a framework for a family of logic-based languages ,

7、. 1 . . z . . z . 1 . z . . z z z . z z z “ ” “ ” . 1 . 1 KS X ISO/IEC 24707:2008 2 . 1 . ( , ) . 2 . . ( ) . KS X ISO/IEC 10646： 2003, (UCS) , ISO/IEC 2382 15： 1999, Information technology Vocabulary Part 15： Programming languages( 15： ) ISO/IEC 14977： 1996, Information technology Syntactic metalan

8、guage Extended BNF( BNF) 3 . 3.1 (atom) . 3.2 (axiom) , . 3.3 (CLIF： Common Logic Interchange Format) KIF A . “KIF” KIF . KIF , CLIF KIF . 3.4 (CG： Conceptual Graph) 3.5 (CGIF： Conceptual Graph Interchange Format) B KS X ISO/IEC 24707:2008 3 B . . 3.6 (conceptual graph theory) 1 John Sowa 1. 3.7 (de

9、notation) (entity), “ (of)” . 3.8 (dialect) ( ) . ( 7.1 ). 3.9 (discourse name) . . 3.10 (domain of discourse) (universe of discourse) 3.11 (XCL： eXtensible Common Logic Markup Language) XML 3.12 (individual) . 3.13 (IRI： Internationalized Resource Identifier) 2 KS X ISO/IEC 24707:2008 4 . 3.14 (int

10、erpretation) 1 , . 2 6.2 . 3.15 (KIF： Knowledge Interchange Format) LISP , 1 1 Mike Genesereth3 KIF US DARPA (Knowledge Sharing Effort) . 2 KIF . 3.16 (operator) . 3.17 (predicate) . 3.18 (segregated dialect) , . 3.19 (sentence) , 3.20 (sort) “ (type)” (3.24 ). . KS X ISO/IEC 24707:2008 5 3.21 (sort

11、ed logic) (1 .) 3.22 (term) 3.23 1 (TFOL： traditional first-order logic) n , (Boolean) ( ) Russell, Whitehead, Peano, Frege, Peirce Tarski 1 , ( ) . 1 CL (6.1.3 ). 3.24 (type) ( ) 1 . “ (type theory)” n , . 2 . 3.25 (universe of discourse), (domain of discourse) , . 3.26 (universe of reference) 1 .

12、1 . , . . . KS X ISO/IEC 24707:2008 6 3.27 (URI： Uniform Resource Identifier) 4 ASCII , . . 4 (Symbols and abbreviations) . . 4.1 3. . funIURI UDI* UDI I intI V URI . V URI . relIURI UDI* seqIV UDI* V UDI . I “ “ URI , I X* X , X 4.2 . 3. . CG (Conceptual Graph) CGIF (Conceptual Graph Interchange Fo

13、rmat) CL (Common Logic) CLIF (Common Logic Interchange Format) DF (Display form, B ) EBNF ISO/IEC 14977： 1996 (Extended Backus-Naur Format) FO 1 (First-Order) IRI (Internationalized Resource Identifier) KIF (Knowledge Interchange Format) OWL (Web Ontology Language) RDF (Resource Definition Framework

14、) RDFS (Resource Definition Framework Schema) TFOL 1 (traditional first order logic) KS X ISO/IEC 24707:2008 7 URI (Uniform Resource Identifier) XCL (eXtensible Common Logic Markup Language) XML (eXtensible Markup Language) 5 . . 5.1 . 5. “ (should)” (ISO/IEC 2 H ) CL . 5.1.1 1 . 1 . 1 . 5.1.2 . a)

15、XML . b) (syntactic sugarings) . c) . RDF, RDFS OWL . d) . 5.1.3 . a) XML XML, URI , XML , , . b) URI URI . c) URI , . 5.1.4 . a) . b) . . c) . d) , KS X ISO/IEC 24707:2008 8 . e) . 5.1.5 . a) . b) . 5.2 ( ) “ (family)“ . , . , . . . KIF CLIF ( A ) . CLIF KIF 3.03 , , . 1 1 . CGIF B . CL XML C . 6 .

16、 6.1 “ ” . 6.1.1 . . . 3. . 6.1.1.1 , . . , . . . KS X ISO/IEC 24707:2008 9 . , . . 6.1.1.2 , , . 6.1.1.3 . . . , . . 6.1.1.4 , , . . . . 6.1.1.5 . . 6.3.1 . 6.1.1.6 . 6.1.1.7 (i) , (ii) , , (iii) . . . . 6.1.1.8 . . , , . . . , . 6.1.1.9 . . 6.1.1.10 . 6.1.1.11 . KS X ISO/IEC 24707:2008 10 6.1.1.12 . , . 6.1.1.13 . 6.1.1.14 , . . , . “forall