逻辑

Agent ; KARO logic framework ; commitments ; dynamic logic

主体； KARO逻辑框架；承诺；动态逻辑

LAPP is a data modeling and different from traditional computational methods. This computational approach identifies logic relationships of the elements in complex networks through the logic analysis of their expression data.

LAPP和通常建立模型的方法不同，它给出了一个从复杂网络的元素的表达数据出发，通过逻辑分析，找到元素之间逻辑关联性的建模方法。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The logic of the basic laws of logic is often used to describe: to ensure that all thinking the same certainty to ensure that no contradictions in law thinking of the contradictions of law, to ensure clarity of thinking of the three rules of law of excluded middle.

逻辑基本的逻辑规律通常是指：保证思维确定性的同一律，保证思维无矛盾律性的矛盾律，保证思维明确性的排中律三大规律。

Fuzzy logic articulate boundaries are not clear qualitative knowledge and experience, which by means of the membership function concept to distinguish between fuzzy sets, deal with fuzzy relations, modeling the human brain implementing rule-based reasoning, address the "law of excluded middle" of the logic of breaking production of various non-...

模糊逻辑善于表达界限不清晰的定性知识与经验，它借助于隶属度函数概念，区分模糊集合，处理模糊关系，模拟人脑实施规则型推理，解决因"排中律"的逻辑破缺产生的种种不。。。

Fuzzy logic articulate boundaries are not clear qualitative knowledge and experience, which by means of the membership function concept to distinguish between fuzzy sets to deal with fuzzy relations, simulated human brain implementation of the rule-based reasoning, address the "law of excluded middle," the logic of breaking produced by various non-...

模糊逻辑善于表达界限不清晰的定性知识与经验，它借助于隶属度函数概念，区分模糊集合，处理模糊关系，模拟人脑实施规则型推理，解决因"排中律"的逻辑破缺产生的种种不。。。

To the at present prevailing invalid view in three value logic of three law about the thinking law, this text set out from dialectics about the dialectical relation principle of the universality and particularity , think the law of identity , law of contradiction , law of excluded middle are for guaranteeing the universal law of people's correct thinking has general guidance functions to human thinking , will not lose efficiency in this concrete scientific field of thinking of three value logic

针对时下流行的关于思维规律前三律在三值逻辑中失效的观点，本文从辩证法关于普遍性与特殊性的辩证关系原理出发，认为同一律、矛盾律、排中律是为了保证人们正确思维的普遍规律对人类思维具有普遍指导作用，不会在三值逻辑这一具体的思维科学领域内失效

The generally acknowledged truth of traditional logic isn′t the generally acknowledged truth of the traditional logic syllogism ;It isn′t get the law of identity,the law of contradiction,the law of excluded middle and the law of sufficient reason;It isn′t still the two complete formula of Celarent in Aristotle′s system.

传统逻辑的公理不是传统逻辑的三段论的公理，也不是同一律、矛盾律、排中律和充足理由律，还不是亚里士多德系统中第一格的两个全称式。

In studying English, the following basic logic laws should be mastered: Syllogism, Deductive Reasoning, Law of Identity, Law of Contradiction, Law of Excluded Middle, Law of Sufficient Reason. One should avoid making the following logic errors: four terms, the undistributed middle term, looking on one-sidedne...

在英语学习中，要掌握最基本的逻辑规律：三段论；演绎推理；归纳推理；同一律；矛盾律；排中律和充分理由律，就能避免犯以下逻辑错误：四名词；中项不周延；以偏概全；偷换概念；自相矛盾；两不可；虚假理由。

The principle and technological process of how to change the contactor control on mixed feed production line into programmable logic control system are introduced in this article. The effects and advantages of PLC system on feed processing are also discussed; at the same time the problems that should be paid attention to on actual practice are mentioned too.

介绍了将配合饲料生产线的有触点控制改造成PLC可编程逻辑控制系统的原理、工艺流程；阐述了PLC可编程逻辑控制系统在饲料生产中的作用与优势，并说明了在实际应用中应注意的问题；分析了影响其产品质量的因素；确定了其初始参数。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。