表达量化的方式及其形式刻画问题探讨

许多自然语言句子具有QAB的形式,这里Q是量化短语;A是普通名词短语;B是动词短语。自然语言语句表达量化的方式是多种多样的,这样在形式逻辑中对量化式的刻画也是方法各异。许多英语限定词在经典一阶逻辑里能够得到刻画,尽管要使用有点复杂的累赘的说法。但是也有许多限定词不能在经典一阶逻辑中表达出来。我们可以增加新的量词符号,比如说most来丰富经典一阶逻辑的表达能力。     

多Agent系统中含糊性的处理方法

为了能够正确理解含糊语句所传达的信息概念，分析了含糊性如何影响对话双方的知识，尤其是含糊语句产生后，谈话双方彼此了解的情况。提出基于Kripke结构的多agent系统中含糊性的处理方法，多gent系统的信息状态用Kripke结构表示，并用tell函数来实现系统间的通信，而tell的应用受到Grice原理的约束。此方法能够正确地把由含糊子句传递信息中的语义含糊和感觉含糊区分开来，因而对于研究多agent系统具有一定的实用价值。     

浅析SQL中WHERE EXISTS子查询

结构化查询语言SQL是一个综合的、通用的、功能极强的关系数据库语言,而SQL语言的核心又是SELECT语句.其中WHERE子句的条件表达式表现得灵活而复杂,与谓词EXISTS所形成的嵌套查询也成为部分人理解的难点,本文将重点剖析WHERE EXISTS子查询的语法、执行流程及使用离散数学知识辅助解决复杂查询的实现方法.     

浅析SQL中WHERE EXISTS子查询

结构化查询语言SQL是一个综合的、通用的、功能极强的关系数据库语言,而SQL语言的核心又是SELECT语句。其中WHERE子句的条件表达式表现得灵活而复杂,与谓词EXISTS所形成的嵌套查询也成为部分人理解的难点,本文将重点剖析WHERE EXISTS子查询的语法、执行流程及使用离散数学知识辅助解决复杂查询的实现方法。     

“都”与否定极性项的分布及单调性推演

汉语否定极性项中的限定词“任何”和极小词需要否定算子和全称量化算子“都”的双重允准,“任何”与“都”同构的语言现象违背了成分统治的原则。以往的研究多在某一类型的否定极性项中研究“都”的句法和语义,无法从全局上厘清“都”的允准机制。以北大CCL语料库为样本,对“都”与否定极性项的分布进行定量分析,结果表明：否定极性项中的限定词和极小词必须与“都”连用,而否定极性副词则不一定要与“都”连用。此外,“都”和其他全称量词一样,创造了向下蕴涵的语境,并使其所在语句向下单调推理有效。     

C语言语句使用频度的自动统计方法设计与实现

讨论了C语言语句静态使用频度的统计方法,给出了完整的自动统计的C语言源程序及C语言语句静态使用频度.统计结果成为缩短高级语言和机器语言间语义差距,缩短编译程序的长度和编译所需时间的重要依据.     

论认知语言顺应性角度下英语语句重音的交际功能

文章从英语语句重音相关研究的基础出发,运用认知语言顺应性理论探析了语句重音的交际功能,对在内在因素制约下的情感顺应性和在外在因素制约下的话语交际效应顺应性进行了讨论;指出了交际主体的诸多语用因素对英语语句重音的使用有不同的影响。     

C语言结构化程序设计与GOTO语句之间的关系

讨论了C语言结构化程序的主要特征,提出了“goto”语句在某些特殊场合下的程序设计中的一些使用.     

以关联理论为视角的非寓意语用含糊的解读

语用含糊是人际会话中的一种常见语言现象。这种用法严格或直观地说并不正确，但是这些偏离正确的用法在会话中未质疑。关联理论指出关联原则能很好地说明在交际过程中为何人们有时在即使存在相对精确的表达，仍采纳其对应的含糊语言。本文旨在尝试从语用的视角采用关联理论分析听话人解读非寓意语用含糊的过程。     

浅谈T-SQL语言之递归查询

文章以T-SQL技术为基础,介绍了基于CTE语句进行数据库查询的产生机理和实现方法,并针对CTE语句的特点,采用存储过程及自定义函数方式来实现基于CTE语句查询数据库的过程.以人员管理树型结构数据为基础,在SQL Server 2005中建立各种CTE临时结果集,进行递归查询操作,从而体现T-SQL语言中新增CTE递归查询的强大功能.     

