情景逻辑与时态逻辑在知识处理中的应用

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jdwenge
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 一、前言我们正处在一个所谓“知识爆炸的时代”,由于微电子技术的飞跃发展,计算机技术的日趋成熟,当今,计算机系统的应用已经由数值计算和数据处理进入到知识处理的阶段,知识处理是计算机系统发展的必然趋势,一些计算机界的权威预言:“九十年代将是知识处理的年代”,“二十一世纪将是智能处理的时代”。由此,“知识工程”作为一门新型学科应运而生,正成为人们研究的一个热门课题,它涉及到计算机科学、微电子学、数学、认知科学、人工智能、逻辑学、心理学等等多门学科的内容,是一门多学科
其他文献
目的探讨肝硬化上消化道出血患者健康教育需求。方法于患者入院次日采用自行设计的调查表,调查患者对疾病知识的认知程度和患者对健康知识教育的需求。结果76%以上的患者对疾
脑出血系指脑实质内的动脉破裂出血。随着人们生活水平的提高,脑卒中已成为威胁人类健康和生命的主要疾病之一。据报道80%的脑血管病患者有不同程度肢体功能障碍,其中43.7%的患者
目的评价在乳腺癌术后围化疗期实施临床护理路径的效果。方法随机将72例乳腺癌患者分为两组,对照组32例实施常规护理,实验组40例用制定的临床护理路径护理。观察两组患者心理
一、类型理论的起源与发展类型理论的基本思想和方法学基础来源于哲学中的归类(classification)方法,即把具有共同特点的类集合成超类的思维过程和方法。归类是形成概念的先
面向对象的思想以其自身清晰、自然的风格在软件开发的各个层次已得到广泛的应用,综合形象思维的智能模型更符合人的思维过程也毫无疑问。本文试图将两者有效结合从而探索一
自知逻辑是非单调推理的重要的逻辑工具之一。它与缺席逻辑,界限和封闭世界假说等非单调推理的重要概念具有紧密的联系。自知逻辑采用模态逻辑作为形式表达工具,比缺席逻辑具
<正> 一、引言随着软件开发与研究的发展,软件产品的质量已成为一个不可忽视的问题,并由此推动了软件可靠性研究与应用。软件可靠性不仅是软件质量中最重要的定量描述指标,而
“面向值”和“面向对象”既用来描述程序设计言语,又用来描述程序设计风格。本文试图阐明值与对象的区别,并指出这种区别有助于控制程序的复杂度。
语言和思维的主要作用是将主观规定的性质归于事物,然后断言之。对语言和思维的这一研究构成了元语言的基础。属性本身亦是一类事物,故也可以把元语言看作是对象语言。这个事
<正> 一、引言传统的软件开发风范并未能真正解决“软件危机”,人们不得不继续寻找新的解决途径,软件开发的面向对象风范是其中目前人们普遍关注的一种。与传统的自顶向下功