程序算子与逻辑算子的统一——一阶时态逻辑(关系逻辑)

一阶时态逻辑(又称关系逻辑)同时具有一阶谓词逻辑、时态逻辑、Hoare逻辑、动态逻辑以及模态逻辑的演算功能。在一阶时态逻辑中,程序算子与逻辑算子被统一地看成一个关系算子。这样做之后,我们就实现了多种程序逻辑与普通的逻辑(古典的与非古典的)的统一。我们也能使用一阶时态逻辑,为各种研究领域建立一些特定的形式系统。总之,一阶时态逻辑是上述各种现代逻辑的一个汇合。     

一阶时态逻辑系统及其在程序中的一个应用

随着程序科学研究的不断深入,用于研究的工具也不断改进.从最初使用古典逻辑、普通的模态逻辑,直到现在已经有人使用了时态逻辑.各种新的时态算子的不断涌现,使得对每一种新开拓的时态逻辑系统都必须证明其完全性定理.此外,现今的时态逻辑主要还是“命题形式”的,怎样把它推广到一般的谓词形式的时态逻辑,也有必要进行研究.特别,以往在程序中使用时态逻辑的时候,仅仅是用时态逻辑来描述程序的一些性质,而没能把程序与时态逻辑放到一个公理化的形式系统里加以讨论. 在本文里,我们力图把已知的一类很大的逻辑,统一在一个称为一阶时态逻辑的公理系统里加以研究.在对这个谓词演算的一阶时态逻辑系统进行深入研究之后,我们就可     

Fuzzy时态逻辑

在现实生活中,我们日常用语具有时间性和Fuzzy性,计算机处于翻转状态时的描述,随时间的改变而变更命题真假的逻辑都具有这两个特点。大家所熟知的二值逻辑不能解决这一类问题,这里提出的Fuzzy时态逻辑,主要是研究具有这样两个特征的语句。本文针对时态语句的特点,引进了三个时态算子,并将时态语句符号化。在此基础上又引进了四个联结词和两个量词,这样就可以对语句作出全时间性(即对过去、现在、将来)的判断。在定义了广义的“历史”和“历史时刻”两个概念后,对时态语句进行了语义解释,并在各种有序的时间上进行语句赋值,从而给出了Fuzzy时态逻辑的一个极小弱谓词演算系统Jt。     

英语广告句法意动功能浅析

功能语法把语气作为人际意义的主要成分,讲话者通过不同语气使自己参与到某一情景语境中,表达他的态度和推断,从而影响别人的态度和行为;时态则是命题中的一个内在成分,时态逻辑在人们认识世界的理论中起着至关重要的作用。广告语的目的在于唤起大众对所宣传的产品的注意,并诱导读者购买该产品或服务,而这个目的决定了广告语言在语气和时态使用上的意动性。     

逻辑的反证:同一替换原则是否“失效”?

同一替换原则失效的问题一直是哲学界关注的焦点,弗雷格、罗素等哲学家都试图从不同的角度维护该原则。通过对几位逻辑学家解决方案的不足,以及导致同一替换原则失效的缘由的分析,认为以逻辑反观之,失效的不是同一替换原则,而是混淆了符号的两种语境,即外延语境和内涵语境,从而产生出两套评价体系。由此可以得出结论:"同一性替换原则失效"的命题不成立。     

词义内涵的语用效应

英语语言表达式的内涵意义实际上就是语义类别的语用效应,这种效应来自关于该语言表达式外延(或指称)的百科知识,以及使用者的各种经验、信仰和关于使用该表达式的典型语境的倾向。通过对专名、称呼语的语用效应的分析可以发现:内涵意义是随着语境和言语群体的变化而变化的,不受意思、外涵和指称的影响。     

时态逻辑的比较与分析

对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

跨文化语境中的词语内涵意义的理解

本章试图从文化语境的角度分析词语内涵意义,探讨了影响词语内涵意义理解的主要文化因素,并进一步对比分析词语内涵意义在英汉两种语言中的表现,对如何在不同文化语境下对词语内涵意义的正确理解有一定的启发意义。     

时态逻辑的比较与分析

对时态逻辑的两种重要形式－线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

英语词汇意义在语篇中的动态分析--浅谈句中俚语的动态理解及翻译

本文仅从英语词汇的词性、词义、文化内涵等角度，探讨日常交际中普遍存在和应用的俚语的动态语义。通过对词汇特别是俚语的词性、语境词义、文化内涵的动态分析，旨在说明研究英语词汇动态语义对于精确理解、准确翻译的重要作用，从而尽量避免阅读理解和翻译中的歧义。     

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

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

铁路系统的模型检查和参数分析

研究铁路系统的自动验证技术，建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。     

带等词的一阶时态逻辑系统

在文献[1]里,我们已建立了一种新的逻辑系统——一阶时态逻辑,并介绍了它在程序理论中应用的基本方法.在程序理论和数学中使用的一阶时态逻辑应该是带有等词的.为此,本文对带等词的一阶时态逻辑系统进行深入的考察,从获得的结果可以证实:带等词的一阶时态逻辑具有古典逻辑和普通时态逻辑两方面的演算功能.这也为今后开展程序语言语义学的研究提供了一个有效的工具.     

马克思主义的意识形态内涵的逻辑变迁与诠解

“意识形态”作为人类社会独有的精神现象，在其进入学术研究视阈之前就对人类社会的历史变迁和发展发挥着巨大的作用。认知和确定马克思主义的意识形态内涵是科学建构和规范以社会主义意识形态为主题的研究领域的逻辑起点。基于此，我们需要立足于马克思主义的意识形态内涵的逻辑变迁过程，对其进行全面考察和诠解，以求科学地把握意识形态内涵的本质性规定。     

自动化仓库客户服务管理问题的时态逻辑描述

在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为．     

并发系统性质描述的一种形式化方法

给出并系统性质的一种形式化描述方法－时态逻辑方法，其时间模型是离散和和线性的。     

时态数据中序列模式挖掘研究

时态数据中对不确定性和周期数据如何处理，现有的时态数据模型很少涉及。分析时态数据中不确定数据和周期数据，可以从大量的数据中发现有意义的时间相关性，帮助企业决策者预测客户未来的行为变化趋势，总结客户对象随时间变化的规律，从而实现时态数据中序列模式的挖掘问题。该文对时态数据中序列模式挖掘技术进行了研究。     

逻辑的分析与合成怎样剪切与粘贴推理系统

逻辑在纯科学和应用科学中广泛的可应用性是一个向哲学家挑战的事实。现代逻辑研究具有一个不可否认的朝着多重性和区域化发展的趋势。正如在许多领域和子领域中哲学逻辑的划分所示，一方面我们具有对经典的逻辑替代，例如多值逻辑、直觉主义逻辑补充、仿相容逻辑；另一方面我们有对经典的逻辑补充，例如模态逻辑、特别是时态逻辑、认识逻辑、信念逻辑、疑问逻辑和义务逻辑。     

论语境与词义

运用语境理论，论析语境中词义的变化与解释．揭示言语交际环境中词义的理解依赖于语境以及语境对词义的影响与作用这一相互关系，在语言交际中，注意纵横结合和与之相关的各种主客观因素，就能准确地把握和区别词的外延和内涵，获得无误的信息。     

基于时间区间关系的时态模糊描述逻辑研究

针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑—TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语法和语义.该逻辑形成的系统增强了不精确知识的时态关系的表达能力.