谓词

摘要： 逻辑语言作为一种形式语言,其起源根植于逻辑对日常语言的把握。谓词来源于日常语言中任何描述对象的性质词和关系词,普通名词也通过改写被纳入到谓词的范围。专有名词和单独摹状词可以运用摹状词理论进行改写并消除,变项承担了指称对象的功能。量化句“∃x{…x…}”或“∀x{…x…}”笼统地指称某一类对象。形式语言的语法具有更高的概括性和简单性,由逻辑词汇和谓词字母搭建而成,是形成逻辑推理的骨架。能够被纳入到逻辑形式语言中的内容,都需要遵从逻辑语法的制约。

摘要： 模态逻辑有算子和谓词两种研究方法,但谓词方法始终面临悖论的困扰。算子方法虽然避免了蒙塔古式悖论,但孔斯却构造了算子方法中的新悖论,因此算子方法并不能作为模态谓词悖论的解决方案。形形色色的模态谓词悖论无不隐含着对真之原则的不当使用,不一致的真理论是导致模态谓词悖论的根本因素。模态算子逻辑的成功在于它化解了不一致真理论的威胁。谓词方法倘若忽略了这个关键点,也效仿算子方法对真的处理,则必然导致悖论。解决模态谓词悖论和建立模态谓词理论需要引入一致的真谓词,以公理化真理论和语义真理论分别作为模态逻辑的语形基础和语义基础。

摘要： 针对机器人逻辑推理的规则粒度太小且数量庞大,用其组成系统解决问题过于困难而且容易产生错误的问题,提出了一种组合逻辑扩展规则及构建方法。通过所设计的组合逻辑推理扩展规则构建步骤,将针对某一应用的多个规则组合在一起,构成一个组合逻辑扩展规则,使得扩展规则可应用于较复杂的情景。为使机器人具有专业计算能力,给出了将规则用于计算公式的表示方法。最后以电力物资库发供货方案为实例,验证了方法的可行性。

摘要： 西夏文献中偶见谓词前面有连用两个趋向前缀的例子。在这种情况下,原来表趋向兼表体式的前缀就只具有单一的意义。连用的两个前缀可以理解为“趋向+体式”和“体式+趋向”两种组合,前者至少包括一个祈愿式前缀,后者则由两个完成体前缀构成,第一个表示完成,第二个表示趋向。“趋向+体式”的结构与现代羌语类似。

摘要： 该文提出汉语的块依存语法,以谓词为核心,以组块为研究对象,在句内和句间寻找谓词所支配的组块,构建句群级别的句法分析框架。这一操作可提升叶子节点的语言单位,并针对汉语语义特点进行了分析方式和分析规则上的创新,能够较好地解决微观层次的逻辑结构知识,并为中观论元知识和宏观篇章知识打好基础。该文主要介绍了块依存语法理念、表示、分析方法及特点,并简要介绍了块依存树库的构建情况。截至2020年8月,树库规模为187万字符(4万复句、10万小句),其中包含67%新闻文本和32%百科文本。

摘要： 关于谓词理论,康德并没有做出系统的理论阐述,但是从前批判时期的文章和批判时期的著作中,可以找到一条一以贯之的理论线索,即在"是"与"存在"的问题中,区分了逻辑的谓词和实在的谓词。康德的这一区分对罗素的摹状词理论具有重大影响。本文的目的在于比较这两种理论在处理谓词方面的异同之处,并且指出在本体论意义上,他们的理论之间有着重大差异。

摘要： "体"范畴是谓词情状的体现,体范畴标记与谓词配置有内在意义上的规定性.基于语料库考察谓词性宾语句中体标记"着、了、过"与谓词配置的特征和规律,发现谓词与体标记配置存在文本差异,词典中带体标记用例最多.语料中体标记"着"主要与谓宾动词配置,"了"主要与宾语中谓词配置,"过"与两谓词配置都很少.体标记"着"比"了、过"受到的限制更多,具有强制性特征;"了"与谓词配置情况复杂,有强制性、条件性和自由性三类情况;"过"与谓宾动词配置时兼顾全句,而与宾语内部宾语配置时可以被其他时体标记替换.体标记与谓词配置受到标记特征、谓词语义特征、语言经济性等因素协同制约.

