《墨经》中的语用学浅探

目前，研究《墨经》中的语言逻辑，尤其是语用学，有一定的现实价值。《墨经》中的语用学主要考虑语境对语义的影响，研究语境如时空、可能性、认知关系等对语性结构、语义的影响。     

区间值语义下的Agent信念模型

从实际应用出发,在逻辑系统基础上,结合二维区间值语义,构建Agent模糊信念模型,并研究该模型语义的数理基础,分析系统可靠性、完备性以及重言式结构等特性,最后给出一些应用,这些研究不仅为Agent信念复杂性研究,而且也为Agent认知、决策等研究提供一定的逻辑理论基础.     

柳州方言的状语后置

从三个方面考察了柳州方言的状语后置形式 :1 与动词有关的后置形式 (包括带宾语的两种类型 ) ;2 与形容词有关的后置形式 (从功能上划分为作谓语和作补语两种类型) ;3 与介词结构有关的后置形式。分别分析了三种状语后置形式的句法结构和语义关系 ;从类型学角度看 ,柳州方言属SVO语言 ,柳州方言的状语后置是典型的SVO语言的类型特征     

评马清华《文化语义学》

马清华《文化语义学》以人类基本文化结构对语义的作用规律为研究内容,借鉴国际先进的语言学理论,广泛探究众多语言方言的材料,在语义现象的普遍性和民族文化特征的揭示方面尤其成就斐然,卓然自成一家,堪为新时期国内语义研究的一个重要代表。     

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

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

论证一类倒排文件系统与DB系统的等价性问题

本文试图从理论上证明一类倒排文件系统与DBS的等价性问题。其目的在于说明就汉字情报检索系统而言,只要构造一个好結构的倒排文件系统,即能起到DBS的功效作用。从而实现并达到DB系统的水准要求。     

论词库在IRS中的作用

本文试图阐明在情报检索系统(IRS)中不一定非要词库(TS)不可,并且力图从理论上证明TS在IRS中原理上是可有可无的。解决IRS的检索效率问题。关键在于有一个好的动态数据结构和恰到好处的数据语义描述语言以及提供有多种灵便而又巧妙的检索策略。     

Computational empiricism

I argue here for a number of ways that modern computational science requires a change in the way we represent the relationship between theory and applications. It requires a switch away from logical reconstruction of theories in order to take surface mathematical syntax seriously. In addition, syntactically different versions of the same theory have important differences for applications, and this shows that the semantic account of theories is inappropriate for some purposes. I also argue against formalist approaches in the philosophy of science and for a greater role for perceptual knowledge rather than propositional knowledge in scientific empiricism.The term computational empiricism was suggested to me in conversation at a philosophy conference in Venice, Italy in June 1991 by someone whose name I have unfortunately forgotten. It seemed to capture perfectly the set of techniques I had described in my talk there, and I have since adopted it. I thank the originator of this term, whoever he is.     

一个含有不确定性语言的代数规范说明

本文定义了一个语言L,其允许表达式有负作用并对表达式序列的计算顺序不加规定,这样,在L中,同一表达式序列,因其计算顺序不同而可以有不同的结果,因而其语义模型就不是唯一的,传统的单一模型方法不适于定义L的语义,本文在极大语义的意义下,定义了L的代数规格说明并讨论其模型性质。     

Discussion On the Semantics and Culture

ＤｉｓｃｕｓｉｏｎＯｎｔｈｅＳｅｍａｎｔｉｃｓａｎｄＣｕｌｔｕｒｅＷａｎｇＪｉａｎｗｕ（Ｄｅｐｔ．ｏｆＢ．Ｃ．ｏｆＳｈａａｎｘｉＩｎｓｔｉｔｕｔｅｏｆＴｅｃｈｎｏｌｏｇｙ）Ａｂｓｔｒａｃｔ：Ｔｈｉｓｐａｐｅｒｆｏｃｕｓｅｓｏｎｈｏｗｓｅｍａｎｔｉｃｓ...