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

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

利用Visual Basic实现计算机考试中的单选题与多选题

本文主要介绍了在运行模式下,使用Visual Basic实现计算机考试中的单选题与多选题要做的工作和思考的问题,主要讨论了运行模式下的流程图和代码设计。     

对分区间套法超越方程求根程序的新应用

本文给出BASIC语言对分区间套法求解超越方程程序的两个新的应用软件:对分区间套法含数值积分超越方程求根程序和双对分区间套法非线性方程组求根程序。     

刍议地道英语的特殊表达方式

从对动词及动词短语的妙用入手 ,从而阐明地道英语并不是神秘的和无法掌握的 ,它就在我们日常英语学习中     

一种基于规则与句法合成的层次化语句分析识别算法

首先, 在句子组织信息之间的结合度及基于规则、 词性和词序对句法分析系统影响的基础上, 提出一种基于规则的语句分析识别算法, 能在大量文本中快速识别出正确句式; 其次,在基于语句分析识别算法的基础上, 提出一种基于规则与句法合成的层次化语句分析识别算法, 以提高层次化句式识别检错的精度. 实验结果表明, 该算法平均精确率和平均召回率分别为84.65%和77.15%, 相比于只基于规则的语句识别算法分别提高了11.79%和14.48%, 证明了规则与句法合成的层次化语句分析识别的可行性.     

拉姆齐语句的基本蕴涵及其影响论争

作为逻辑实证主义或分析哲学的重要工具,拉姆齐语句源于拉姆齐《理论》一文,除形成了自身独特蕴涵、主要特征与基本构成以外,还经卡尔·亨普尔、鲁道夫·卡尔纳普等思想家的诠释或改造,不仅在科学哲学领域得到了重要发展,而且在语义学、民族心理学、伦理学等学科领域有着非常重要的应用。当然,对于究竟应该给予拉姆齐语句怎样的历史地位以及它又能够产生什么样的历史影响,迄今学界还是褒贬不一、论争纷纷。     

Web页面中访问异构数据库接口设计

一、引言由于ＷＷＷ技术的影响,通过超文本标识语言ＨＴＭＬ连接的应用在迅速增长。用户用浏览器来浏览ＨＴＭＬ用于编写的Ｗｅｂ页面,可将超文本、多媒体信息一并浏览,进行世界范围的信息漫游。但面对信息存储于多种数据库服务器的客观现实,解决在Ｗｅｂ页面中访问异构数据库,并且能使非专业人员也能掌握其访问方法,是十分重要的课题。“在ＷＥＢ页面中访问异构数据库的接口”就是为解决此类问题研制开发的。该接口软件提供给用户使用是以动态主页的形式,数据库访问所需ＳＱＬ语句信息是用户逐项填写该主页各项而成,利用该接口软件…     

关系型数据库系统查询优化分析

关系型数据库系统的查询效率与用户编写的查询语句的质量有直接关系,在编写SQL语句的过程中,合理地使用索引、尽量避免排序和嵌套查询、通过使用临时表减少I／0操作数量以及慎用distinct等关键字以避免全表扫描等方法都有助于提高所编写的查询语句的质量。只有高质量的查询语句才能经过查询优化器优化以后高效执行。     

高质量检索语句生成算法

本文对高质量检索语句的生成算法作了一般描述，并指出了其中的关键问题，即搜索引擎如何准确地理解用户的检索意图。针对这个问题，提出了三类基于不同思想的方法，并简要回顾了每类方法中的代表性算法。