摘要： 费尔巴哈和马克思都指责黑格尔颠倒主词和谓词,但实际情况要复杂得多.黑格尔的逻辑理论是一个庞大的体系,单是在主谓词关系上就有一套以概念的普遍性、特殊性和个体性的关系为核心的,包含四大判断类型的系统理论,不存在逻辑上形式明确的主谓颠倒主张.尽管如此,黑格尔整个哲学的目的在于以概念推演的方式把握绝对(das Absolute),也就是基督教上帝的理性化形态.一方面,"das Absolute"的确切意思是"绝对者",即具有绝对性的东西,由于它在黑格尔的意义上是独一无二的,因而黑格尔以它作为全部哲学命题的归根到底的主词,把所有的逻辑范畴和实存事物都看成它用来表达自己、说明自己和实现自己的谓词,至少在形式上并没有什么颠倒.另一方面,从内容上看,"绝对"既然是归根到底的主词,也就是最不清楚的概念,所有其他概念都比它清楚,所以才作它的谓词,同时,它又潜在地包含着最大的普遍性,其他概念都是其展开的特殊性,在这个意义上,可以认为它最抽象,其他概念都比它具体,即使"有(Sein)",由于被黑格尔界定为它的初始谓词,因而在抽象性上也有所不及,仅就此而言,黑格尔犯了主谓颠倒的错误.进一步说,在"绝对"作一切概念的主词的前提下,从"有"开始,黑格尔哲学命题推演的每一步都在从抽象走向具体,由此也可以认为,他一贯以较为抽象的概念作主词,而以较为具体的概念作谓词.总之,对黑格尔主谓颠倒的合理指责大致应该限定在这个范围.

摘要： 不同的谓词可给论元分派不同的题元角色,本文仅以此角度来探讨题元角色的分派,旨在解决题元角色的划分问题,有助于语言学习者更好地理解题元角色这一概念.

摘要： 本文对西双版纳勐海汉语"谓词+了+□□kγ53 ni53"及相关格式作了描写和分析,并与景洪汉语"谓词+□□kγ53 ni53"格式作了比较,指出这类格式是语言接触的产物.它们来源于傣语的"谓词+状语+ kan35 ni33"格式,并根据各自的语法系统作了相应的改造.

摘要： 本文对基于XML流数据处理带谓词XPath查询的有效算法进行研究，提出了时间复杂度为0(n)的处理带谓词XPath路径表达式的有效算法XPSS。算法XPSS只需对原XML文档进行一次遍历即可找出满足查询要求的所有祖先-后裔节点对。该算法不需要事先将源XML文档分裂为元素(或属性)列表进行存储，而是直接将源XML文档作为输人，并采用SAX(Simple API for XML)来产生XML数据流。由于SAX是基于流方式来解析XML文档，而且算法XPSS也只需要同时在内存中保存每个查询表达式根节点下的满足查询要求的所有节点，因此，算法XPSS对大型XML文档的处理能力远远超过目前基于DOM的XML查询执行器。

摘要： 利用分支函数极小化,生成给定路径的测试数据,需计算路径上谓词中变量的当前值.文中基于谓词的程序切片自动生成算法,以相应的切片标准为准则,利用程序DUC(Definition_Use_Control)表达式,构造基于谓词的程序切片.对任意的输入,通过执行该切片,获得谓词中变量的当前值,为测试数据的自动生成奠定了基础.

摘要： 问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明。

摘要： 信息抽取是自然语言处理领域的重要课题.传统多槽信息抽取系统的规则是基于零阶逻辑的,表达能力有限.归纳逻辑编程(ILP)借助一阶谓词逻辑的强大描述能力,可以自然地表述各种特征,将其整合到一个逻辑框架下,从中学习目标关系.本文研究了ILP学习算法在多槽信息抽取中的应用.实验结果表明,本算法学到的规则比基于零阶逻辑的典型代表WHISK算法具有更好的性能.

摘要： 多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向。

摘要： 多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向。

摘要： 多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向。

摘要： 多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向。

摘要： 多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向。

摘要： 本发明公开了一种基于谓词逻辑的规范重构表示方法，具体包括如下步骤：步骤1，将规范条目分割为多个子句；步骤2，对步骤1得到的子句进行归一化处理；步骤3，对经步骤2处理后的子句成分进行符号化处理，并将处理后的结果存入计算机中。本发明能够将中文建筑规范条目进行数字化表达，解决了目前设计规范的计算机存储及识别问题。

摘要： 一种面向谓词执行高性能DSP的指令依赖关系分析方法，对于基本块内的某条指令，从指令I的前一条指令开始，逆序遍历基本块内的指令去尝试解除依赖分析需求，同时确认指令I与哪些指令有依赖关系；每遍历到一条指令X，进行如下处理：S1：分析指令I和指令X之间是否可能有依赖关系；S2：获得指令X的谓词域信息，并根据指令I和指令X的条件执行关系，决定是否结束对指令X的后续处理；S3：如果还没有结束对指令X的处理，针对指令I的依赖分析需求，结合指令X的条件执行特性开展相应的依赖分析，确定指令I是否确实依赖于指令X，并尝试解除相应的依赖分析需求。本发明具有原理简单、操作简便、能够充分发挥硬件性能等优点。

摘要： 本发明涉及面向大数据关联的存储和查询技术领域，公开了一种基于谓词关联的SPARQL查询优化方法及系统，更快速且有效地实现分布式SPARQL查询，本发明的方法包括获取历史查询的SPARQL中的RDF三元组，使用谓词命名RDF三元组，得到原始RDF数据集；对RDF数据集进行划分得到VP表，根据VP表统计RDF数据中谓词连接的主词和宾词数量，定义谓词的四种连通特性，并根据连通特性强弱对谓词进行优先级排序；构建谓词之间的关联性，并根据该关联性将历史SPARQL查询图转化为树状谓词图，优化树状谓词图，根据优化后的树状谓词图生成相关表并将SPARQL转化成查询指令；采用查询指令查询待查表。

