林作铨
- 作品数：58 被引量：365H指数：10
- 供职机构：北京大学数学科学学院信息科学系更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学经济管理文化科学更多>>
- 基于知识的新闻信息采集软件Agent系统被引量：1
- 2005年
- 给出了一个基于知识的Internet新闻信息自动识别、采集、过滤、索引的软件Agent系统,介绍了系统体系结构和功能,说明了新闻信息采集器、知识库、新闻信息索引以及用户兴趣表示等技术的实现,最后给出部分实验结果。
- 孙玉冰李建清彭洪汇林作铨
- 关键词：软件AGENT基于知识系统体系结构知识库自动识别新闻信息
- 合同网协议中的Agent可信度模型被引量：25
- 2006年
- 针对经典的合同网协议(CNP),提出非合作型多agent系统环境下自私agent的可信度模型。为追求利益最大化,自私agent在自己能力不足的情况下仍有可能对宣布的任务进行投标。通过引入可信度模型,在对标书进行评价时将结合自私agent投标过程的历史记录进行决策,从而减少因自私agent能力不足而多次协商导致系统性能下降、任务完成质量不高等缺点。为说明可信度模型的性质,在JATLite平台上实现了基于可信度模型的合同网交互协商过程,并进行了对比实验。实验结果表明,基于可信度模型的agent协商策略在保证任务完成质量的基础上,尤其是在任务数目较大的情况下,能显著提高系统性能。
- 赵新宇林作铨
- 关键词：AGENT合同网协议
- 基于多Agent框架的供应链管理系统被引量：1
- 2004年
- 张润杰林作铨
- 关键词：供应链管理系统企业信息化AGENT技术协同商务IT技术库存管理
- 复合限制
- 1993年
- 限制是一种基于极小化模型的非单调逻辑,本文首先提出一种相对限制形式——基于极大化模型的限制,继而给出结合极小与极大化模型的复合限制形式,并进一步讨论它们在形式化机器学习中归纳推理的应用.
- 林作铨
- 关键词：人工智能
- 一种XML的模型论语义被引量：23
- 2006年
- XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达XML文档中的语义信息,并提出了一种XML的模型论语义.这样,XML成为一种表达能力比资源描述框架(resourcedescriptionframework,简称RDF)稍弱的Web知识表示语言,且XML数据可以保留语义转换到RDF数据.此外,还提出了XML文档的语义有效性和XML文档的推理问题,并把它们规约到描述逻辑语言ΣΗΟΙΝ(?)的知识库不可满足性问题.
- 刘升平林作铨梅婧岳安步
- 关键词：XML语义语义WEB
- 基于本体的动态信息收集Agent被引量：6
- 2003年
- 该文设计并实现了一个基于本体的动态信息收集Agent系统,该系统基于本体知识对文档进行领域本体分类和规范用户的检索请求,对信息收集的结果进行主题相关的链接分析,抽取出信息源组织结构知识,并根据获取的知识控制系统搜索策略,从而能够有效地处理动态信息收集。
- 李建清林作铨刘升平周谢慧
- 关键词：本体AGENT信息检索
- 超协调逻辑(Ⅱ)——新超协调逻辑研究被引量：7
- 1994年
- 这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有的一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。
- 林作铨李未
- 关键词：超协调逻辑经典逻辑
- 基于四值语义的缺省逻辑被引量：3
- 2005年
- 基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L+中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系.四值模型描述了公式变换的语义,基于四值语义的缺省推理通过缺省理论的变换技术能在标准的缺省逻辑中实现.
- 岳安步林作铨
- 关键词：缺省逻辑四值逻辑非单调逻辑超协调逻辑
- 软件Agent被引量：15
- 2000年
- 软件 Agent是一个飞速发展的领域。本文主要就软件 Agent的发展历史、研究现状、软件 Agent的定义、分类以及目前的研究成果进行论述 ,重点讨论了软件 Agent的本质属性 ,也即 :交互协作性 ( Interactive)、自主可控性 ( Autonomous&Controllable)、目标 /任务驱动性质 ( Goal/Task Driven)。在此基础上 ,对软件 Agent进行分类 ,并对慎思 Agent、反应 Agent、混合 Agent、移动 Agent、学习
- 孙玉冰林作铨
- 关键词：软件AGENT人工智能
- 基于未知扰动的冲突证据合成方法被引量：38
- 2004年
- 自从发现Dempster合成可能导致悖论以来,冲突证据合成一直是Dempster-Shafer理论的重要研究方向之一,迄今尚未有统一的解决方法被广泛接受.提出一种新的冲突证据合成方法,即在Dempster合成之前,基于未知扰动对mass函数进行预处理,并通过预处理来解决标准化问题.与其他相关方法相比,这种新方法不仅和Dempster规则形式上一致,合成过程比较灵活,并且可以通过扩展的Bayes公式得到理论上的解释.
- 林作铨牟克典韩庆
- 关键词：DEMPSTER-SHAFER理论
