广义量词相关论文
不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。......
摘 要: 单调性是广义量词的语义特征之一。 本文着重讨论的是在把自然语句转变为形式语句时,广义量词的单调性应考虑个体域的范围......
自然语言的意义很大程度上依赖于量化表达式。形式化自然语言的陈述而又不包含量词,几乎是不可能的。而且人们日常的交流和推理都......
自然语言的意义很大程度上依赖量化表达式,人工逻辑语言的表达式也不能缺少量词,人们在使用语言进行日常推理时,更是离不开量词。因此......
数理逻辑出现之前,亚氏三段论历经2000多年都没有什么重大的突破。正文的第一部分用简洁的语言勾画了亚氏三段论的主要内容,包括三......
古典对当方阵可回溯到亚里士多德逻辑,并且自此后就一直被广泛地讨论,特别是在中世纪和现代.它刻画了所有、没有、并非所有和某些......
单调性是广义量词理论的中心问题之一。本文将单调性作为限定词的语义特征,着重研究了其主语(左单调)部分的特点。针对限定词主语......
给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台.......
回顾了广义量词的背景知识;在介绍数字三角形画法的基础之上,对S.Peters和D.Westerstaihl的数字三角形简图进行了改进;在整理相关文献的......
广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理。广义量词的语义性质主要包括:同构闭包性......
在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词。利用广义量词理论给出居间量词的语义定义,再利用集合论证......
非连续结构指的是某些意义上完整但句法表现上却断裂的语言成分。非连续结构虽然结构特殊,但在自然语言中具有普遍性。普通的移进......
广义量词的复杂性有两个层次:句法层面的复杂性和语义层面的复杂性,我们集中研究了广义量词的语义复杂性。在有穷的语境中可以找出......
随着广义量词理论的兴起和发展,逻辑学家们开始研究比传统三段论更为复杂的广义三段论及其有效性。在广义量词单调性的基础上,给出......
广义量词理论述评张维真(天津市委党校)通常,现代逻辑只研究和运用两类量词:全称量词和存在量词,广义量词理论则对逻辑量词进行了充分......
揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从......
广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词......
Tableau作为自动推理的有效方法之一在许多领域中有重要的应用.该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则......
量化结构历来是语言学家、逻辑学家以及人工智能学家共同关注的焦点问题,而量化并列结构更是长期争论不休、亟待解决的疑难之一。......
广义量词理论在集合论的基础上得到发展,提升了一阶逻辑处理现实世界的能力,有助于计算机更好地处理自然语言。单调性是广义量词最......
许多自然语言句子具有QAB的形式,这里Q是量化短语;A是普通名词短语;B是动词短语。自然语言语句表达量化的方式是多种多样的,这样在形式......
基于Peters和Westersthl(2006)、Moss(2010,2011)、Chow Ka Fat(2012)等相关文献的工作,可进一步概括出广义量词的三种主要推理......
三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词m......
在现代对当方阵中,逻辑规律具有一致性。对一个现代对当方阵中的任意一个广义量词施加任意多次的三种形式的否定运算,得到的广义量词......
刻画量化结构及其推理的汉语部分语句系统,其价值如下:(1)运用广义量词理论的方法分析汉语量化结构的各种特征;(2)扩大自然语言部......
将带广义量词Q的一个阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。......
本文讨论的是Barwise和Cooper(1981)的广义量词理论(GeneralizedQuantifierTheory)。这一理论将量词的语义和推理方面的研究推向一个新阶段。文章的重点是广义量词理论对模糊(fuzy)量词(例如......
自然语言逻辑是近几十年来在现代逻辑基础上发展起来的新学科,是用现代逻辑作为研究工具把自然语言作为研究对象的一个新方向,广义量......
广义量词理论的基础是集合论。该理论注重广义量词的语义性质和推理特征的研究,比一阶逻辑具有更为强大的表达力。利用广义量词理论......
讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值......
讨论一阶格值逻辑系统LF(X)中带广义量词的语法推理,同时证明了LF(X)中带广义量词的可靠性定理,作为应用我们对带广义量词的一些推理规则......
讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自......
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上.对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一......
给出格值-阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台。......
给出了一阶格值逻辑系统LF(X)中带广义量词的L-型模糊集为闭的扩展定义,得到赋值为闭的结果,证明了LF(X)中带广义量词的弱完备性定理.......
单调性是广义量词最为重要的语义性质。〈1〉类型和〈1,1〉类型广义量词的单调性与其三种否定量词(即外否定量词、内否定量词和对偶......
介绍广义量词理论的发展简史;论述广义量词理论的基本思想、方法和优势,给出了广义量词的语义解释方法和语义类型;总结广义量词理论的......
古典对当方阵可同溯到亚里士多德逻辑,并且自此后就一直被广泛地讨论,特别是在中世纪和现代。它刻画了所有、没有、并非所有和某些这......
量词辖域问题是自然语言处理过程中绕不过的难题,影响机器分析和理解自然语言。量词辖域问题一般源于全称量词和特称量词之间的复......
人的智能活动正是体现在对不确定性信息的获取、提炼、推理、判断和决策上,其中不确定性推理是关键的环节,也自然成为计算机科学和人......
本文初步梳理英语限定词研究,在现有语法研究维度基础上提出英语限定词研究的语义维度。研究表明,英语限定词在形式语义学中经历了......
在现代逻辑学中最经典的,也是被讨论的最多的是一阶谓词逻辑。但是实际上有一些概念(如存在无穷多个)在一阶逻辑内是无法表达的,也......
逻辑理论和哲学理论之间有着紧密的联系。逻辑作为思维的工具,是哲学讨论的载体。哲学家们出于哲学理论的需要建构逻辑,同样的逻辑......
自然语言中的量词单调性特征指的是当我们增加或者减少NP或者VP所指谓的集合成员数量时,逻辑表达式的值是否会受到影响。单调性问题......