检索结果-南通市图书馆

Default Reasoning and Belief Revision:A Syntax-Independent Approach

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2000年第5期15卷 430-438页

作者：张东摩朱朝晖陈世福 DepartmentofComputerScienceandEngineeringNanjingUniversityofAeronauticsandAstronautics Nanjing210016P.R.China

As an important variant of Relier's default logic, Poole (1988) developed a nonmonotonic reasoning framework in the classical first-order language. Brewka and Nebel extended Poole's approach in order to enable a representation of priorities between defaults. In this paper a general framework for default reasoning is presented, which can be viewed as a generalization of the three approaches above. It is proved that the syntax-independent default reasoning in this framework is identical to the general belief revision operation introduced by zhang et al. (1997). This result provides a solution to the problem whether there is a correspondence between belief revision and default logic for the infinite case. As a by-product, an answer to the question, raised by Mankinson and Gardenfors (1991), is also given about whether there is a counterpart contraction in nonmonotonic logic.

关键词： nonmonotonic logic default reasoning belief revision

CLUSTER-BASED AND BRUTE-CORRECTING GRAMMATICAL RULES LEARNING

在线全文

学校读者我要写书评

暂无评论

CLUSTER-BASED AND BRUTE-CORRECTING GRAMMATICAL RULES LEARNIN...

ENABLING ANSWER VALIDATION BY LOGIC FORM REASONING IN CHINESE QUESTION ANSWERING

2003 International Conference on Natural Language Processing and Knowledge Engineering

作者： Wei Hu dongmo zhang Computer Science and Engineering Department Shanghai Jiao Tong University

ISBN: (纸本)0780379020

＜正＞In this paper,we propose a cluster-based and brute-correcting grammatical rules learning method which is based on some conclusions of the cognitive ***,instances of grammatical category are mapped to graphic vectors and distance between two vectors is *** set of vectors and the defined distance are proved to form a distance space. Next,this space is mapped to Euclidean space and a simple clustering algorithm is applied to acquire ***,grammatical rules are learned to describe the ***,brute-correcting progress helps to refine the *** describing the method we compare the brute-correcting progress with Eric Brill’s transformation-based learning approach[E. Brill,1995]informally and present an application in Chinese named entity recognition.

关键词： Clustering algorithm Brute-correcting progress Grammatical rules learning

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

ENABLING ANSWER VALIDATION BY LOGIC FORM REASONING IN CHINES...

THE ANSWER FORMULATION FOR THE QUESTIONS OF NON-ENTITY TYPES IN QA SYSTEM----on the basis of RST discourse analysis

2003 International Conference on Natural Language Processing and Knowledge Engineering

作者： Yi zhang dongmo zhang Computer Science and Engineering Department Shanghai Jiao Tong University

ISBN: (纸本)0780379020

＜正＞In this paper,we present a logic approach toward answer validation in Chinese question answering （QA）.The idea of logic form representation has been used successfully in English *** work extends the LF representation for *** based logic form transformation（LFT） algorithm is introduced and *** knowledge extraction from HowNet for logic proving is *** answer validation algorithm based on LFT is *** experiment on LFT is performed and reported. Finally,the possibility of cross-lingual QA based on LFT is also prospected.

关键词： natural language interfaces knowledge acquisition computational linguistics inference mechanisms formal logic information retrieval answer validation logic form reasoning Chinese question answering rule based logic form transformation algorithm logic proving lexical knowledge extraction HowNet cross-lingual QA

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

THE ANSWER FORMULATION FOR THE QUESTIONS OF NON-ENTITY TYPES...

2003 International Conference on Natural Language Processing and Knowledge Engineering

作者： Xinhua Mao dongmo zhang The College of Information Security Shanghai Jiaotong University 1954 Huashan Road Shanghai China 030

＜正＞In this article,the principles and the techniques in analyzing rhetorical relations will be discussed,and then the RR-based means and process of answers’ extraction and formulation in the Chinese QA system will... 详细信息

ISBN: (纸本)0780379020

关键词： answer formulation QA system Rhetorical Relations RST

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于结点语义关系的信息抽取技术

计算机工程 2001年第4期27卷 26-28页

作者：胡睿张冬茉杜蓬上海交通大学计算机系上海200030 同济大学机械系上海200092

提出了一种利用结点语义关系分析的新方法来优化自然语言信息抽取，以结点语义关系树和结点语义关系列表作为优先判断依据，在没有信息损失的的前提下实现高效率的语义信息抽取。

关键词：信息抽取语义码自然语言处理结点语义关系信息检索

