literals 计算机术语,literals

相关文献

Introduction In order to study the lattice-valued logic system,Xu[1]proposed the concept of lattice implication alge-bra by combining the lattice with the implication alge-bra and discussed its properties systematically. InRefs.[2,3], a lattice-valued propositional logic sys-tem was established using the concepts of free alge-bra, which corresponds to the lattice implication alge-bra, and the semantic and syntactical...

(本文共4页)

阅读全文>>

1引言基于归结原理[1]的自动推理是人工智能的一个重要研究方向,随着非经典逻辑在计算机科学和人工智能领域越来越广泛的应用,非经典逻辑系统上的归结自动推理也得到了相应研究[2]。2000年—2001年徐扬等[3-4]提出基于格值逻辑系统的α-归结原理,并给出了其可靠性和完备性。自α-归结原理提出以来,基于α-归结原理的α-归结自动推理出现了一些研究成果。2002年,王伟[5]研究了格值命题逻辑系统LP(X)中0-IESF,1-IESF的α-归结域。2002年,李文江[6]在格值模态命题逻辑系统LMP(X)中提出了基于LMP(X)的α-归结原理,给出了计算α-直接归结式、α-自归结式的规则和归结方法,基于格值命题逻辑系统LP(X)提出了以时轴为语境的格值时态命题逻辑系统LTP(X),提出了与时间有关的(αt)-归结原理,给出了计算时态归结式的规则和时态归结方法。2003年,孟丹等[7]给出了用符号矩阵表示格值命题逻辑系统LP(X)...

(本文共4页)

阅读全文>>

阅读古典文献,可以更好地继承和弘扬中国传统文化。但在阅读古典文献时,往往会遇到这样或那样的困难。这其中一个重要方面就是语法问题。因此,要想读懂古典文献,就有必要掌握相关的古代汉语语法知识。准确掌握古代汉语语法知识,有利于正确标点古典文献,有利于避免文献理解上的错误,有利于体会古典文献的表达效果。一、掌握古代汉语语法知识有利于正确标点古典文献多数情况下,古典文献是没有标点的,这就需要对其进行标点,但加标点“是一件不很简单的工作”[1]。要正确标点古典文献,就必须具备古代汉语、中国古代文化等方面的知识。而在古代汉语诸方面知识中,语法知识又是标点文献不可或缺的因素。不明语法是标点致误的四大原因之一[2]。(一)掌握句子成分关系有利于正确标点古典文献汉语缺乏形态,其语法关系更多的是靠语序来实现的。因此,在阅读古典文献时必须搞清句子成分之间的关系,否则就会出现错误。如张守节《史记正义》:“幽州,蓟地西北隅,有蓟秋。”该例中标点有误。因为“...

(本文共3页)

阅读全文>>