论文部分内容阅读
语言和思维的主要作用是将主观规定的性质归于事物,然后断言之。对语言和思维的这一研究构成了元语言的基础。属性本身亦是一类事物,故也可以把元语言看作是对象语言。这个事实具有重要的影响,并成为逻辑和 AI 领域内许多研究的基础。本文将综述这方面工作。
逻辑中的元级概念
【摘 要】
：
语言和思维的主要作用是将主观规定的性质归于事物,然后断言之。对语言和思维的这一研究构成了元语言的基础。属性本身亦是一类事物,故也可以把元语言看作是对象语言。这个事
【机 构】
：
北京航空航天大学博士后
【出 处】
：
计算机科学
【发表日期】
：
1992年5期
其他文献
目的探讨胎儿死亡原因，以降低胎儿死亡的发生率。方法收集分娩时孕20周以上的死胎病例，回顾分析胎儿死亡的原因。结果引起胎儿死亡的原因为胎儿因素的占39．13％，脐带因素的占27．17％，母
目的探索湿润烧伤膏治疗褥疮的疗效。方法将47例褥疮患者，全部采用湿润烧伤膏治疗身体各部位的褥疮，根据创面情况分别采用湿性暴露治疗方法和湿性包扎治疗方法。结果47例患者，痊
目的探讨肝硬化上消化道出血患者健康教育需求。方法于患者入院次日采用自行设计的调查表,调查患者对疾病知识的认知程度和患者对健康知识教育的需求。结果76%以上的患者对疾
脑出血系指脑实质内的动脉破裂出血。随着人们生活水平的提高，脑卒中已成为威胁人类健康和生命的主要疾病之一。据报道80％的脑血管病患者有不同程度肢体功能障碍，其中43．7％的患者
目的评价在乳腺癌术后围化疗期实施临床护理路径的效果。方法随机将72例乳腺癌患者分为两组,对照组32例实施常规护理,实验组40例用制定的临床护理路径护理。观察两组患者心理
一、类型理论的起源与发展类型理论的基本思想和方法学基础来源于哲学中的归类(classification)方法,即把具有共同特点的类集合成超类的思维过程和方法。归类是形成概念的先
面向对象的思想以其自身清晰、自然的风格在软件开发的各个层次已得到广泛的应用,综合形象思维的智能模型更符合人的思维过程也毫无疑问。本文试图将两者有效结合从而探索一
自知逻辑是非单调推理的重要的逻辑工具之一。它与缺席逻辑,界限和封闭世界假说等非单调推理的重要概念具有紧密的联系。自知逻辑采用模态逻辑作为形式表达工具,比缺席逻辑具
<正> 一、引言随着软件开发与研究的发展,软件产品的质量已成为一个不可忽视的问题,并由此推动了软件可靠性研究与应用。软件可靠性不仅是软件质量中最重要的定量描述指标,而