万维网知识挖掘方法的研究 被引量：14

1

作者 沈达阳 孙茂松 《计算机科学》 CSCD 北大核心 2000年第2期79-82,共4页

1.引言万维网(World Wide Web)的出现使计算机拥有海量的信息资源,然而这些信息却很少以计算机可理解的结构存在,因为,万维网上的页面本来就是以人,而不是计算机为其阅读对象的。因此,复杂的文本结构、图像、声音等多种信息的存在,既把... 1.引言万维网(World Wide Web)的出现使计算机拥有海量的信息资源,然而这些信息却很少以计算机可理解的结构存在,因为,万维网上的页面本来就是以人,而不是计算机为其阅读对象的。因此,复杂的文本结构、图像、声音等多种信息的存在,既把万维网变成一种丰富多采的媒体,又造成了计算机对万维网信息进一步处理的障碍。 展开更多

关键词 万维网 知识挖掘 WEB INTERNET网

在线阅读 下载PDF 职称材料

超协调限制逻辑的计算复杂性分析

2

作者 蔡和熙 林作铨 《软件学报》 EI CSCD 北大核心 1998年第11期839-844,共6页

超协调限制逻辑ＬＰｃ是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理的形式化．给出了命题ＬＰｃ的计算复杂性结果和算法实现，指出ＬＰｃ是ＮＰ完全问题，并给出了将ＬＰｃ转化为等价的优先... 超协调限制逻辑ＬＰｃ是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理的形式化．给出了命题ＬＰｃ的计算复杂性结果和算法实现，指出ＬＰｃ是ＮＰ完全问题，并给出了将ＬＰｃ转化为等价的优先限制逻辑的线性时间算法，由于限制逻辑具有实用的实现算法且可用归结方法实现，因而该算法为ＬＰｃ的实现提供了新的途径． 展开更多

关键词 悖论逻辑 限制逻辑 计算复杂性 非单调性

在线阅读 下载PDF 职称材料

汉语分词系统中的信息集成和最佳路径搜索方法 被引量：13

3

作者 沈达阳 孙茂松 黄昌宁 《中文信息学报》 CSCD 北大核心 1997年第2期34-47,共14页

复杂的汉语分词系统中，各种信息的有效集成是系统实现的关键。本文介绍了分调系统SegTag中信息集成方法，并讨论了信息集成结构中的两种最佳路径搜索方法。最后，我们给出实验结果和结论。

关键词 汉语分词 词性标注 信息集成 最佳路径搜索

在线阅读 下载PDF 职称材料

Internet上的软件Agent 被引量：17

4

作者 沈达阳 林作铨 《计算机科学》 CSCD 北大核心 1997年第4期14-19,共6页

本文首先介绍Agent的基本概念及其相关理论、体系结构和语言。然后较详细地介绍软件Agent方面的典型工作。最后,阐释Internet软件Agent有关思想,并给出一些相应的研究结果。

关键词 AGENT 软件 INTERNET

在线阅读 下载PDF 职称材料

Internet中文个人信息搜索 被引量：7

5

作者 沈达阳 孙茂松 《中文信息学报》 CSCD 北大核心 1999年第2期24-32,共9页

本文构造了一个用于自动生成Ｉｎｔｅｒｎｅｔ个人信息索引的实验系统ＰｅｒｓｏｎＩｎｄｅｘｅｒ。在ＣＥＲＮＥＴ两个网址上进行的初步实验表明，ＰｅｒｓｏｎＩｎｄｅｘｅｒ对中文姓名、拼音人名、中文机构名的召回率和精确率平均分... 本文构造了一个用于自动生成Ｉｎｔｅｒｎｅｔ个人信息索引的实验系统ＰｅｒｓｏｎＩｎｄｅｘｅｒ。在ＣＥＲＮＥＴ两个网址上进行的初步实验表明，ＰｅｒｓｏｎＩｎｄｅｘｅｒ对中文姓名、拼音人名、中文机构名的召回率和精确率平均分别为９７．８％和６１．９％、１００％和６４．５％、９４．５％和９２．１％，对电子邮件地址和电话传真号码的召回率和精确率均为１００％。鉴于Ｉｎｔｅｒｎｅｔ上的信息检索以及自然语言处理这两个领域都互向对方提出了要求，我们相信，面向大规模真实文本的汉语分析技术与Ｉｎｔｅｒｎｅｔ的结合。 展开更多

