一个二阶的context逻辑

本文为Ｂｕｖａｃ的ｃｏｎｔｅｘｔ逻辑定义了一个二阶扩充ＳＯＱＬＣ，它能为许多常识现象提供更简单自然的描述。     

一个多理论的逻辑系统

文中为多理论系统建立了一个层次的理论框架－ＭＴ．ＭＴ在几个方面推广了传统的二型一阶谓词演算；允许表示多个理论，每个理论都在一个ｃｏｎｔｅｘｔ内声明；每个ｃｏｎｔｅｘｔ可以有关于其下层ｃｏｎｔｅｘｔ的元理论，而ｃｏｎｔｅｘｔ自身又作为其上层ｃｏｎｔｅｘｔ的一个个体常元。     

基于块方向预测和Context的图象天先真编码方法

首先分析无失真图象编码技术，提出一种基于块方向预测和Ｃｏｎｔｅｘｔ的自适应无失真编码方法，该方法主要使用块方向预测和基于Ｃｏｎｔｅｘｔ的误差模型去除图象在空间上的相关性。在此方法中，一幅图象首先被分割成图象块，对图象的每一块自适应地选择一个使预测误差绝对值之和最小的块方向预测器，然后通过Ｃｏｎｔｅｘｔ选择和误差反馈进一步降低信号熵；最后，采用快速而有效的Ｒｉｃｅ编码器对误差图象编码。实验结果显示，     

一种有效的概率上下文无关文法分析算法*

句法分析的研究是自然语言处理领域的一个重要组成部分。该提出并实现了一种有效的概率上下无关法ＳＣＦＧ（ｓｔｏｃｈａｓｔｉｃ ｃｏｎｔｅｘｔ－ｆｒｅｅ ｇｒａｍｍｅｒ）的分析算法。首先对原有的ＧＬＲ分析有加以改造，以便能够利用分析过程的控制结构来计算有关的概率；然后对分析过程中的每个状态增设了下标，以区分不同的归约路径。通过上述手段，成功地引入了状态的前向（Ｆｏｒｗａｒｄ）概率和内（Ｉｎｎｅｒ）     

自适应模糊逻辑控制在直流调速系统中的应用

自适应模糊逻辑控制在直流调速系统中的应用郑红，高金泰ＴｈｅＡｐｐｌｉｃａｔｉｏｎｏｆＳｅｌｆ－ＡｄａｐｔｉｖｅＦｕｚｚｙＬｏｇｉｃａｌＣｏｎｔｒｏｌｉｎＤ．ＣＳｐｅｅｄＣｏｎｔｒｏｌＳｙｓｔｅｍ￥ＺｈｅｎｇＨｏｎｇ；ＧａｏＪｉｎｔａｉ１引言由于Ｆｕｚ...     

分布式文件系统中Cache一致性的验证

基于信念逻辑,分析了曙光超级服务器单一映象文件系统中所采用的基于目录的无效使能Ｃａｃｈｅ一致性协议,首先介绍了Ｃａｃｈｅ一致性协议的目标,并为之建立了系统模型及逻辑,然后以基于目录的无效使能协议为例演示了运用信念逻辑对Ｃａｃｈｅ一致性进行正确性证明的过程。     

Windows95和NT下的网络游戏开发(下)

其中所有的参数都取自ＥｎｕｍＳｅｓ－ｓｉｏｎｓ,系统每收到一个回复的消息便调用一次ＥｎｕｍＳｅｓｓｉｏｎ,并在结构ＬＰＤＰＳＥ－ＳＳＩＯＮＤＥＳＣ中添入适当的值。以下是ＥｎｕｍＳｅｓｓｉｏｎｓＣａｌｌｂａｃｋ的程序实例。ＢＯＯＬＦＡＲＰＡＳＣＡＬＥｎｕｍｓｅｓｓｉｏｎ（ＬＰＤＰＳＥＳＳＩＯＮＤＥＳＣｌｐＤＰＧａｍｅＤｅｓｃ,ＬＰＶＯＩＤｌｐＣｏｎｔｅｘｔ,ＬＰＤＷＯＲＤｌｐｄｗＴｉｍｅｏｕｔ,ＤＷＯＲＤｄｗＦｌａｇｓ）｛ＬＯＮＧｉｌｎｄｅｘ：ＨＷＮＤｈｗｎｄ＝（ＨＷＮＤ）ｌｐＣｏｎ－ｔｅｘｔ;／…     

模糊逻辑控制及其应用概况

模糊逻辑控制及其应用概况许文达ＩｎｔｒｏｄｕｃｔｉｏｎｔｏＦｕｚｚｙＬｏｇｉｃａｌＣｏｎｔｒｏｌａｎｄｔｈｅＧｅｎｅｒａｌＣｏｎｄｉｔｉｏｎｏｆＩｔ＇ｓＡｐｐｌｉｃａｔｉｏｎ￥ＸｕＷｅｎｄａ模糊对ｕｚ。ｒ）逻辑与计算机结合形成的Ｆｕ。。ｙ控制系统为计...     

Cache的一致性问题分析

Ｃａｃｈｅ的一致性问题是多处理机系统的一个重要问题。本文首先提出在多处理机系统中，主存与各处理机私有Ｃａｃｈｅ之间及各私有Ｃａｃｈｅ之间的存在数据不一致问题。对解决不一致性的方法：监视法、目录法、软件方法等进行了详细的定性分析；指出了各种方法的优缺点，供设计者参考；同时提出用软件和硬件相结合的方法，更能有效地解决Ｃａｃｈｅ不一致性问题。     

利用ASP开发基于MTS的Web应用软件