《型世言》方言量词和特殊量词研究

《型世言》中所用的语言保留了当时鲜活的口语资料。在对书中方言量词和特殊量词进行考察的基础上,探究其中量词“儿”尾、“子”尾的特点,进而管窥明代吴方言量词的面貌。     

SQL语言中具有全称量词的查询问题

以三个关系为例,应用离散数学的有关理论,把具有全称量词的查询问题转换成等价的存在量词的查询问题,并用SQL语言予以实现.     

浅谈《高等数学》中基本概念及其矛盾概念的教学

谓词逻辑中的两个量词是理解高等数学中极限、收敛等基本概念及其矛盾概念的基础，运用这两个量词的关系是指导教学的关键。     

谓词逻辑推理中证明方法的判定

数理逻辑是《离散数学》的难点之一。主要有两个原因,其一是内容比较抽象且方法较独特;其二是题型以证明题居多,大多数证明题涉及到的知识面较广,习题较难。而谓词逻辑是命题逻辑的推广,其灵活性就更大,故很难掌握。本文总结了几种谓词逻辑推理的判定方法和注意事项,以帮助掌握证明题的证明。结合适当的例题讲解,帮助学生进行逻辑思维能力的训练,培养分析问题和解决问题的能力。     

一种可行的量化逻辑自然演绎系统

提出了一种较为可行的量化逻辑自然演绎系统,其中间接证明是这一系统的主要证明方法,而量词消去和置换规则是这一系统的基本演绎规则.     

数量词与序数词的正确表述

科技论文中数字的正确表达是衡量科技期刊规范化、标准化的一个方面。本文根据编辑工作实际,以具体示例来辨析数量词与序数词的使用。     

(Q)格值模型论的紧致性定理

对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了紧性致定理。     

中介逻辑的谓词演算系统（Ⅱ）

本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF的形式定理。定理10 MF:[1]x～A(x)～xA(x),[2]～xA(x)x～A(x)[3]～xA(x)x～A(x). 定理11 F:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],～xA(x)xB(x),[3]x[A(x)→B(x)],x～A(x)(x)B(x),[4]x[A(x)→B(x)],xA(x)xB(x),[5]x[A(x)→B(x)],x～A(x)xB(x),[6]x[A(x)→B(x)],xA(x)xB(x). 定理12 MF:[1]xA(x)∧Bx[A(x)∧B],x不在B中出现,[2]xA(x)∧BxA(x)∧B],x不在B中出现.[3]xA(x)∨Bx[A(x)∨B],x不在B中出现.[4]xA(x)∨Bx[A(x)∨B],x不在B中出现. 定理14 MF:[1]xA(x)∧xB(x)x[A(x)∧B(x)],[2]xA(x)∨xB(x)x[A(x)∨B(x)],[3]xA(x)∨xB(x)x[A(x)∨B(x)],[4]x[A(x)∧B(x)]xA(x)∧xB(x). 定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x) B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)].     

中介逻辑的谓词演算系统(Ⅰ)

本文在中介原则的观点下构造中介逻辑的谓词演算系统MF,我们首先给出它的符号系统、形成规则和推理规则,又作为MF的初步展开而给出它的若干个形式推理关系,其中包括的一个重要定理,那就是MF中的替换定理。M F 形式符号:(一)逻样词s(二)个体词,a,b,c ,a; ,b;,c;< z = 1。2,…;(三)谓词F,G,rH,(i二1,2…),(四)约束变元X,L,Xr,Zt Yf, 了五)技术符MF的形成规贝.:(i) F'(a,...a})是合式公式;(ii)如果J是合式公式,则一工和X是合式公式,(iii)如果X和Y是合式公式,则〔X-> Y〕是合式公式;(iv)如果X(a>是合式公式。在其中出现,X不在其中出现,则和ExX }x}是合式公式。至于FM的形式推理规则,乃在接受M的全部推理规之外,另加如下六条(a).其中a不在r中出现,则r卜}TxA }x} ; ( 3 _)若A(a) - B,其中。不在B中出现,则3 xAB; ( 3 +)A(a) }-其中A }x}是由A(a)把其中a的某些出现替换为x而得; 定理4(替换定理)如果AI-I B,而f(P)为MF中之任一今式公式,则有fcA>I=If(B)>o