oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 117 )

2018 ( 1725 )

2017 ( 1843 )

2016 ( 1855 )

Custom range...

Search Results: 1 - 10 of 89368 matches for " 林作铨? "
All listed articles are free for downloading (OA Articles)
Page 1 /89368
Display every page Item
一个在弗协调逻辑中的限制

软件学报 , 1995,
Abstract: 本文通过应用限制到一个弗协调逻辑给出一种弗协调限制,弗协调限制是一种弗协调非单调逻辑,它能被极小化语义所刻划,并具有两方面优点:非单调逻辑在包含矛盾时是不平凡的;弗协调逻辑在矛盾没有影响时等价于经典逻辑.
容错推理

计算机科学 , 1993,
Abstract:
从ALC到SHOQ(D):描述逻辑及其Tableau算法
梅靖,
计算机科学 , 2005,
Abstract: 描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供7描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)描述逻辑基础及其相应的Tableau算法。
超协调逻辑(Ⅱ)—新超协调逻辑研究
,李未
计算机科学 , 1994,
Abstract: 这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。
超协调逻辑(Ⅳ)—非单调超协调逻辑研究
,李未
计算机科学 , 1995,
Abstract: 这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义,最后,讨论了超协调逻辑的应用,特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。
超协调逻辑(Ⅲ)—超协调性的逻辑基础
,李未
计算机科学 , 1995,
Abstract: 这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括名种超协调逻辑,而且能够导出新的超协调逻辑,在一定意义上,是超协调逻辑的统一基础,容易统一地刻画非单调性。
超协调逻辑(I)—传统超协调逻辑研究
,李未
计算机科学 , 1994,
Abstract:
人工智能研究需要更高标准
McCar.,J
计算机科学 , 1991,
Abstract: 本文是 John McCarthy 在1984年 AAAI 会议上的主题发言。McCarthy 提出需要确立 AI 研究的衡量准则,以推动 AI 基础研究。这些准则主要包括三个方面:普遍性,容忍性(如框架问题)与认识合适性。它们不仅适合于理论 AI 研究,而且也是实验 AI 研究的准则。从更高标准看,目前 AI 许多领域缺乏实质性进展。值得一提的是,McCarthy 批评了图灵测验作为 AI 的科学准则,他指出,衡量 AI 程序是否达到人的智能程度的一般准则是看它能否体现人的常识行为,这正是当前 AI 研究的关键问题。我们相信 McCarthy 的意见对国内 AI 研究者有所裨益。
不协调知识的缺省推理
韩庆?,
软件学报 , 2004,
Abstract: 提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双缺省逻辑下重建,证明了双缺省逻辑是缺省逻辑在不协调情形下的一般化.提供了一种方法使得超协调逻辑能够获得类似经典逻辑的推理能力.
悖论逻辑的表演算
,李未?
软件学报 , 1996,
Abstract: 悖论逻辑lp是一个超协调逻辑,发展超协调逻辑(lp)的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就是一些在经典逻辑中有效的推理在lp中不再有效;极小悖论逻辑lpm能克服这个缺点,使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑.lp和lpm原来都只给出语义定义,虽然已有lp的证明论,但如何得到一个lpm的证明论仍是一个未解问题.本文提出了一种可靠与完全的表演算作为lp与lpm的证明论.
Page 1 /89368
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.