蒙太格语法产生的历史背景

蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论,是在一阶逻辑的基础上,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的.形式语言包括(i)一阶谓词逻辑,(ii)模态算子,(iii)时态算子,(iv)兰姆达抽象,(v)形成谓词内涵和外延的算子.蒙太格提供了一个类型论的结构,这种结构允许对每种表达式加以量化.蒙太格的形式语言又可称之为内涵语言.他依据个体,真值,可能世界和时间座标以及所有这些的函项概念给出了内涵语言的的一个模型.内涵语言使我们能给出对自然语言语句的间接解释.其方法是,首先将语句映射为内涵逻辑中的翻译语言,然后给出这种语言的解释.本文主要阐述蒙太格语法产生的历史背景,阐述奠定了蒙太格语法基础的逻辑和哲学中的语义学早期传统,并将这种传统与语言学中的语义学传统相对照,后者表现出了与蒙太格理论的重大的和富有争议的不同.     

正规类中遗传根的一个性质

在结合环中，Amitsur证明了：设R是遗传根，对环A的任意两个理想Ii，令Ii^-是由Ii^-/Ii=R（A/I）所唯一确定的A的理想，i=1,2,则有（I1∩I2^-)=I1^-∩I2^-。本文在更广泛的意义下证明此定理，推广了Amitsur的结果，同时给出它的几个应用。     

型A-(￡)-宽广半群的平移壳

证明了型A-(￡)-宽广半群的平移壳仍为型A-(￡)-宽广半群.     

网格中的数学问题

在正方形的网格中，每个小正方形的边长都是相等的，每个小正方形的顶点叫做格点（其他正多边形也有类似的情形），我们把以格点的连线为边的图形叫格点图形。近年来各地的中考试卷中频频出现这类与格点有关的数学问题。由于这类与网格有关的中考题大部分具有开放性，设计又新颖，能很好地考查学生的思维水平和思维能力，故很受命题者的青睐。     

程度化的格值一阶逻辑及不确定性推理研究

1项目的研究意义人工智能的主要目标在于研究用机器来模仿和执行人脑的某些智力功能,并发展相关的理论和技术。人类主要的思维活动包括推理、判断和决策,这些思维活动反映了人脑所具有的某些智力功能,而这些智力功能大都包含着推理,因此人工智能研究的核心问题之一应该是使     

不完全信息条件下象征式竞购合谋的均衡策略分析

研究象征式竞购合谋这种典型合谋方式的均衡策略问题.考虑到竞购双方估值信息的不完全,以拍卖理论中的竞标模型为基础,确定了合谋激励条件,求解了合理的利益补偿价值,并在此基础上通过博弈分析得出了竞购舍谋的均衡策略,最后分析了目标公司针对竞购双方合谋在保留价格上的响应策略.研究表明,竞购者合谋并未降低收购活动的经济效益,目标公...     

纳西语四音格词的语音结构研究

纳西语四音格词按照音节语音结构关系,可以分为AABB、ABAB、AABC、ABAC、ABCB、ABCC、ABCD七种类型,,韵律结构以第一、三音节双声叠韵和第二、四音节叠韵为主。声调配置形式多样,最丰富的为AABB式,有八种,AABB、ABAC和ABCB三种形式有四个音节全部同调的现象,七个类型均无四个音节全部异调的情况。     

剩余格上蕴含单调算子的性质

针对剩余格上单调算子的性质,首先对比分类了剩余格上蕴含单增算子和蕴含单减算子理想情况下的性质,其次讨论了剩余格上蕴含单增算子和蕴含单减算子的复合算子及其性质,最后分析了蕴含单调算子的拓扑结构,并证明其构成剩余格上的Alexandrov模糊拓扑.     

用弱孤立算子或弱外孤立算子确定闭包系统

引入了弱孤立算子和弱外孤立算子的概念,证明了对每个给定的集合X,可以给WI(X)(X上弱孤立算子的全体)和WOI(X)(X上的弱外孤立算子的全体)上赋予适当的序关系≤,使得(WI(X),≤)和(WOI(X),≤)是与(CS(X),)同构的完备格,这里CS(X)是X上的闭包系统的全体.因此可以用弱孤立算子或弱外孤立算子确定闭包系统.     

基于模糊概念格的气象云图识别关系模型及应用

构建一种基于模糊概念格的气象云图识别关系模型．此模型选取2个相邻时刻的卫星云图进行云团移动研究，求出每个云团的属性评估值，得到两时刻云团间的评估关系；以评估关系为对象，以云团的特征为属性建立模糊概念格，利用相似度确定相同云团；最后，通过实例证明了以该模型为基础建立的气象云图识别方法更具精确性和实用性．