关键词 中文姓名辨识 个人信息搜索 INTERNET 信息处理

在线阅读 下载PDF 职称材料

悖论逻辑的表演算 被引量：3

6

作者 林作铨 李未 《软件学报》 EI CSCD 北大核心 1996年第6期345-353,共9页

悖论逻辑ＬＰ是一个超协调逻辑，发展超协调逻辑（ＬＰ）的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ＬＰ中不再有效；极小悖论逻辑ＬＰｍ能克服这个缺点，使得在没有矛盾的直接影响下... 悖论逻辑ＬＰ是一个超协调逻辑，发展超协调逻辑（ＬＰ）的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ＬＰ中不再有效；极小悖论逻辑ＬＰｍ能克服这个缺点，使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑．ＬＰ和ＬＰｍ原来都只给出语义定义，虽然已有ＬＰ的证明论，但如何得到一个ＬＰｍ的证明论仍是一个未解问题．本文提出了一种可靠与完全的表演算作为ＬＰ与ＬＰｍ的证明论． 展开更多

关键词 表演算 超协调逻辑 悖论逻辑 计算机

在线阅读 下载PDF 职称材料

常识问题常识推理的逻辑基础 被引量：5

7

作者 林作铨 《计算机研究与发展》 EI CSCD 北大核心 1997年第6期407-414,共8页

本文主要讨论常识推理的逻辑基础，基于一条从非单调推理到常识推理的技术途径，由此指出了在更一般意义上形式化常识推理的一些结果。

关键词 非单调逻辑 常识推理 常识问题 人工智能

在线阅读 下载PDF 职称材料

常识问题常识、人工智能与数理逻辑 被引量：5

8

作者 林作铨 《计算机研究与发展》 EI CSCD 北大核心 1997年第6期401-406,共6页

本文提出常识问题，通过确立常识准则和常识模型。

关键词 常识问题 人工智能 数理逻辑

在线阅读 下载PDF 职称材料

关于D.W.Etherington的扩充产生算法的一个注记 被引量：3

9

作者 苏开乐 《计算机工程与科学》 CSCD 1998年第4期37-41,60,共6页

Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎ提出了一类总是有扩充的缺省理论，即有限有序缺省理论，同时使用接连近似的方法给出产生这类缺省理论的所有扩充的算法，并证明该算法对有限有序网络缺省理论总是收敛到一扩充。本文首先举例说明Ｄ．Ｗ... Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎ提出了一类总是有扩充的缺省理论，即有限有序缺省理论，同时使用接连近似的方法给出产生这类缺省理论的所有扩充的算法，并证明该算法对有限有序网络缺省理论总是收敛到一扩充。本文首先举例说明Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎｄ的算法对一般的有限有序缺省理论并非总是收敛，然后给出了该算法对一般的有限有序缺省理论收敛的一个充分条件。 展开更多

关键词 知识表示 缺省逻辑 有序缺省理论 人工智能

在线阅读 下载PDF 职称材料

关于Levesque的信念逻辑的完备性

10

作者 苏开乐 丁德成 《数学年刊（A辑）》 CSCD 北大核心 1995年第3期275-279,共5页

Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的... Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明． 展开更多

关键词 完备性 指派 T^＊-集合

在线阅读 下载PDF 职称材料

基于并行处理环境的多类命题动态逻辑系统

11

作者 毋国庆 李琼章 王兰军 《计算机学报》 EI CSCD 北大核心 1996年第1期43-51,共9页

本文提出了一个描述并行处理环境下程序动态特性的多类命题动态逻辑和多类结构，并使用ＭＰＤＬ描述了一个实际问题．本文使用了新算子Ｇｉｊ来描述并行程序间的关系．最后，本文简单地讨论了ＭＰＤＬ的一致性和完备性．

关键词 命题动态逻辑 并行处理 程序 动态特性

在线阅读 下载PDF 职称材料

分类判断策略的自动获取 被引量：5

12

作者 王建伟 石纯一 王克宏 《软件学报》 EI CSCD 北大核心 1996年第8期481-485,共5页

