检索结果-南通市图书馆

模式识别与人工智能 1995年第A01期8卷 10-17页

作者：白硕李国杰国家智能计算机研究开发中心北京100080

本文综述非单调逻辑十五年来的主要成果.分析非单调逻辑的理论实质、现有困难和应用前景.作者认为,非单调逻辑的理论实质是演绎推理同某种优先序的结合;非单调逻辑的现有困难主要是实现效率;非单调逻辑的发展和应用前景不容乐观.

关键词：非单调逻辑常识推理人工智能演绎推理

在线全文

学校读者我要写书评

暂无评论

带优先级的基于论据的非单调逻辑

上海交通大学学报 1998年第1期32卷 18-21页

作者：杨杰陆正刚苗立靖上海交通大学图象处理及模式识别研究所

分析了常规非单调逻辑的局限性，通过介绍带优先级的非单调逻辑和累积缺省逻辑，指出非单调逻辑不仅需引入优先级而且须基于论据．提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理．

关键词：非单调推理非单调逻辑优先级缺省规则

在线全文

学校读者我要写书评

暂无评论

经验逻辑:一种非单调逻辑的统一形式

计算机学报 1993年第8期16卷 568-576页

作者：林作铨国家智能计算机研究开发中心

人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的统一基础,这是通过一种类似的规则把它们翻译成经验逻辑获得的... 详细信息

人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的统一基础,这是通过一种类似的规则把它们翻译成经验逻辑获得的。因此,经验逻辑给出了一类更一般而且直观的非单调推理形式。

关键词：模态逻辑非单调逻辑经验逻辑

在线全文

学校读者我要写书评

暂无评论

会话含义推导中的非单调逻辑属性

外语教学 2005年第6期26卷 30-33页

作者：廖开洪暨南大学外国语学院广东广州510632

本文试图从非单调逻辑的角度来探讨会话含义的推导过程,运用非单调逻辑来解释会话含义的可取消性特征,使用合情推理、缺省推理来推导会话含义。作者认为非单调逻辑的运用可完善会话含义的语用推理机制,为会话含义的进一步研究提供了不... 详细信息

本文试图从非单调逻辑的角度来探讨会话含义的推导过程,运用非单调逻辑来解释会话含义的可取消性特征,使用合情推理、缺省推理来推导会话含义。作者认为非单调逻辑的运用可完善会话含义的语用推理机制,为会话含义的进一步研究提供了不同的语用推理途径。

关键词：会话含义语用推理非单调逻辑合情推理缺省推理

在线全文

学校读者我要写书评

暂无评论

几种非单调逻辑系统的评述

武汉大学学报（自然科学版） 1990年第1期36卷 12-20页

作者：周祥和武汉大学计算机科学系

随着人工智能方法和技术研究的深入,传统逻辑(数理逻辑)已不能满足人工智能应用的需要。近年来,非单调逻辑的研究越来越受到人工智能界、哲学界、心理学界理论工作者的广泛关注。本文综述了几种人工智能领域中有应用前景的非单调逻辑系... 详细信息

随着人工智能方法和技术研究的深入,传统逻辑(数理逻辑)已不能满足人工智能应用的需要。近年来,非单调逻辑的研究越来越受到人工智能界、哲学界、心理学界理论工作者的广泛关注。本文综述了几种人工智能领域中有应用前景的非单调逻辑系统,即全域假设、模态逻辑、默认逻辑和约束逻辑。文章对这几种非单调逻辑系统的基本思想、存在问题及相互关系作了详细论述。

关键词：非单调逻辑全域假设模态逻辑

在线全文

学校读者我要写书评

暂无评论

一个模态非单调逻辑

中国科学（E辑） 1996年第3期26卷 276-288页

作者：林作铨汕头大学计算机科学研究所汕头515063

基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑,给出它的语义和语形,证明其完全性定理以及它与主要非单调逻辑的关系定理.它直接地形式化非单调推理的直观意义,提供了一种缺省逻辑和自知逻辑的一阶扩展形式,同时具有限... 详细信息

