期刊文献+
共找到65篇文章
< 1 2 4 >
每页显示 20 50 100
基于未知扰动的冲突证据合成方法 被引量:27
1
作者 林作铨 牟克典 韩庆 《软件学报》 EI CSCD 北大核心 2004年第8期1150-1156,共7页
自从发现Dempster合成可能导致悖论以来,冲突证据合成一直是Dempster-Shafer理论的重要研究方向之一,迄今尚未有统一的解决方法被广泛接受.提出一种新的冲突证据合成方法,即在Dempster合成之前,基于未知扰动对mass函数进行预处理,并通... 自从发现Dempster合成可能导致悖论以来,冲突证据合成一直是Dempster-Shafer理论的重要研究方向之一,迄今尚未有统一的解决方法被广泛接受.提出一种新的冲突证据合成方法,即在Dempster合成之前,基于未知扰动对mass函数进行预处理,并通过预处理来解决标准化问题.与其他相关方法相比,这种新方法不仅和Dempster规则形式上一致,合成过程比较灵活,并且可以通过扩展的Bayes公式得到理论上的解释. 展开更多
关键词 不确定推理 DEMPSTER-SHAFER理论 冲突证据合成
在线阅读 下载PDF
超协调逻辑(Ⅰ)——传统超协调逻辑研究 被引量:7
2
作者 林作铨 李未 《计算机科学》 CSCD 北大核心 1994年第5期1-8,共8页
这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对超协调性的分析我们把超协调逻辑分成三类。然后,我们介绍并剖析这三类传统的超协调逻辑的基本结果,指出它们各自的优缺点、存在的... 这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对超协调性的分析我们把超协调逻辑分成三类。然后,我们介绍并剖析这三类传统的超协调逻辑的基本结果,指出它们各自的优缺点、存在的问题以及相互关系,并特别地研究了几种传统超协调逻辑与非单调逻辑的关系. 展开更多
关键词 超协调逻辑 分域逻辑 博论逻辑
在线阅读 下载PDF
悖论逻辑的表演算 被引量:3
3
作者 林作铨 李未 《软件学报》 EI CSCD 北大核心 1996年第6期345-353,共9页
悖论逻辑LP是一个超协调逻辑,发展超协调逻辑(LP)的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就是一些在经典逻辑中有效的推理在LP中不再有效;极小悖论逻辑LPm能克服这个缺点,使得在没有矛盾的直接影响下... 悖论逻辑LP是一个超协调逻辑,发展超协调逻辑(LP)的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就是一些在经典逻辑中有效的推理在LP中不再有效;极小悖论逻辑LPm能克服这个缺点,使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑.LP和LPm原来都只给出语义定义,虽然已有LP的证明论,但如何得到一个LPm的证明论仍是一个未解问题.本文提出了一种可靠与完全的表演算作为LP与LPm的证明论. 展开更多
关键词 表演算 超协调逻辑 悖论逻辑 计算机
在线阅读 下载PDF
超协调逻辑(Ⅳ)——非单调超协调逻辑研究 被引量:3
4
作者 林作铨 李未 《计算机科学》 CSCD 北大核心 1995年第1期4-9,共6页
这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义。最后,讨论了超协调逻辑的应用,特别是非单调超协调逻辑在计算机科学与人工智能... 这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义。最后,讨论了超协调逻辑的应用,特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。 展开更多
关键词 超协调逻辑 非单调逻辑 人工智能
在线阅读 下载PDF
超协调逻辑(Ⅱ)——新超协调逻辑研究 被引量:4
5
作者 林作铨 李未 《计算机科学》 CSCD 北大核心 1994年第6期1-7,共7页
这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有的一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单... 这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有的一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。 展开更多
关键词 超协调逻辑 经典逻辑
在线阅读 下载PDF
超协调逻辑(Ⅲ)——超协调性的逻辑基础 被引量:2
6
作者 林作铨 李未 《计算机科学》 CSCD 北大核心 1995年第1期1-4,共4页
这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括各种超协调逻辑,而且能够导出新的超协调逻辑,在一定意义上,... 这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括各种超协调逻辑,而且能够导出新的超协调逻辑,在一定意义上,是超协调逻辑的统一基础,容易统一地刻画非单调性。 展开更多
关键词 超协调逻辑 超协调性 优先语义
在线阅读 下载PDF
一个在弗协调逻辑中的限制 被引量:6
7
作者 林作铨 《软件学报》 EI CSCD 北大核心 1995年第5期290-295,共6页
本文通过应用限制到一个弗协调逻辑给出一种弗协调限制,弗协调限制是一种弗协调非单调逻辑,它能被极小化语义所刻划,并具有两方面优点:非单调逻辑在包含矛盾时是不平凡的;弗协调逻辑在矛盾没有影响时等价于经典逻辑.
关键词 费协调逻辑 非单调逻辑 知识推理
在线阅读 下载PDF
常识问题常识推理的逻辑基础 被引量:5
8
作者 林作铨 《计算机研究与发展》 EI CSCD 北大核心 1997年第6期407-414,共8页
本文主要讨论常识推理的逻辑基础,基于一条从非单调推理到常识推理的技术途径,由此指出了在更一般意义上形式化常识推理的一些结果。
关键词 非单调逻辑 常识推理 常识问题 人工智能
在线阅读 下载PDF
常识问题常识、人工智能与数理逻辑 被引量:5
9
作者 林作铨 《计算机研究与发展》 EI CSCD 北大核心 1997年第6期401-406,共6页
本文提出常识问题,通过确立常识准则和常识模型。
关键词 常识问题 人工智能 数理逻辑
在线阅读 下载PDF
超协调限制逻辑 被引量:3
10
作者 林作铨 《计算机学报》 EI CSCD 北大核心 1995年第9期665-670,共6页
本文给出了一阶超协调限制逻辑LPc的定义,并证明了它与悖论逻辑(LP与LPm)和限制逻辑(CIRC)的关系,LPc作为一种非单调超协调逻辑具有非单调逻辑和超协调逻辑的优点,而且能解决非单调逻辑和超协调逻辑存在的问题,... 本文给出了一阶超协调限制逻辑LPc的定义,并证明了它与悖论逻辑(LP与LPm)和限制逻辑(CIRC)的关系,LPc作为一种非单调超协调逻辑具有非单调逻辑和超协调逻辑的优点,而且能解决非单调逻辑和超协调逻辑存在的问题,它可作为在不完全与不协调知识下常识推理的形式化,因此它在知识表示中具有广泛的应用. 展开更多
关键词 超协调逻辑 非单调逻辑 悖论逻辑 限制逻辑
在线阅读 下载PDF
容错推理 被引量:4
11
作者 林作铨 《计算机科学》 CSCD 北大核心 1993年第2期18-22,共5页
1.引论人在日常生活中进行推理的能力包含诸多方面,是相当复杂的过程,但常识推理的最一般基础是在容错知识情形下的推理。一般地,容错知识包括两种最基本情形;一种是容“错”知识,即含矛盾的知识,这是在不相容知识情形下的推理问题;另... 1.引论人在日常生活中进行推理的能力包含诸多方面,是相当复杂的过程,但常识推理的最一般基础是在容错知识情形下的推理。一般地,容错知识包括两种最基本情形;一种是容“错”知识,即含矛盾的知识,这是在不相容知识情形下的推理问题;另一种是容“误”知识,即含未知的知识,这是在不完全知识情形下的推理问题。特别地,两种容错知识情形是相互联系的。 展开更多
关键词 容错推理 容错
在线阅读 下载PDF
纯粹理性批判与人工智能 被引量:1
12
作者 林作铨 戴汝为 《计算机科学》 CSCD 北大核心 1992年第5期1-7,共7页
一、前言非单调推理的提出及其进展被认为是AI 的一个重大进步,十几年来其研究所揭示出来的一些 AI 基本问题引起了 AI 界的深刻反思。1987年 CI 杂志出版了一个专集,耶鲁大学的 McDermott 教授写了一篇题为“纯粹理性批判”的檄文,以... 一、前言非单调推理的提出及其进展被认为是AI 的一个重大进步,十几年来其研究所揭示出来的一些 AI 基本问题引起了 AI 界的深刻反思。1987年 CI 杂志出版了一个专集,耶鲁大学的 McDermott 教授写了一篇题为“纯粹理性批判”的檄文,以非单调推理研究的现状作为主要依据,强烈地批评了 AI中的“纯粹理性”——AI 逻辑主义,从而引起一场 AI 中传统的逻辑主义与过程主义的新论争;继后,CI 杂志在1988年又刊出另一个专集,由 Checsman 著文“计算机理解质疑”,就包括不确定推理问题作进一步讨论;AI杂志也刊登了 AI 基础论题的更广泛论辨,包括逻辑,知识,过程。 展开更多
关键词 人工智能 理性批判
在线阅读 下载PDF
经验逻辑:一种非单调逻辑的统一形式 被引量:2
13
作者 林作铨 《计算机学报》 EI CSCD 北大核心 1993年第8期568-576,共9页
人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的统一基础,这是通过一种类似的规则把它们翻译成经验逻辑获得的... 人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的统一基础,这是通过一种类似的规则把它们翻译成经验逻辑获得的。因此,经验逻辑给出了一类更一般而且直观的非单调推理形式。 展开更多
关键词 模态逻辑 非单调逻辑 经验逻辑
在线阅读 下载PDF
悖论逻辑及其表演算
14
作者 林作铨 《计算机学报》 EI CSCD 北大核心 1998年第S1期17-23,共7页
修论逻辑LP是一个超协调逻辑,极小悖论逻辑LPm是一个LP的非单调逻辑扩展.本文给出了一阶LP和LPm的表演算.为此,本文在论证了(极小)悖论逻辑语义性质基础上,首先给出一个LP的(记号)表演算,然后给出一个LPm的极小表演算,并证... 修论逻辑LP是一个超协调逻辑,极小悖论逻辑LPm是一个LP的非单调逻辑扩展.本文给出了一阶LP和LPm的表演算.为此,本文在论证了(极小)悖论逻辑语义性质基础上,首先给出一个LP的(记号)表演算,然后给出一个LPm的极小表演算,并证明了两个表演算分别对于LP和LPm语义的可靠与完全性定理. 展开更多
关键词 表演算 超协调逻辑 非单调逻辑 悖论逻辑 极小悖论逻辑
在线阅读 下载PDF
基于三值语义的非单调逻辑 被引量:1
15
作者 林作铨 《汕头大学学报(自然科学版)》 1994年第1期6-13,共8页
本文给出一种三值非单调逻辑形式,它一方面可推广标准非单调逻辑到三值情形,另一方面它能捕捉各种非单调逻辑作为特殊形式,特别地,我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系.
关键词 三值逻辑 模态逻辑 非单调逻辑
在线阅读 下载PDF
一种XML的模型论语义 被引量:14
16
作者 刘升平 林作铨 +1 位作者 梅婧 岳安步 《软件学报》 EI CSCD 北大核心 2006年第5期1089-1097,共9页
XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达XML文档中的语义信息,并提出了一种XML的模型论语义.这样,XML... XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达XML文档中的语义信息,并提出了一种XML的模型论语义.这样,XML成为一种表达能力比资源描述框架(resourcedescriptionframework,简称RDF)稍弱的Web知识表示语言,且XML数据可以保留语义转换到RDF数据.此外,还提出了XML文档的语义有效性和XML文档的推理问题,并把它们规约到描述逻辑语言ΣΗΟΙΝ(?)的知识库不可满足性问题. 展开更多
关键词 XML 语义 语义WEB
在线阅读 下载PDF
从ALC到SHOQ(D):描述逻辑及其Tableau算法 被引量:34
17
作者 梅婧 林作铨 《计算机科学》 CSCD 北大核心 2005年第3期1-11,35,共12页
描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法。
关键词 ALC 描述逻辑 TABLEAU算法 语义WEB 知识表示
在线阅读 下载PDF
基于Java新IO的Web安全网关 被引量:7
18
作者 罗振兴 努尔买买提.黑力力 +2 位作者 徐大伟 赵琛 林作铨 《计算机工程》 CAS CSCD 北大核心 2007年第6期107-109,共3页
在实践经验的基础上分析了JavaNIO的特性,采用事件驱动、非阻塞的IO多路复用、多线程、安全Cookies、SSL、高速缓存等多种技术,设计并实现了构架在PKI上基于角色访问控制策略的安全访问控制服务器。
关键词 访问控制 JavaNIO 安全
在线阅读 下载PDF
Internet上的搜索引擎和元搜索引擎 被引量:22
19
作者 彭洪汇 林作铨 《计算机科学》 CSCD 北大核心 2002年第9期1-12,32,共13页
1.引言Internet自诞生以来不断成长,尤其是最近几年更是得到长足发展,功能不断扩展,信息容量呈爆炸性趋势增长,仅Internet Archive[1]收集的1996年以来的Web内容就达到四十亿个页面,容量达到40TB.据Internet Domain Survey [2]统计,从1... 1.引言Internet自诞生以来不断成长,尤其是最近几年更是得到长足发展,功能不断扩展,信息容量呈爆炸性趋势增长,仅Internet Archive[1]收集的1996年以来的Web内容就达到四十亿个页面,容量达到40TB.据Internet Domain Survey [2]统计,从1996年到2001年,Internet上的主机数量从两千万增长到一亿四千万. 展开更多
关键词 INTERNET 搜索引擎 元搜索引擎 信息资源 信息检索
在线阅读 下载PDF
合同网协议中的Agent可信度模型 被引量:15
20
作者 赵新宇 林作铨 《计算机科学》 CSCD 北大核心 2006年第6期150-153,167,共5页
针对经典的合同网协议(CNP),提出非合作型多agent系统环境下自私agent的可信度模型。为追求利益最大化,自私agent在自己能力不足的情况下仍有可能对宣布的任务进行投标。通过引入可信度模型,在对标书进行评价时将结合自私agent投标过程... 针对经典的合同网协议(CNP),提出非合作型多agent系统环境下自私agent的可信度模型。为追求利益最大化,自私agent在自己能力不足的情况下仍有可能对宣布的任务进行投标。通过引入可信度模型,在对标书进行评价时将结合自私agent投标过程的历史记录进行决策,从而减少因自私agent能力不足而多次协商导致系统性能下降、任务完成质量不高等缺点。为说明可信度模型的性质,在JATLite平台上实现了基于可信度模型的合同网交互协商过程,并进行了对比实验。实验结果表明,基于可信度模型的agent协商策略在保证任务完成质量的基础上,尤其是在任务数目较大的情况下,能显著提高系统性能。 展开更多
关键词 AGENT 合同网协议 可信度 能力
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部