Ａｃｔｉｖｅ　　 Ｓｅｒｖｅｒ　Ｐａｇｅｓ　（ＡＳＰ）是Ｍｉｃｒｏｓｏｆｔ公司推出的Ｗｉｎｄｏｗｓ　ＮＴ环境下服务器端的脚本编写语言,利用它可以调用Ｗｅｂ服务器上注册的ＡｃｔｉｖｅＸ组件来执行任务,从而生成功能强大的Ｗｅｂ应用程序。由于ＡＳＰ脚本在Ｗｅｂ服务器上运行,用ＡＳＰ创建的应用可以被跨不同平台运行的多种Ｗｅｂ浏览器访问。 在ＩＩＳ ４．０中,ＡＳＰ结构提供了六个内建对象,内建对象的特殊性在于,它们在ＡＳＰ页内生成且在脚本中使用它们前无须创建。其中,内建对象ｏｂｊｅｃｔＣｏｎｔｅｘｔ　专门用…     

一个带量词的context逻辑及其限制推理

本文定义了一个新的context逻辑——QLC（quantificationallogicofcontext），它能反映context的更多的逻辑性质．文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理，并引入了McCarthy的限制理论.     

NOTIONAL LOGIC OF SYSTEMS

In this paper the authors develop a dialectical logic of complex system notions within a mathematical linguistic theory of models. In the set of notions defined in a system, it is considered an order relationship and the Boole Algebra of the notions. This study obtains a tool, which is the metatheoretical base of such theory. The study of the complex systems as well as their modelling allows us to accomplish their analysis in the context of mathematical linguistics (Villacampa and Usó-Domènech 1999). The mathematics modelling determine texts - models and their study from a text theory (Villacampa et al. 1999). These theories imply the existence of a problem that must be studied in terms of classic logic: extension/ comprehension. These opposite categories form an entity within the same text/model and they are studied by the dialectical logic. The bases of the Dialectical Logic are necessary in the study of the Systems, since the dialectics formulate how the phenomena of the reality of the system should be studied as a means to examine any object, or system, which allows the perception of the Essence, or real nature. It will be necessary to consider the development and the changes of the system, and the system must be defined without antagonism between the dialectical and formal logic.     

ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft

Abstract

Many-valued logic system always plays a crucial role in artificial intelligence. Many researchers have paid considerable attention to lattice-valued logic with truth values in a lattice. In this paper, based on lattice implication algebras introduced by Xu (Journal of Southwest Jiaolong University (in Chinese), Sum. No. 89(1), 20-27, 1993, and L-valued propositional logic _vft, established by Xu et al. (Information Sciences, 114, 20S-235, 1999a), the semantics of a L-type lattice-valued first-order logic L_vft, with truth values in lattice implication algebras were investigated. Some basic concepts about semantics of L_vftsuch as the language and the interpretation etc. were given and some semantic properties also were discussed. Finally, a concept of g-Skolem standard form was introduced, and it was shown that the unsatisfiability of a given lattice-valued formula was equivalent to that of its g-Skolem standard form. It will become a foundation to investigate the resolution principle based on first-order logic L_vft     

一种基于多值逻辑的开放式逻辑软件设计方法

在工业控制系统中，将对逻辑测控过程的表述抽象成象值逻辑是一种准确而又便利的方法，同时，测控过程的多样性又使传统的利用程序设计语言中逻辑语句的软件设计方法很难适应对开放性的要求，本文提出一种适合多值逻辑处理的数据结构和代数系统，并以此为基础，构造逻辑描述式，实现组合多值逻辑和时序多值逻辑的开放式设计。     

自然语言处理中的逻辑词

词是自然语言处理中最基本的单位,在当今知识表示领域,知识图作为自然语言理解的语义模型有其独到之处。本文从语言学和逻辑学的角度,首次提出并探讨了逻辑词研究逻辑词分类及如何用知识图表示各类逻辑词的结构。对自然语言处理中研究复句和篇章的理解提供了一种新的途径。     

嵌入模糊逻辑的上下文存储与查询机制

上下文存储和查询是上下文感知计算的基础.而上下文的不确定性是上下文处理中不可回避的问题.为此,提出了一种嵌入模糊逻辑的上下文感知系统架构(FLECA).FLECA 将基本上下文信息转换成高层上下文语义,通过内嵌模糊逻辑引擎,实现对模糊上下文信息的全模糊存储和查询;同时基于神经网络,实现查询推理机制的学习和完善.实验表明引入学习机制能够有效提高FLECA 的适应性,从而为以用户为中心的应用提供有力的支撑.     

逻辑程序的自动模式推导

本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法,并就其中的别名处理问题和定点计算问题进行了详细的讨论提出了一种正确,有铲的别名自理方法以及基于”护展表“的定点求解算法。该方案已用Ｐｒｏｌｏｇ语言实现。     

函数／逻辑语言归约实现技术

ＲＦＵＮＬＯＧ是我们在ＬＮＦ演算基础上自行设计实现的一种函数／逻辑语言，它具有统一的操作语义。本文介绍ＲＦＵＮＬＯＧ语言的总体结构、归约操作语义及其解释实现技术。     

基于结构的多级逻辑优化

本文分析多级组合逻辑结构中各数据信号取值状态及其与之相关的信号取值状态,构造数据信号取值状态与或图。利用与或图修剪技术寻求相应逻辑结构中冗余逻辑连线。消除多级逻辑结构中冗余的逻辑连线、冗余逻辑门并进行相应的等价逻辑结构变换,实现多级逻辑优化。该优化过程直接在多级逻辑结构上进行并保持了原逻辑结构的总体结构特征,运行时空复杂性对基本输入/输出数目依赖很少,能适应大规模数字逻辑结构优化。