摘要： 本发明公开了一种基于公共谓词逻辑的语义固化和派生方法，其步骤包括：1)为自动机A选取或设计语义单元X，构成一语义单元集{X}及其对应的数据状态集{D}；2)对{X}中各语义单元进行数字特征获取并计算每一语义单元的索引值，得到一语义单元索引集{H_X}及数字特征集{Sign_X}；对{D}中各数据状态进行数字特征获取并计算每一数据状态的索引值，得到一数据状态索引集{H_D}及数字特征集{Sign_D}；3)分别以{H_X}、{H_D}作为输入进行计算模式得到自动机A的根Root_A；4)A’通过Root_A启动自动机A，获取自动机A的所有语义单元、数据状态进行驱动，从而获得对自动机A的需求。

摘要： 本发明公开了一种基于图同构网络的谓词抽取方法。本发明使用了DDParser工具对文本句子进行解析，并利用句子解析后得到的词性结果对分词序列中的专用名词进行泛化。对Bert的嵌入部分做调整，加入对词性信息的编码，将泛化后的词序列输入到微调后的Bert模型中进行编码。使用GIN网络来获取依存树中每一个节点的嵌入向量以及依存子树的表征向量。再这之后通过一层注意力机制，将语义信息还有依存结构信息融合起来得到最终的节点嵌入向量。最后，本发明将最终的词嵌入向量集合输入到一个二分类器中，得到谓词结果。本发明使用了深度学习的方式学习句子的结构模板特征，大大减少了人们的工作量，有着较强的跨领域性和适应能力，有效提升了谓词抽取方法的准确性。

摘要： 本方法提供了一种基于条件谓词的适应性随机测试用例生成方法，属于软件测试领域中的适应性随机测试技术。本方法基本流程含六个步骤，包括人工发掘程序的条件谓词信息、计算候选测试用例所属条件区域、计算候选测试用例是否达到阈值、采用基于距离的候选用例筛选计算出条件区域的待测测试用例并执行，最后返回所用测试用例集。本文还对RT、FSCS‑ART、IP‑ART与本文所提出的方法在真实程序上开展了对比实验，结果表明，本方法所选择的测试用例具备更强的失效检测能力。

摘要： 本发明公开一种向量处理器的指令间变量依赖关系分析方法，该方法包括：基本块内指令与其前驱指令之间的变量依赖关系的顶层处理；指令间常规变量、共享组合类变量依赖关系类别分析；谓词执行情况下准确的变量依赖关系分析评判；谓词执行情况下准确的变量依赖关系分析评判。本发明能为支持谓词执行的处理器中综合使用常规变量和共享组合类变量的代码进行准确的指令间变量依赖关系，有效地避免因依赖关系传递形成的冗余依赖边，能给改善指令并行度提供更多的机会等优点。

摘要： 一种用于带访问控制谓词的包装密钥的方法(300、400)包括获得用于内容(120)的密码密钥(212)。该方法还包括使用密码密钥来对内容进行加密并且生成加密请求(190E)。加密请求请求第三方密码服务(150)对密码密钥和访问控制条件的封装(152)进行加密，所述访问控制条件管控对内容的访问。该方法还包括将加密请求传送到第三方密码服务。加密请求包括密码密钥。

摘要： 本发明提出了一种云中基于内积谓词的单关键词可搜索加密方法，实现步骤是：1)初始化可搜索加密系统；2)权威机构TA生成数据访问者私钥；3)数据拥有者对文件和关键词进行加密；4)数据访问者生成陷门；5)云服务器进行搜索匹配；6)数据访问者解密密文。本发明中每个数据拥有者基于访问策略加密关键词时采用内积谓词，将访问策略转化为谓词向量，然后基于该谓词向量对关键词加密生成索引，从而使访问策略隐藏在索引中，在将索引上传至云服务器时，有效防止了数据访问者身份隐私的泄露，进而提高了云中数据存储与共享的安全性。

摘要： 本发明公开了一种无尺寸约束的不透明谓词构建方法、系统及存储介质，包括：(1)构建一个整型数组，其数组元素初始值为：从0开始，步长为1的递增正整数，数组个数不少于2；(2)从待保护函数中读取整型参数；(3)构建一个与所述待保护函数的参数和所述数组有关的整型变量；(4)构建所述整型变量与所述函数的参数的不等表达式，该条件不等表达式为一恒假不透明谓词。基于该方法构造的不透明谓词可以令攻击者错误地将不透明谓词识别为普通谓词，从而错误的执行程序的虚假分支。此外，对混淆后程序的强度、弹性及执行代价进行测试分析，实验结果表明使用本发明方法构建的不透明谓词具有高强度、高弹性且执行代价较小。