基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑,给出它的语义和语形,证明其完全性定理以及它与主要非单调逻辑的关系定理.它直接地形式化非单调推理的直观意义,提供了一种缺省逻辑和自知逻辑的一阶扩展形式,同时具有限制逻辑推出全称句子的能力,而且在逻辑程序与演绎数据库中有重要应用.由它提供了一个各种主要非单调逻辑的统一基础,各种非单调逻辑之间的关系可由此得到统一处理.

关键词：非单调逻辑模态逻辑模态非单调逻辑经验逻辑

在线全文

学校读者我要写书评

暂无评论

非单调逻辑综述

中山大学研究生学刊（社会科学版） 1997年第3期18卷 6-11页

作者：王廷利中山大学哲学系

本文说明了常识与非单调推理的特点,从直观思想和形式定义两方面,介绍了几种典型的非单调逻辑理论,引述了对其理论实质、统一基础等方面的研究工作。

关键词：非单调推理非单调逻辑

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

一个面向安全协议分析的非单调逻辑

计算机工程与科学 2007年第10期29卷 1-3,46页

作者：刘海燕杨朝红蔡红柳装甲兵工程学院信息工程系北京100072

本文提出一种对安全协议进行分析的非单调逻辑。使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调的信念维护,可以验证安全协议的安全性。

关键词：安全协议协议验证信念非单调逻辑

在线全文

学校读者我要写书评

暂无评论

辨证论治的非单调逻辑模型

辨证论治的非单调逻辑模型

作者：高黎内蒙古大学

学位级别：硕士

中医药学是中国劳动人民在长期与疾病斗争的实践中的智慧结晶,在世界医学发展史上有着举足轻重的影响。要使中医药学迈向国际化、信息化、科学化、智能化,运用人工智能与数学方法描述中医药学基础理论,使中医药理论上升到数理层面,便于... 详细信息

中医药学是中国劳动人民在长期与疾病斗争的实践中的智慧结晶,在世界医学发展史上有着举足轻重的影响。要使中医药学迈向国际化、信息化、科学化、智能化,运用人工智能与数学方法描述中医药学基础理论,使中医药理论上升到数理层面,便于世人的学习、应用和认可是可选途径之一本文首次引入并应用非单调逻辑理论对中医辨证论治过程进行描述。首先以非单调缺省逻辑为理论基础,以论据系统作为辅助工具,将辨证论治过程符号化,实现辨证论治的非单调逻辑理论形式描述,形成初步的冲突隔离后的非单调推理过程。然后以真值维持系统为辅助工具,在此基础上进行加工改造,引入证据理论,提出信度计算方法来解决中医诊断过程中冲突出现后如何维持知识体系的一致性的问题,从而实现辨证论治过程的非单调推理修正模型。最后以中医专家系统为辅助工具,在具体算法中,通过引入相容性、贴近度、假设正确度等概念,将非单调逻辑理论思想引入中医专家系统中,使中医专家系统更加智能化,使之更切合中医药学理论的实际。

关键词：辨证论治非单调逻辑真值维持信度计算

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

非单调逻辑:困境与出路

毕节学院学报（综合版） 2007年第5期25卷 44-47页

作者：杨武金刘东东中国人民大学哲学院北京100872

非单调逻辑是能够处理人工智能等领域中不确定性推理问题的重要的非经典逻辑分支。在经典逻辑中,前提的增加一定会导致结论的增加,结论是确定的;在非单调逻辑中,随着前提的增加,结论却是不确定的。解决常识推理的一个新思路是如何区分... 详细信息

非单调逻辑是能够处理人工智能等领域中不确定性推理问题的重要的非经典逻辑分支。在经典逻辑中,前提的增加一定会导致结论的增加,结论是确定的;在非单调逻辑中,随着前提的增加,结论却是不确定的。解决常识推理的一个新思路是如何区分和表达加强前提集的相容和不相容问题。

关键词：非单调逻辑不确定性推理常识推理加强前提