谓词
- 基于约束的多维Apriori 改进算法
根据规则所涉及的谓词数，可以分为单维关联规则和多维关联规则两类。若关联规则的前项和后项包含两个或更多的谓词，则为多维关联规则。多维关联规则由于涉及多个谓词，每个谓词各自包含自身的项目集合，因此挖掘过程需要从多维事务集中搜索频繁谓词集。典型的多维Apriori 算法采用的方法是在连接频繁集生成候选集时，提前判断连接之后的结果中是否存在重复的维度属性，若不重复则进行连接并根据Apriori 性质完成剪枝，重复则取消本次连接。这是由于存在重复维度的候选集在事务集
电子技术应用 2023年10期2023-11-10
- 论康德对逻辑谓词和实在谓词的区分
证明时，引入逻辑谓词和实在谓词的区分。该区分以及由之派生的问题在哲学史上影响深远，对当代哲学仍有启发意义，近年来则在国内康德学界引发广泛争论。其中，争论较多的问题是：如何理解著名的“Sein论题”、如何破解所谓的“实在谓词难题”、如何看待该区分在康德对本体论证明的反驳中所起的作用等。本文不从这些派生性问题切入，而是追问更为基础的问题：何谓逻辑谓词？何谓实在谓词？两者之间有怎样的关系？一旦厘清逻辑谓词的判定条件和类型、实在谓词的多维意涵和两类谓词之间的复杂的
现代哲学 2023年3期2023-10-27
- 一阶逻辑命题符号化的研究
代人的生活,一阶谓词逻辑作为一种重要的知识表示方法,有着强大的陈述表达能力,能够将思维活动准确的表达出来,它和自然语言的表述相接近,方便计算机进行存储,也易于被计算机进行处理,因此它常常被应用于自然语言处理领域。谓词逻辑就是研究自然语言的形式结构、逻辑性质、谓词关系及从中导出的规律[1]。如:珀拉克[2]的人工推理系统所试图解决的问题:“假设有一个彩票游戏,有一百万人参加,赢家只有一个。因此,玩家能够成为赢家的概率极低”。要解决珀拉克的问题,就需要将每句话
榆林学院学报 2023年5期2023-09-27
- 基于语义谓词优化的疾病因果关系发现*
唐小利基于语义谓词优化的疾病因果关系发现*董鹏 李晓瑛 李军莲 唐小利（北京协和医学院/中国医学科学院/医学信息研究所/图书馆，北京 100005）挖掘PubMed生物医学文献中蕴含的疾病因果关系，能够为疾病预防、诊疗提供参考，促使建立更好的疾病预防和治疗措施。本研究提出基于SemRep语义谓词优化的疾病因果关系抽取方法，构建了包含50个语义谓词的疾病因果关系语义谓词表，自动抽取259 434条疾病因果关系对，揭示疾病之间的单向因果关系和双向因果关系，并
数字图书馆论坛 2022年11期2022-12-15
- 分析哲学中的逻辑量化模式渊源探讨
逻辑形式语言中，谓词包含哪些内容？如何处理复杂的谓词？谓词提取技术有什么优点？如何处理单独词项，而变项又从何演变而来？什么是量词？如何对量化句或量化模式进行推理？本文将沿着对这些问题的梳理和解决脉络，从分析哲学角度出发，对逻辑量化模式的缘起及实现路径逐一分析，从日常语言角度对量化复合模式中的谓词字母的形成、谓词提取技术及其中使用的关系从句做出说明，对单独词项的处理方法和变项字母的形成做出解释，最后，阐述如何通过量化复合模式对日常语言进行语词方面的逻辑分析。
湖北社会科学 2022年3期2022-11-08
- 基于组块分析的汉语块依存语法
块为研究对象，以谓词为核心，在句内和句间寻找谓词所支配的组块。分析时，利用汉语中的组块和组块间的依存关系，将成分缺失和指向不明的问题转化为小句内组块依存问题和小句间的组块缺省问题。补全缺失的成分，为后续任务提供准确的分析单元，消除由于指向不明确而导致的歧义。1 组块及其类别由于汉语句法的特殊性，“块”具有很好的现实意义。“块(Chunk)”概念最早由Abney提出，他认为句法分析可以分为三个阶段来进行，以达到简化句法分析任务的目的，即对块进行识别、分析块的
中文信息学报 2022年8期2022-09-28
- 模态逻辑与真理论*
→ ■¬p。从谓词的角度看，对这两条原则的承认与否可能导致完全不同的真理论。那么在算子背景下，人们在讨论中如若确实涉及真，究竟该如何理解呢？坍塌的真算子无疑模糊了这里的区别。考虑认知逻辑的公理（T）：Kφ→φ。由于我们通常是用它表达“知识蕴涵真”，所以我们现在不妨把真直接明确地显示出来，使之成为：应该说这样的显示处理并不会修改原公理的含义，但倘若将这种经由显示处理之后的模态原则用于实际问题的分析中，所得结果就将大为不同了。菲奇（F.B.Fitch）提出了
学术研究 2022年7期2022-09-09
- 基于特征增强的开放域知识库问答系统
题，识别出实体和谓词查找对应的目标值作为答案。例如，对于问题“谁是奥巴马的妻子？”，结合三元组，可以查找到米歇尔·奥巴马作为答案。根据回答问题所需三元组的数目为单个或者多个，可以分为简单问题和复杂问题，本文工作聚焦在简单问题问答的研究。现有的中文简单问题知识库问答的主流方法通常将问答任务拆分为实体链接和谓词匹配两个子任务，其中实体链接包含实体提及识别和实体消歧两部分，构建一个流水线式的问答系统，如图1 所示。以“精忠岳飞由谁运营？”这一问题为例，首先通过实
计算机工程与应用 2022年17期2022-09-06
- 基于认知概念的谓词扩展与表示
110142)谓词逻辑是一种数理逻辑方法,用于知识表示和推理,在计算机领域有着广泛的应用.在自然语言中,具有确定真值的陈述句,即命题,可以划分为主语和谓语部分.谓词逻辑将命题的主语部分表示为客体,用于表达事物,谓语部分表示为谓词,表达事物的性质、状态以及事物之间的关系.谓词逻辑将句子中的成分进行细化,具有比命题逻辑更精确的表达能力.在自然语言处理的语义分析研究过程中,也将自然语言转换为谓词公式,即转为计算机可处理的形式[1].语义分析的目的是理解自然语言
沈阳化工大学学报 2022年6期2022-04-12
- 论康德本体论证明批判思想的发展
——从《演证上帝存有的惟一可能的证明根据》到《纯粹理性批判》
本不是一个事物的谓词或规定”和Dasein作为“绝对的肯定”有别于“每一个本身在任何时候都仅仅在与另外一个事物的关系中被设定的谓词”，在《纯粹理性批判》中被说成了“逻辑的谓词”不同于“实在的谓词”。一、《纯粹理性批判》否定了《证明根据》中康德主张的“本体论证明”康德在《纯粹理性批判》所批判的本体论证明，主要是笛卡儿派的证明，他还明确提到莱布尼茨的名字（A602/B630）。但在《证明根据》中，他其实并没有把笛卡儿派的证明叫作“本体论证明”。在这里，他所谓的
哲学评论 2021年1期2021-11-25
- 论黑格尔的主谓词理论及其“颠倒”问题
bject）当作谓词（Prädicat）”。1参见文献[22]第45、72 页以及文献[3]第159、190 页。本文在引用中译文时把“宾词”改成了“谓词”。1843 年，在《黑格尔法哲学批判》手稿中，马克思进一步将黑格尔的这个问题归结为“主词和谓词的颠倒（Umkehrung）”（[20]，第15-16 页；[12]，第12-13 页），并对之展开了系统的批判。从那以后，“主谓颠倒”就被许多人不假思索地当成了黑格尔逻辑学问题的当然判词。本文回到黑格尔的著作
逻辑学研究 2021年5期2021-11-25
- 极小主义视域下的真谓词
真的”是否是一个谓词这样一个问题，紧缩真理论内部是存有争议的。一般紧缩真理论认为“真的”在语句中不表达实质属性，无法充当语句的谓词。极小主义真理论作为紧缩真理论的一个特殊理论分支，主张真是归属于命题的弱属性（[14]，第153–159 页），“真的”相应地具有谓词的功能，只不过该谓词具有理论特殊性。1 “真”与“真的”“真”和“真的”是两个紧密联系的概念，“真”是“真的”的抽象名词化形式，“真的”则是对“真”的外在显式表达，“真”作为谓词是通过“真的”发挥
逻辑学研究 2021年4期2021-10-20
- 谓词性宾语句中体标记与谓词配置研究
成分可以直接充当谓词的宾语，因述谓性成分具有陈述的性质，故称为谓词性宾语，带谓词性宾语句子称为谓词性宾语句。谓词性宾语句中至少有两个谓词：谓宾动词、宾语内部谓词［3］，两个谓词与体范畴标记形式上的选择正是两个句子相互依赖、相互制约的反映。目前，学界对体范畴的概念、来源及类型研究取得比较丰硕的成果，但对于体范畴标记（简称体标记）在不同句类中的分布及与谓词配置情况的考察不够充分。文章考察谓词性宾语句中体标记的分布特征，进一步探寻谓词性宾语在整合过程中完句成分的
宁夏大学学报（人文社会科学版） 2021年2期2021-06-02
- 数据库内AI 模型优化∗
通过查询语句中的谓词特点对模型进行剪枝,而对模型特征的利用仍不够彻底.考虑一个例子“选择周营业额预测值大于20 万元的商店”,可以通过SQL 查询表示为:在这类查询中,满足条件,需要返回给用户的数据可能只占全部数据中很小的比例.类似的例子还有:大型连锁超市希望知道各分店各销售部门中,营业额少于特定金额的有哪些;银行希望找出违约概率高于一定值的账户等.这些场景中,通过支持UDF 的SQL 可以表示为WHERE 子句中包含机器学习预测函数的形式,即,使用机器学
软件学报 2021年3期2021-05-23
- 康德对于谓词的界定与罗素的摹状词理论之比较
【摘要】 关于谓词理论，康德并没有做出系统的理论阐述，但是从前批判时期的文章和批判时期的著作中，可以找到一条一以贯之的理论线索，即在“是”与“存在”的问题中，区分了逻辑的谓词和实在的谓词。康德的这一区分对罗素的摹状词理论具有重大影响。本文的目的在于比较这两种理论在处理谓词方面的异同之处，并且指出在本体论意义上，他们的理论之间有着重大差异。【关键词】 康德;谓词;罗素;摹状词;本体论【中图分类号】B5 【文献标识码】A 【
今古文创 2021年8期2021-05-05
- 浅析弗雷格涵义与指称理论
论，区分了专名、谓词和语句的涵义和指称。他提出专名的涵义为被呈现的方式，指称为现实世界中的对象，谓词的指称为概念，语句的指称为它的真值，涵义为它所要表达的思想。关键词：弗雷格，专名，谓词，涵义与指称1.弗雷格涵义与指称理论概述弗雷格在对语言意义的系统研究基础之上，提出了三条原则：心理主义、语境原则和概念和对象（彭媚娟，张君弟，2004：11）。心理主义主要强调要严格区分主观的东西和客观的东西。语境原则阐述了不能孤立的寻求语言的意义，必须结合其具体语境，才能
科学与生活 2021年26期2021-01-10
- 论康德对强化版本体论证明的系统批判*
——兼评一种流行解读
从先验角度把实在谓词当作分析命题的谓词，而是从经验角度将之当作综合命题的谓词，就不合康德原意。实在谓词是一种“先验谓词”，指上帝概念已包含的先验实在性，或“上帝是全能的”这类分析命题中的谓词，它与必须包含经验内容、超出主词概念的实存谓词是完全异质的。但流行解读却同时从经验角度把它们都当作综合命题的谓词，这种同质化理解导致了对逻辑谓词和实在谓词的严重误解，导致了康德的表述显得自相矛盾，导致了“Sein不是实在谓词”与本体论证明的小前提失去关联，也导致了“实存
中山大学学报(社会科学版) 2021年4期2021-01-04
- 语境中的“Sein ist offenbar kein reales Prädikat”*
然不是什么实在的谓词”、李秋零的“‘是’显然不是实在的谓词”、王玖兴的“存在显然不是一个实在宾词”等。笔者将其译为“存在显然不是实在谓词”，同时行文中仍给出德语原文。第一批判的其他引文出自[德]康德：《纯粹理性批判》，邓晓芒译，北京：人民出版社，2017年。以下相关引文随文标明A、B版及该译本页码(如A571/B599, 349)，原文强调部分改为黑体，不再一一详述。命题上(2)实际上，这也是国外学界的争论焦点。See Jill Vance Buroker
现代哲学 2020年6期2020-12-31
- 被遮蔽的逻辑谓词
——论胡好对逻辑谓词的误读
然不是什么实在的谓词，即不是有关可以加在一物的概念上的某种东西的一个概念。它只是对一物或某些规定性本身的肯定。”)(KrV，A598/B626)康德提出这个论题是基于他对逻辑谓词和实在谓词所做的区分，因此，当我们谈论康德的存在论题时，不能脱离这个重要的前提条件。那么，什么是逻辑谓词？什么是实在谓词？这是探讨康德的存在论题时不可回避的问题。胡好在《康德哲学中实在谓词难题的解决》(1)胡好：《康德哲学中实在谓词难题的解决》，《现代哲学》2019年第4期。一文中
现代哲学 2020年5期2020-11-30
- 实在谓词一定是综合命题的谓词吗?
——就Sein论题中实在谓词的理解与胡好商榷
Sein不是实在谓词”论题，在国内外学界一直充满争议(1)自2018年11月以来，“康德哲学爱好者共同体”微信群的众多康德研究者，就此论题展开长达数月、观点纷呈的争论。作为争论的发起人，胡好在讨论过程中意识到有一个“实在谓词难题”，即Sein(存在)既是实在谓词又不是实在谓词的冲突问题。他认为杨云飞和我的解决都不成功，于是撰写并发表了《康德哲学中实在谓词难题的解决》一文(《现代哲学》2019年第4期)。。例如，胡好在《康德哲学中实在谓词难题的解决》(2)胡
现代哲学 2020年4期2020-11-30
- 康德哲学中实在谓词难题的解决
本体论证明、逻辑谓词和实在谓词有什么区别等论题。从中，笔者发现了实在谓词难题。国内外学者从不同侧面触及到这一难题，比如黑格尔、海德格尔、伍德(Allen Wood)认为存在(Sein)等于实存(Existenz)[注]本文采用邓晓芒先生的译名，统一将Sein译为存在，Dasein译为存有，Existenz译为实存。，杨云飞持相反立场，泰斯(Robert Theis)和隆古尼斯(Beatrice Longuenesse)提出实在性表示事物的可能性，舒远招主张
现代哲学 2019年4期2019-12-14
- “易碎”与“勇敢”
——物理倾向与心理倾向的差异
况的说明、对倾向谓词的应用条件的分析、对倾向陈述的语义说明、以及跟倾向相关的其它一些形而上学和认识论问题，我们都可以且应该期待一种统一的解说。比如，关于倾向谓词的语义，支持倾向的条件句分析的哲学家的典型主张认为，“关于它们（倾向谓词）意谓着什么（也就是我们认为的它们的应用条件），我们所有能说的东西，都可以通过条件句说出来。”［1］Mellor,D.,2000,‘The Semantics and Ontology of Dispositions’,Mind
哲学评论 2019年1期2019-12-14
- 基于位置的发布/订阅索引结构
象中的文本由多个谓词表示,其中每个谓词都包括属性名、关系操作符和属性值,而消息由属性值对组成.只有消息中所有属性都出现在订阅中且各个属性值都在订阅相应属性值的范围内,消息与订阅才完全匹配.此时可以将消息发送给订阅者.1 相关定义与问题分析基于位置的发布/订阅中,订阅者使用布尔表达式表示自己的兴趣偏好,发布者发布的消息也以布尔表达式的形式表示.基于位置的发布/订阅不仅能够匹配消息与订阅的空间信息,还能够匹配文本信息,从而得到符合用户需求的消息[5].以下面是
中南民族大学学报（自然科学版） 2019年2期2019-06-25
- 信息不完备下的知识遗忘
、命题逻辑、一阶谓词逻辑、模态逻辑、描述逻辑、回答集逻辑程序设计（Answer Set Programming，ASP），以及情景演算（Situation Calculus）等多种逻辑语言中都有关于遗忘的研究。其被广泛应用于最弱充分条件和最强必要条件的计算[4]、溯因推理[4]、相关性分析[5]、知识和信念的推理[6]、冲突解决[7]、本体分析与重用[8]、信息隐藏[8]、逻辑差异的判定[9]、知识库更新[10]、ASP中的非单调推理[11]等诸多领域。在
现代计算机 2019年11期2019-05-27
- 康德主谓关系思想的批判性分析
做主词，而不能做谓词，因为实体是说明其他事物而自身不是被说明的东西。亚里士多德对主谓关系的基本态度是：主词确定和规定谓词(谓词的德语词为Prädikat，又可译为宾词)的性质，谓词依附主词，主词是第一性的，谓词是第二性的，谓词作为一种特征或属性述谓主词。康德不满足主谓关系问题上的形式逻辑传统，通过先验逻辑对非本质谓词的强调，使得先天综合判断成为可能。康德把主词和谓词对立起来，并不认为二者存在能够相互转变的可能，他在主谓关系上所持的主谓二分立场决定了其二元论
重庆理工大学学报(社会科学) 2019年12期2019-02-16
- 基于层次化聚类的稀疏谓词语义角色标注方法
位，分析句子中的谓词与其相关成分之间的语义关系，进而获取句子所表达语义的浅层表示。下面是一个语义角色标注的例子：[警方]Agent [正在]Time [调查]Pred [事故原因]Patient其中“调查”是谓词，代表了一个事件，“警方”是施事者，“事故原因”是受事者，“正在”是事件发生的时间。由此可见，语义角色标注能够抽取出一个句子表达的事件的全部重要信息。由于语义角色标注可以提供较为简洁、准确、有益的分析结果，因此近年来受到了学术界的普遍重视，并已经成
计算机工程与设计 2018年11期2018-11-17
- 慧眼识谓词，用心辨主语
么样”了。而“识谓词”“辨主语”是操作性很强的方法，通过识别谓词和分辨主语，逐一解读诗题和诗句，即可读懂诗歌。[关键词]谓词；主语；诗歌[中图分类号] G633.3 [文献标识码] A [文章编号] 1674-6058（2018）27-0011-02谈到读懂诗歌的方法，大家首先想到的可能是“读诗题、读作者、读注释、读意象、抓关键词”这一套吧？这当然是读懂诗歌的必不可少的步骤，可具体如何操作呢？如何读懂诗题，读懂诗句呢？在这里我想谈一种很笨但很实在、操作性很
中学教学参考·文综版 2018年9期2018-10-23
- 一种基于SCAD的改进谓词发现方法
法是通过引入新的谓词使其与给定的词汇在逻辑形式上相适应,即谓词发现 (predicate invention, PI).谓词发现方法可分为基于ILP和基于统计学习2类.然而,它们存在共同的致命缺点,即如果程序在执行的过程中使用了一个表达不当的新谓词,则在后续谓词发现的过程中可能会导致错误级联.为解决此问题,WANG W.Y.等[2]提出了基于结构化稀疏的软谓词发现方法,通过将集合的参数一起正则化的方式减少要学习参数的数量,可有效去除具有“噪声”的谓词以使得
江苏大学学报（自然科学版） 2018年5期2018-09-11
- 样本发散型含糊类的形式刻画*,†
换成负词项，或负谓词。因为负谓词的引入，原来相应的谓词，如“高个”等，可以称为正谓词。这里需要对范围做些特别说明。如果只是正谓词，范围的问题并不明显。但是如果还出现负谓词，那么这个范围的作用就会显现出来。例如，我们可以说“电脑不是机动车”，但是不能说，“电脑是非机动车”。这就是因为有车辆这个范围在起作用。这个范围以后称为关于负谓词的论域。负谓词都有相应的论域，如“非机动车”的论域是车辆，“非高个”的论域是人，如此等等。负谓词带有论域也可以说负谓词是带有论题
逻辑学研究 2018年1期2018-04-16
- BWDSP104X多条件谓词编译优化①
赖关系进行处理,谓词执行从根本上消除程序中的跳转分支,完成从控制相关到数据相关的转化,改变基本块内部的控制依赖关系,从而有利于指令流水和指令级并行.但利用谓词执行技术在处理多条件分支时只是局部的消除程序中的跳转指令,从全局范围来看多条件分支之间依然存在跳转指令和控制依赖关系.本文针对传统谓词优化在处理多条件谓词时的局限性,提出一种基于BWDSP104X体系结构下多条件谓词编译优化方法,以此消除多条件谓词的跳转分支及多谓词之间的控制依赖关系,从而实现指令流水
计算机系统应用 2018年1期2018-02-07
- 短语构造及汉语谓词的重新界定
语法研究传统中，谓词的界定标准大致经历了意义、形态、语法功能标准等不同阶段。尽管到目前为止，能做谓语等句法功能已经被基本接受为界定谓词的标准，但是对于什么是谓语，却没有一个明确的标准。这样的话，不但循环定义的问题不可避免，也不利于谓词和其他词类的区分。针对上述问题，本文重新界定了谓语，并在此基础上，否定了谓语与谓词的直接构成关系，指出谓语只能由谓词短语构成，谓词短语则是由谓词和限定成分构成。因此，只要界定了谓语，就能界定谓词短语，只要界定了谓词短语，也就能
考试周刊 2017年24期2017-12-08
- 基于谓词的系统需求测试用例生成方法研究
48000)基于谓词的系统需求测试用例生成方法研究刘珊艳(荆楚理工学院 计算机工程学院,湖北 荆门 448000)软件测试是保证软件可靠性的主要方法,为了提高测试的质量可以在需求分析阶段对测试对象进行分析，根据需求分析规则产生的谓词常常可以用于软件检测。讨论基于谓词的测试准则BOR和BRO，并使用该准则检测需求规则中所有的布尔运算符故障和关系运算符故障。结果表明，根据谓词信息生成的测试用例集合是最小的，且每个测试用例都能从不同方面暴露各种运算符故障，从而可
湖北理工学院学报 2017年4期2017-09-15
- 从定中式N1+(的)+N2中看N1属性化
料为依据，从隐含谓词的角度探究N1属性化的规律并用认知语言学理论加以解释。隐含谓词多为抽象的关系谓词，领属关系谓词、存在关系谓词、凭借关系谓词占比较大。由于抽象的关系谓词显著度低，可现实化程度小，故不出现在表层结构中。属性化 谓词隐含 认知语言学 N1+(的)+N2从认知角度看，名词的指称性是其成为语言范畴的根本动因，它的主要功能是对事物的指称，然而当它出现在定语位置上，与另外一个名词组成定中结构时，这种用法使得名词具有属性义，功能类似于形容词、区别词。魏
消费导刊 2017年14期2017-09-15
- 基于同余方程和改进的压扁控制流的混淆算法
需要使用的不透明谓词；其次，基于Logistic混沌映射提出了一种新的N态不透明谓词构造算法，并将其应用到现有的压扁控制流算法中，对现有的压扁控制流算法进行改进；最后，将上述两个对源码进行混淆的算法结合，以此来增加源代码中控制流的复杂度，使其更难被破解。与现有的基于混沌不透明谓词的压扁控制流算法相比，所提混淆算法使混淆后代码的防篡改攻击时间平均提高了22%以上，总圈复杂度平均提高了34%以上。实验结果表明，所提算法能够保证混淆后程序执行结果的正确性并且具有
计算机应用 2017年6期2017-09-03
- 谓词逻辑在人工智能知识表示中的应用
想 海南师范大学谓词逻辑在人工智能知识表示中的应用李娟 吴想 海南师范大学谓词逻辑是在谓词分析的基础上进行形式化后得出的语言与推理，在人工智能的发展过程中发挥着理论基础的作用。谓词逻辑在人工智能领域的应用，主要包括消解原理与知识表示两个方面，本文将谓词逻辑在人工智能知识表示中的应用进行分析，探讨人工智能中利用谓词逻辑形式语言进行知识表示的具体步骤，为谓词逻辑的应用提供有价值的参考。谓词逻辑 人工智能 知识表示 形式语言1 引言在人工智能的研究过程中，怎样才
数码世界 2017年6期2017-07-18
- “AP+坏了”的谓词特征及意义
P+坏了”结构中谓词特征及其整体意义。从构件来看，该格式中的“坏”作补语是程度副词，根据强调心理活动还是表达隐性需求对“AP”进行了具体分析。从整体来看，把这一结构与“AP+透了”比较，发现“AP+坏了”既表示极性，还拥有表达主体某种感受义。关键词：谓词 语义 特征 心理 情感1.引言在日常交际中，经常可以看到“累坏了”“高兴坏了”“乐坏了”“郁闷坏了”等结构，表达主体某种情态的程度深或感知到某物某特性十分显著。在现代汉语中，很少听到“愉悦坏了”“红坏了”
文学教育 2017年3期2017-03-23
- “AP+坏了”的谓词特征及意义
P+坏了”结构中谓词特征及其整体意义。从构件来看，该格式中的“坏”作补语是程度副词，根据强调心理活动还是表达隐性需求对“AP”进行了具体分析。从整体来看，把这一结构与“AP+透了”比较，发现“AP+坏了”既表示极性，还拥有表达主体某种感受义。关键词：谓词 语义 特征 心理 情感1.引言在日常交际中，经常可以看到“累坏了”“高兴坏了”“乐坏了”“郁闷坏了”等结构，表达主体某种情态的程度深或感知到某物某特性十分显著。在现代汉语中，很少听到“愉悦坏了”“红坏了”
文学教育 2017年3期2017-03-23
- 数理逻辑中谓词命题符号化的难点解析
18)数理逻辑中谓词命题符号化的难点解析◎熊 瑜(杭州电子科技大学理学院，浙江 杭州 310018)本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验，总结谓词命题符号化的学习要点和难点，从而帮助学生更高效地学习好数理逻辑.谓词逻辑；谓词公式；命题符号化一、引 言中文的语言环境很丰富，相同的语义会有不同形式的表达句式，这就更加迫切地需要在数理逻辑当中发明一种“通用的语言”，所以，我们需要合理准确的符号化自然语句，从而可以进一步进入演绎推理，判断正误.
数学学习与研究 2017年9期2017-03-23
- 函数在谓词逻辑符号化中的应用
000)函数在谓词逻辑符号化中的应用孙翠先(唐山学院 基础教学部，河北 唐山 063000)针对不同个体域，用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别，并给出了错误使用函数的例子，分析了产生错误的原因。个体域；谓词逻辑；函数；命题符号化0 引言将自然语言中的命题用逻辑符号表示成谓词公式，即符号化，也称作翻译。谓词是用来刻画个体词性质及个体词之间相互关系的词[1]，谓词逻辑符号化时，经常需要引入函数，而函数是值域为个体域的
唐山学院学报 2016年6期2016-12-09
- 汉语谓词组合范畴语法词库的自动构建研究
00084)汉语谓词组合范畴语法词库的自动构建研究周强(清华大学 信息技术研究院语音和语言技术中心 北京 100084)谓词词库是深层语法模型分析和理解的核心资源。近年来的常规方法是人工构建或从标注语料库中自动获取，标注规模和信息容量的扩大受制于巨大的人工投入量和标注库体系设计。该文提出了一种多资源融合自动构建汉语谓词组合范畴语法(CCG)词库的新方法。从知网、北大语法信息词典和大规模事件句式实例中提取汉语谓词的不同句法语义分布特征，融合形成CCG原型范畴
中文信息学报 2016年3期2016-05-04
- 汉语难易谓词探微
○景娜娜汉语难易谓词探微○景娜娜关于英汉难易结构的研究多侧重于分析英语和汉语难易结构的句法生成，而关于难易谓词的研究相对匮乏。本文认为汉语难易谓词分为两类，一类以“容易”为代表，其基本相当于英语tough谓词，与之后的动词是相分开的；另一类以“好”为代表，与之后的动词组成一个整体，即“好+V”。本文同时指出汉语难易谓词的使用具有不平衡性，即“容易”可以在不及物、及物、双及物难易结构中使用而“好”在及物性难易结构中接受程度最高。汉语难易结构 “好+V”类谓词
现代语文 2016年28期2016-03-02
- BWDSP10x上地址和数据谓词执行的编译优化①
0x上地址和数据谓词执行的编译优化①樊永朝1,2, 郑启龙1,2, 耿 锐3, 王向前3, 王 昊31(中国科学技术大学 安徽省高性能计算重点实验室, 合肥 230027)2(中国科学技术大学 计算机科学与技术学院, 合肥 230027)3(中国电子科技集团公司 第三十八研究所, 合肥 230088)传统的谓词优化技术是在冯·诺伊曼体系结构计算机上实施的, 仅对数据流进行优化, 并没有考虑哈佛体系结构下指令和数据分开的情况. BWDSP10x是指令和数据分
计算机系统应用 2016年12期2016-02-20
- 基于动态谓词逻辑的汉语指代现象的信息处理
066)基于动态谓词逻辑的汉语指代现象的信息处理林 胜 强(四川师范大学政治教育学院,成都610066)组合性是对自然语言进行信息处理时考虑问题的出发点。动态谓词逻辑主要是从语言信息的可计算性和组合语义的角度,使用标准一阶谓词逻辑的正统句法,通过对话语表现理论等逻辑理论进行改进而得到的。动态谓词逻辑的提出本质上是为了处理两类问题:跨语句的指代消解和表示语句内部约束关系的“驴子句”中的指代消解。动态谓词逻辑的核心思想是使用逐渐递增信息的动态方法对句子或者句子
四川师范大学学报（社会科学版） 2015年6期2015-06-26
- 逻辑和经验视域下的“存在”概念分析
分析，认为存在是谓词。新发展起来的自由逻辑对于存在问题也给出了肯定的答案。量词说和谓词说争论不休，实质上是存在问题在逻辑和经验两个方面的不同体现。关键词：存在；逻辑；经验；量词；谓词对“存在”概念的分析是一个古老的话题，自古希腊起先哲们就对存在问题产生了兴趣。从早期巴门尼德哲学的核心范畴“存在”范畴到亚里士多德的概念论，再从中世纪安瑟伦等经院神学家对“上帝存在”的本体论证明到近代康德对其进行反驳。19世纪后期尤其20世纪以来，随着现代逻辑的兴起和西方哲学的
佛山科学技术学院学报（社会科学版） 2015年5期2015-04-17
- 马航MH媒体声明的情态表达及批评性话语分析
能语法为依据，从谓词的角度进行情态话语表达及批评性话语分析，旨在揭示马航声明如何通过情态表达模糊自己话语信息的。【关键词】情态 MH370媒体声明 谓词一、引言语言学中普遍研究的情态，主要是情态动词和助动词范畴内的表现形式，而系统功能语言学中的情态系统既包括传统意义上的情态动词和助动词，也包括了谓语动词、名词、形容词、谓语形容词、副词、介词短语和相应的小句（clause）。本文主要分析的是马航MH370官方声明中谓词的使用及分布。二、情态表达的理论基础1.
校园英语·下旬 2014年12期2014-10-21
- “逆转理解”——通向中国哲学范畴真实意涵的特殊路径
”，接着是一个“谓词”，“谓词”可能是一个名词，一个动词，一个词组，或是一个句式，不管形式如何，它们都是对“主词”的陈述。不过，由于“谓词”是随在“主词”之后的，因而如果“谓词”是对“主词”意涵的陈述和说明，那么，这种解释在方向上就有“逆向”的性质，即是由后面的“谓词”的意涵“逆转”推出前面“主词”的意涵，这就是所谓“逆转理解”法。根据我们的观察，这种理解法相当普遍。如下选择数个案例展开讨论。一、“逆转理解”案例分析本文所说的“逆转理解”，案例遍布中国古代
河南社会科学 2013年4期2013-04-10
- 一种基于领域知识的XML数据模糊查询
在XPath中用谓词的形式表示.很明显，该查询包含了3个查询谓词，分别是“Price at most 300 000”、“Buildyear='Recent'”和“SqFt between 130 and 200”，其中前2个查询谓词分别包含了模糊关系“at most”和模糊词“Recent”.这里，将包含模糊关系或模糊词的查询谓词称为模糊查询谓词.如果一个以XPath形式表示的XML查询中包含了一个或多个模糊查询谓词，则称之为XML模糊查询.然而，目前的
智能系统学报 2012年6期2012-11-26
- 基于内容的发布订阅系统的一种快速匹配算法
则可以表示为一些谓词的集合。订阅者可以通过指定其感兴趣的谓词来灵活地订阅事件。相对于基于主题的发布/订阅系统，基于内容的发布/订阅系统中订阅的表达能力得到了很大的提高，但是同时系统中的订阅数目也大大增加，匹配的复杂度大大提高，必须有一个高效的算法来实现订阅和事件的快速匹配[1]。匹配算法的基本思想是尽量优化订阅结构，减少匹配时订阅条件中重复部分的判断，提高匹配效率。1 相关研究目前相关的研究已经提出了很多比较有代表性的算法[2-6]。Aguilera等提出
网络安全与数据管理 2012年2期2012-08-08
- 一种基于规则的桌面搜索索引机制
。关键词：规则；谓词；桌面搜索；索引中图分类号：TP393文献标识码：A文章编号：1009-3044(2012)07-1521-03A Rule-based Method of Index in Desktop SearchSU Jin-bo, YE Hong(Department of Computer Sci., Anhui Univ., Hefei 230039, China)Abstract: Google, Baidu, Msn and othe
电脑知识与技术 2012年7期2012-05-08
- “存在”是否谓词浅析
声波“存在”是否谓词浅析张丽，熊声波“存在是不是谓词”的争论由来已久，主要集中于三种结论：一是以弗雷格、罗素等逻辑学家为代表，认为“存在”不是谓词，而是量词。二是皮尔士等人结合精致的自然语言分析，认为“存在”在某些特殊情况下可以充当逻辑谓词，因此它是一种特殊的谓词。三是自由逻辑学家认为“存在”是谓词。存在；逻辑谓词；性质“存在”是形而上学乃至整个西方哲学最为基本、最为核心的概念。从古代巴门尼德的“存在”本原论、亚里士多德的概念论，中世纪关于“上帝存在”的本
重庆科技学院学报（社会科学版） 2011年4期2011-08-15
- 发布订阅系统中Carzaniga匹配算法优化
多个订阅可能存在谓词间的覆盖关系，引发较严重重复匹配，从而影响匹配效率，导致系统整体性能低。针对上述问题，本文提出改进算法，它能同时支持订阅覆盖和谓词覆盖，实验表明与Carzaniga相比，本算法能进一步减少重复匹配，提高匹配效率，也提高系统整体性能，更适合应用于大规模的发布订阅系统。1 PPSMTBOAD算法描述已有的较有影响的原型系统SIENA采用Carzaniga算法，它利用订阅间的覆盖关系以及合并订阅思想，减少和事件进行匹配的订阅数目。算法的基础思
杭州电子科技大学学报(自然科学版) 2010年2期2010-11-26
- 一种多粒度集群数据库并发控制新算法
发控制的粒度达到谓词级,并讨论各种谓词的提取方法,既提高全局事务处理效率,又不需要对局部数据库做任何限制。本文还改进了一种以事务提交图为中心的并发事务调度算法来保证集群系统中全局事务的可串行化提交,以增加吞吐率和减少响应时间。1 多粒度集群数据库并发控制算法1.1 集群系统中的事物模型数据库集群系统中的事务分为两种:全局事务和局部事务,我们把只在一个站点上执行的事务称为局部事务或本地事务[6]。定义1:一个提交到某个数据库站点j上的执行的事务Li是局部事务
河北工程大学学报(自然科学版) 2010年4期2010-10-16
- 基于依存句法分析的中文语义角色标注
并提供了更透明的谓词—论元关系表达。因此在基于短语结构句法分析的语义角色标注系统遭遇到发展瓶颈后，研究基于依存结构句法分析的语义角色标注更具有现实意义。本文采用英文语义角色标注的研究方法，使用中文依存句法分析，构建了一个中文语义角色标注系统。文章第2部分简述了基于依存关系的SRL的相关工作。第3部分介绍了基于依存句法的中文语义角色标注系统，重点描述构建系统的各个步骤，基础特征和扩展特征。第4部分给出了各个扩展特征的表现，并对实验结果进行了分析和比较。最后第
中文信息学报 2010年1期2010-06-05
- 谓词公式中子句集提取的实现pdf
理中，经常需要对谓词公式进行演算，以达到子句集的表达，便于以后的推理或证明。本文就是通过二叉树来实现对任意谓词公式中的子句的提取，实现对谓词公式的完善表达。关键词：谓词公式子句集合人工智能推理二叉树“注：本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文”。
现代经济信息 2009年8期2009-02-03