检索结果-南通市图书馆

Monotonic and nonmonotonic gentzen deduction systems for L_(3)-valued propositional logic

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2021年第3期15卷 123-135页

作者： cungen cao Lanxi HU Yuefei SUI Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of SciencesBeijing 100190China School of Computer Science and Technology University of Chinese Academy of SciencesBeijing 100049China

A sequent is a pair(Г,△),which is true under an as-signment if either some formula inГis false,or some formula in △ is *** L3-valued propositional logic,a mulisequent is a triple △|Θ|Г,which is true under an assignment if either some formula in △ has truth-value t,or some formula in Θ has truth-value m,or some formula in Г has truth-value￡.Corre-spondingly there is a sound and complete Gentzen deduction system G for multisequents which is ***,a CO-multisequent is a triple △:Θ:Г,which is valid if there is an assignment v in which each formula in△has truth-value≠t,each formula in Θ has truth-value≠m,and each formula in Г has truth-value≠￡.Correspondingly there is a sound and com-plete Gentzen deduction system G-for co-multisequents which is nonmonotonic.

关键词： three-valued logic multisequent co-multise-quent monotonicity Gentzen deduction system

Extracting terms from clinical records of traditional Chinese medicine

在线全文

学校读者我要写书评

暂无评论

Frontiers of Medicine 2014年第3期8卷 347-351页

作者： cungen cao Meng Sun Shi Wang Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Software College of Beihang University Beijing100191 China

Health records of traditional Chinese medicine contain valuable clinical inlormation which can be used for improvement of disease treatment and for medical research. In this paper, we present a practical iterative extraction method for extracting terms from the records. The method is based on a set of extraction rules, the Mesh, and the likelihood ratio technique, and achieved a precision rate of 88.18% and a recall rate of 94.21%.

关键词： term extraction rule-based likelihood ratio

基于元性质的数量型属性值自动提取系统的实现

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机研究与发展 2010年第10期47卷 1741-1748页

作者：卢汉曹存根王石中国科学院研究生院北京100049 中国科学院计算技术研究所智能信息处理重点实验室北京100190

实体属性值抽取是信息抽取的重要组成部分.针对数量型属性类型多样以及取值易变的问题,设计实现了一种基于元性质的数量型属性值自动抽取系统.对系统的结构、功能框架以及相关核心技术,包括提取文本的选择、候选值的提取及评估、结果的... 详细信息

实体属性值抽取是信息抽取的重要组成部分.针对数量型属性类型多样以及取值易变的问题,设计实现了一种基于元性质的数量型属性值自动抽取系统.对系统的结构、功能框架以及相关核心技术,包括提取文本的选择、候选值的提取及评估、结果的自动验证等进行了详细讨论.通过对百度百科的五大类9个子类实体数量型属性值的抽取,平均准确率和召回率分别达到71%和89%,高于基于简单搜索的方法和传统的基于词汇-句模的方法.该方法适用于开放领域的数量型属性值获取,易于获取单值属性的精确取值.

关键词：属性值抽取数量型属性属性元性质锚文本层次分析

在线全文

学校读者我要写书评

暂无评论

基于场合和角色的情绪知识获取与分析

计算机工程 2006年第15期32卷 197-199页

作者：杨帆叶潇曹存根邵志清华东理工大学计算机科学与工程系上海200237 中国科学院计算技术研究所北京100080

如何从海量的知识中发现、组织和表示情绪知识,是智能系统和常识研究的一个难点。该文以认知心理学为理论基础,分析了角色、场合和情绪的结构及其关系。从角色和场合出发对情绪知识进行获取与形式化,提出了一种通用的情绪知识获取方法... 详细信息

如何从海量的知识中发现、组织和表示情绪知识,是智能系统和常识研究的一个难点。该文以认知心理学为理论基础,分析了角色、场合和情绪的结构及其关系。从角色和场合出发对情绪知识进行获取与形式化,提出了一种通用的情绪知识获取方法。以交通场合为例,描述该场合下的角色、子场合与情绪规则的获取过程。对获取后的情绪知识存在的一致性、完备性和冗余性问题进行了分析。

关键词：场合角色情绪知识获取知识分析

在线全文

学校读者我要写书评

暂无评论

基于事件属性的事件分类研究

中文信息学报 2020年第10期34卷 39-50页

作者：王亚曹存根中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院大学北京100049

事件分类研究一直是计算机科学和语言学等学科的核心研究内容,针对动词语义层面上的分类问题,研究者们提出了不同的分类标准,而根据这些分类标准对动词进行分类会产生分类有交叉和分类粒度粗等问题。一个动词通常表示一个过程事件,该文... 详细信息

事件分类研究一直是计算机科学和语言学等学科的核心研究内容,针对动词语义层面上的分类问题,研究者们提出了不同的分类标准,而根据这些分类标准对动词进行分类会产生分类有交叉和分类粒度粗等问题。一个动词通常表示一个过程事件,该文以汉语世界中经常发生的过程事件为语义分类对象,从事件的定义中提取事件的特征属性,并给每个特征属性赋予权重,利用特征属性对顶层事件类包含的事件进行分类。该文采用框架的形式对事件进行语义描述,框架内容由事件的特征属性和私有属性组成。重点以"传播"类事件为例来阐述该文的分类方法,通过实际操作发现,利用该分类方法,可以得到一个比较清晰的事件语义分类结构。该文用描述逻辑来对事件及事件之间的分类关系进行形式化表示。根据该事件分类体系,可以有效获取事件属性相关的常识知识。

关键词：事件语义分类特征属性事件框架

在线全文

学校读者我要写书评

暂无评论

基于领域约束的材料设计智能规划

高技术通讯 2011年第7期21卷 756-763页