获取专家在决策、问题求解过程中使用的决策策略和问题求解规则是知识获取的核心目标．本文以“ｔｈｅＭｏｖｉｎｇＢａｓｉｓＨｅｕｒｉｓｔｉｃｓ”模型为背景，介绍了自动获取专家在分类判断任务中运用的判断策略的算法思想与系统Ｐ... 获取专家在决策、问题求解过程中使用的决策策略和问题求解规则是知识获取的核心目标．本文以“ｔｈｅＭｏｖｉｎｇＢａｓｉｓＨｅｕｒｉｓｔｉｃｓ”模型为背景，介绍了自动获取专家在分类判断任务中运用的判断策略的算法思想与系统Ｐｏｌｙｎｏｍｅ的组成． 展开更多

关键词 知识获取 专家决策 分类判断 人工智能

在线阅读 下载PDF 职称材料

定性代数的形式框架FAQA 被引量：2

13

作者 陈见 石纯一 《计算机学报》 EI CSCD 北大核心 1995年第6期417-423,共7页

本文首先讨论了定性推理系统和定量推理系统的结构论述．进而给出了定性代数的一种形式框架ＦＡＱＡ，提出了定性、定量是不同层次观察结果的观点，并对定性（混合）结构进行了分析描述．ＦＡＱＡ框架是Ｗｉｌｌｉａｍｓ等人工作理论上... 本文首先讨论了定性推理系统和定量推理系统的结构论述．进而给出了定性代数的一种形式框架ＦＡＱＡ，提出了定性、定量是不同层次观察结果的观点，并对定性（混合）结构进行了分析描述．ＦＡＱＡ框架是Ｗｉｌｌｉａｍｓ等人工作理论上的完善及统一基础． 展开更多

关键词 定性推理 定性代数 定性论域 人工智能 FAQA

在线阅读 下载PDF 职称材料

一个Web站点自动生成系统 被引量：1

14

作者 肖庆文 林作铨 《计算机科学》 CSCD 北大核心 2000年第3期67-69,共3页

1 引言目前,Internet/Intranet正在飞速发展,而Web是Internet/Intranet上一种最有效的信息交流方式,用户可以通过访问Web站点来获得信息、服务,并反馈意见。因此,对于普遍的政府部门、企业、学校等单位来说,迫切需求建立Web站点,也需要... 1 引言目前,Internet/Intranet正在飞速发展,而Web是Internet/Intranet上一种最有效的信息交流方式,用户可以通过访问Web站点来获得信息、服务,并反馈意见。因此,对于普遍的政府部门、企业、学校等单位来说,迫切需求建立Web站点,也需要一种能快速生成与维护Web站点的工具。然而,现存的FrontPage等HTML页面编写工具,自动化、智能化程度不高,操作复杂烦琐,要求用户具有较高的计算机技能,普通用户难于掌握。因此,给出一个Web站点自动生成工具,帮助企事业单位方便、快速地建立起Web站点是非常有意义的。 展开更多

关键词 WEB站点 自动生成系统 信息系统 INTERNET网

在线阅读 下载PDF 职称材料

基于比较的一种定性仿真方法

15

作者 顾宇红 石纯一 《软件学报》 EI CSCD 北大核心 1997年第1期62-70,共9页

基于比较的定性仿真是研究当动力学系统模型内部受到参数扰动或初始状态有所变化后，其定性行为如何变化，并给出因果解释．本文在Ｗｅｌｄ，Ｎｅｉｔｚｋｅ和Ｎｅｕａｎｎ的研究基础上，提出了一种基于比较的定性仿真方法ＣＱＳＩＭ，... 基于比较的定性仿真是研究当动力学系统模型内部受到参数扰动或初始状态有所变化后，其定性行为如何变化，并给出因果解释．本文在Ｗｅｌｄ，Ｎｅｉｔｚｋｅ和Ｎｅｕａｎｎ的研究基础上，提出了一种基于比较的定性仿真方法ＣＱＳＩＭ，该方法利用观察标准来实现一致部分的比较。 展开更多

关键词 比较仿真 观察标准 偏差 定性仿真

在线阅读 下载PDF 职称材料

容错推理系统FTRS的设计

16

作者 刘庆志 林作铨 《计算机科学》 CSCD 北大核心 1998年第2期33-36,共4页

常识揄的难点是前提知识的不完备性、揄规则的不精确性以及知识中显性或隐性矛盾存在的普遍性。常识推理的第一个特点是“常识性”,“

关键词 容错推理系统 FTRS 设计 人工智能

在线阅读 下载PDF 职称材料