命题情况和元语言.docVIP

命题，情况和元语言 自然语言是一个高级语言他能表达任何形式和逻辑语言所不能表达的任何事情。它们甚至可以表达它们自己的元级陈述以及与其他语言的关系。这样巨大的表达能力很容易产生矛盾和一些似是而非的表述，如这个语句是无效的。大多数的形式语言以限制表达能力来避免这样的似是而非。例如普通逻辑在方言中可把语句表达为引用的字符串，他甚至可以设定这些串的句法结构。但是CL不能把它们的串和它们的子串处理为对应的CL名。 虽然在自然语言中会出现逻辑上的似是而非的表述，但是语言最常用的是关于讲话者和其他人的信念，欲望及意图的交谈。已有许多版本的逻辑和知识表示语言用来表达这样语言。如语句“Tom believes that Mary wants to marry a sailor”，有三个子句，它们的嵌套可以用括号标出： Tom believes that [Mary wants [to marry a sailor]] 外层的子句表达Tom有一个由动词“believe”的对象表示的信念。Tom的信念就是Mary希望的由嵌套的不定时描述的情况，主语是与希望情况相同的人。每个子句都是子句或嵌套它的子句的补充。涉及的个体可以多种方式跨越上下文，如在对原文的下列二个解释中： Tom believes that [there is a sailor whom Mary wants [to marry]] There is a sailor whom Tom believes that [Mary wants [to marry]] 把第一和第三个解释用概念图表示如下： 左边的概念图中概念[Sailor]存在量词嵌套在Mary希望的情况内。实际上是否这样一个sailor存在，是否Tom或Mary知道他的身份是不确定的。右边的CG中清楚地表明这样的sailor是存在的;内容和关系的连接隐含Tom知道他且Tom相信Mary也知道他。另一种选择（未表示）是把概念[Sailor]放到Proposition内容里边;这将使得sailor存在变得不确定, 但将隐含Tom相信他存在且Tom相信Mary知道他。 内容框表示否定或如If和Then的操作（由否定定义的）。但内容框Proposition和Situation带来了逻辑和本体逻辑上的新问题。CL语义可以表达任意类型的项目包括propositions和situations, 但他不提供这样的项目CL语句的内部关联结构，一个更具有表达力的语言称为IKL被定义为CL的向上兼容的扩展。IKL导入称为propositions的项目并定义称为that的操作，它把IKL语句和它们???达的propositions 联系起来。IKL没有内置的situations,但在IKL中能够生成表明Situation存在的语句并把它们与propositions联系。 把CG翻译成IKL的第一步就是把它们写成扩展的CGIF（允许把CG嵌套在Proposition或Situation概念节点内）。下面是左边CG的CGIF表述： [Person: Tom] [Believe: *x1] (Expr ?x1 Tom) (Thme ?x1 [Proposition: [Person: Mary] [Want: *x2] (Expr ?x2 Mary) (Thme ?x2 [Situation: [Marry: *x3] [Sailor: *x4] (Agnt ?x3 Mary) (Thme ?x3 ?x4)])]) 这个表述选择了把概念节点Proposition和Situation移到节点节点Thme内方式。这个选择虽没有语义上的意义但他与英语的书写顺序相近。一个非常重要的问题是situations和propositions间的关系。在通常用于Cgde本体论中他被称为Dscr（description）关系。上述的最后二行可以重写为： (Thme ?x2 [Situation: *s] (Dscr ?s [Proposition: [Marry: *x3] [Sailor: *x4] (Agnt ?x3 Mary) 最后一行没有改变，但前一行表明x2的theme是situation s而且s的描述是在最后一行描述的命题。事实上每个包含一个嵌套CG的Situa