作者：雍兮曹存根张利平中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049 莱芜钢铁集团公司技术中心莱芜271104

针对智能规划和知识22程技术在材料设计中的结合应用问题，从材料设计规划问题的建模开始，根据经典智能规划方法在解决这类问题时存在的不足之处，提出了一种基于领域约束的材料设计规划方法。该方法通过把本体知识库中的领域知识引入... 详细信息

针对智能规划和知识22程技术在材料设计中的结合应用问题，从材料设计规划问题的建模开始，根据经典智能规划方法在解决这类问题时存在的不足之处，提出了一种基于领域约束的材料设计规划方法。该方法通过把本体知识库中的领域知识引入到扩展的图规划系统中，使其成为基于领域约束的智能规划，既充分发挥了通用图规划方法的长处，又利用领域约束对搜索过程的限制大大缩小了问题的解空间，并进一步通过引入目标偏好对求解策略进行了更为实用的改进，从而显著提高了规划系统的求解速度和求解质量，使其能够真正达到实用水平。由此实现的系统原型已成功应用于山东莱钢一类重要齿轮钢产品的研发过程，并取得了良好的试验效果，大大缩短了产品研发周期并降低了研发成本。

关键词：智能规划材料设计规划问题领域约束规划图目标偏好

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

从Web获取部分整体关系语料的方法

中文信息学报 2011年第5期25卷 17-23页

作者：曹馨宇曹存根中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100190

部分整体关系获取是知识获取中的重要组成部分。Web逐步成为知识获取的重要资源之一。搜索引擎是从Web中获取部分整体关系知识的有效手段之一,我们将Web中包含部分整体关系的检索结果集合称为部分整体关系语料。由于目前主流搜索引擎尚... 详细信息

部分整体关系获取是知识获取中的重要组成部分。Web逐步成为知识获取的重要资源之一。搜索引擎是从Web中获取部分整体关系知识的有效手段之一,我们将Web中包含部分整体关系的检索结果集合称为部分整体关系语料。由于目前主流搜索引擎尚不支持语义搜索,如何构造有效的查询以得到富含部分整体关系的语料,从而进一步获取部分整体关系,就成为一个重要的问题。该文提出了一种新的查询构造方法,目的在于从Web中获取部分整体关系语料。该方法能够构造基于语境词的查询,进而利用现有的搜索引擎从Web中获取部分整体关系语料。该方法在两个方面与人工构造查询方法和基于语料库查询构造查询方法所获取的语料进行对比,其一是语料中含有部分整体关系的语句数量;二是从语料中进一步获取部分整体关系的难易程度。实验结果表明,该方法远远优于后两者。

关键词：部分整体关系获取语料获取查询构造

基于Transformer网络的中文单字词检错方法研究

在线全文

学校读者我要写书评

暂无评论

中文信息学报 2021年第1期35卷 135-142页

作者：曹阳曹存根王石中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院大学北京100049

错别字自动识别是自然语言处理中一项重要的研究任务,在搜索引擎、自动问答等应用中具有重要价值。尽管传统方法在识别文本中多字词错误方面的准确率较高,但由于中文单字词错误具有特殊性,传统方法对中文单字词检错准确率较低。该文提... 详细信息

错别字自动识别是自然语言处理中一项重要的研究任务,在搜索引擎、自动问答等应用中具有重要价值。尽管传统方法在识别文本中多字词错误方面的准确率较高,但由于中文单字词错误具有特殊性,传统方法对中文单字词检错准确率较低。该文提出了一种基于Transformer网络的中文单字词检错方法。首先,该文通过充分利用汉字混淆集和Web网页构建中文单字词错误训练语料库。其次,在实际测试过程中,该文对实际的待识别语句采用滑动窗口方法,对每个滑动窗口中的句子片段分别进行单字词检错,并且综合考虑不同窗口的识别结果。实验表明,该方法具有较好的实用性。在自动生成的测试集上,识别准确率和召回率分别达到83.6%和65.7%;在真实测试集上,识别准确率和召回率分别达到82.8%和61.4%。

关键词：单字词检错 Transformer网络滑动窗口

The correspondence between the concepts in description logics for contexts and formal concept analysis

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2012年第5期55卷 1106-1122页

作者： MA Yue 1,2,SUI YueFei 1 & cao cungen 1 1 Key Laboratory of Intelligent Information Processing,Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China 2 Graduate University of Chinese Academy of Sciences,Beijing,China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate University of Chinese Academy of Sciences Beijing China

Formal concept analysis (FCA) and description logic (DL) are meant to be formalizations of concepts.A formal concept in the former consists of its intent and extent,where the intent is the set of all the attributes shared by each object in the extent of the concept,and the extent is the set of all the objects sharing each property in the intent of the concept.A concept in the latter formalization is simply a concept name,the interpretation of which is a subset of a *** consider the correspondence between concepts in both formalizations,a multi-valued formal context must be represented both as a knowledge base and as a model of the DL for contexts,where concepts are decomposed into tuple concepts C,interpreted as a set of tuples and value concepts V,interpreted as a set of attribute-value *** show that there is a difference between the interpretation of concepts R.V /R.C and the Galois connection between the extent/intent of formal concepts in *** to the Galois connection,there should be concepts of the form + R.V and + R.C inter-preted in FCA,and hence the logical language L for DL is extended to be L + together with + as a constructor so that + R.V and + R.C are well-defined ***,according to the interpretation in DL there should be pseudo concepts in FCA so that the interpretation of concepts R.V /R.C is the extent/intent of pseudo *** correspondence between formal concepts and concepts in L +,and between pseudo concepts and concepts in L are presented in this paper.

关键词： description logic formal concept analysis concept attribute/role