在线全文

学校读者我要写书评

暂无评论

框架问题的一种可行解

模式识别与人工智能 2000年第2期13卷 121-127页

作者：郭磊张东摩李斌南京大学软件新技术国家重点实验室南京210093 南京航空航天大学计算机科学研究所南京210016

本文提出了一种基于实用原则的框架问题的解决方案,证明该方案的表达能力与Reiter的方案等价,分析了两种方案各自的特色及适用范围。提出了效应公理的完备化概念,给出了效应公理的规则表示形式,这些结果为基于意向驱动的agent模型的建... 详细信息

本文提出了一种基于实用原则的框架问题的解决方案,证明该方案的表达能力与Reiter的方案等价,分析了两种方案各自的特色及适用范围。提出了效应公理的完备化概念,给出了效应公理的规则表示形式,这些结果为基于意向驱动的agent模型的建立以及面向agent的程序设计语言AOPLID的提出提供了必要的理论基础。

关键词：情境演算框架问题可行解知识表示人工智能

使用角色反演句法分析器RNA二级结构的预测

在线全文

学校读者我要写书评

暂无评论

计算机工程 2006年第8期32卷 207-209页

作者：党琰张宇镭张冬茉赵立平上海交通大学计算机科学与工程系上海200240 上海交通大学生命科学与技术学院上海200240

RNA二级结构预测问题是生物信息学的一个研究重点。该文主要利用自然语言理解中句法分析的方法来研究RNA二级结构预测。使用基于角色反演算法建立起来的,采用概率上下文无关文法进行分析的句法分析器,来预测RNA二级结构。结合传统Chart... 详细信息

RNA二级结构预测问题是生物信息学的一个研究重点。该文主要利用自然语言理解中句法分析的方法来研究RNA二级结构预测。使用基于角色反演算法建立起来的,采用概率上下文无关文法进行分析的句法分析器,来预测RNA二级结构。结合传统Chart算法分析器和广义LR算法分析器的优点,建立角色反演句法分析器;根据RNA二级结构的构建方法建立相应的概率上下文无关文法;给出对RNA二级结构进行预测的具体实例。

关键词： RNA二级结构预测句法分析角色反演算法概率上下文无关文法

在线全文

学校读者我要写书评

暂无评论

一种基于同义词消除的文本过滤方法

计算机工程与应用 2006年第19期42卷 180-182页

作者：杭娟张冬茉上海交通大学计算机科学与工程系上海200030

传统的向量空间过滤模型通常是提取字、词、短语等作为特征项,这样做的缺点是没有考虑文本的语义信息。文章提出了利用知网对向量空间模型的文本向量进行同义词消除的过滤方法。该方法比传统的单纯基于关键词匹配的方法更精确地体现了... 详细信息

传统的向量空间过滤模型通常是提取字、词、短语等作为特征项,这样做的缺点是没有考虑文本的语义信息。文章提出了利用知网对向量空间模型的文本向量进行同义词消除的过滤方法。该方法比传统的单纯基于关键词匹配的方法更精确地体现了文本之间的相似度,提高了过滤性能,同时也降低了向量空间的维数,减少了计算量,提高了过滤的效率,实验结果表明基于该文的过滤方法确实提高了系统的性能。

关键词：文本过滤向量空间用户模板知网同义词消除

Ad Hoc网络中一种基于Tabu搜索的低耗单播路由算法

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2008年第6期25卷 235-236页

作者：邵东张冬茉上海交通大学计算机科学与工程系上海200240

Ad Hoc网络中,节点能量影响网络的稳定性和整个网络的生命周期。因此我们需要在提供可靠QoS服务的同时尽量降低能耗,延长整个网络的生命周期,而保证QoS服务前提下求解低能耗单播路由的算法是一个NP完全问题。针对这个问题,提出一个基于T... 详细信息

Ad Hoc网络中,节点能量影响网络的稳定性和整个网络的生命周期。因此我们需要在提供可靠QoS服务的同时尽量降低能耗,延长整个网络的生命周期,而保证QoS服务前提下求解低能耗单播路由的算法是一个NP完全问题。针对这个问题,提出一个基于Tabu搜索的低耗单播路由算法,该算法选择延迟作为QoS参数,利用Tabu搜索的集中性与广泛性并存的优点,在保证QoS服务质量的同时尽量减少网络节点平均能量消耗,以提高整个网络的生命周期。仿真结果表明:该算法在延长网络生命周期方面具有良好效果。

关键词： Ad Hoc网络 Tabu搜索能量消耗路由 QoS