We have implemented a series of algorithm , which includes rule adornment , logic program adornment and factorization , magic transformation , factorizing magic transformation . the platform is characteristic of transplant , expansion 处理器中实现了本文中用到的一系列算法，其中包括：规则修饰、逻辑程序的修饰、魔集转换、逻辑程序的分解、分解的魔集转换。
However , in search of the relevant data , the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of idb ( intensional database ) predicates increasing 但是随着递归idb ( intensionaldatabase )谓词的项的个数增大，经魔集转换的逻辑程序为寻找与查询相关数据而产生附加元组的开销也会增大。
" to analyze and synthesize the information , to work out systematical , theoretical , concretionary action plan " is the process of decision - making , which surely requires that people have the knowledge of logic and obey certain logic procedure “将信息进行分析综合，制定系统化、理论化和具体化的行动方案并实施”这就是决策的过程，这一过程必然要运用逻辑知识，遵守一定的逻辑程序。
The 10th australian joint conference on artificial intelligence , perth , australia , 1997 , pp . 38 - 43 . 7 he m , leung h f , jennings n r . a fuzzy logic based bidding strategy in continuous double auctions . ieee transactions on knowledge and data engineering , 2003 , 15 : 1345 - 1363 为了祛除关于信息的不现实的假定，对不确定信息进行描述和推理，在本文中，以概率论为描述不确定信息的理论基础，提出了一种新的面向agent的概率逻辑程序语言，它把概率程序和实时程序结合起来。
16 parsons s , giorigini p . an approach to using degrees of belief in bdi agents . information , uncertainty and fusion , kluwer academic publisher , 2000 , pp . 81 - 92 . 17 parsons s , sierra c , jennings n r . agents that reason and negotiate by arguing 本文的工作，一方面把我们以前的概率逻辑程序语言扩展到了面向agent的情况进一步的，这种逻辑语言也扩展了hindriks等人的工作，即把面向agent的逻辑程序语言扩展到了面向不确定agent的情况，实现了对于不确定信息的动态的描述和推理。
Therefore it comes true the on - line adjusting , real - time control and so on . it sames as real locale . the software of logic protect ( include electric logic ) and control includes some usual algebraic and operation model of thermal control and logic operation of logic protect . it adopts foxboro ' s dcs as a example , so we configuration via filling table , user only define i / o condition , fill certain operation variable , and name logic variable . the software offers a friendly user ' s interface , personnel can compile and modify the control and logic program , change the value of logic and control variable conveniently , attach themselves to run , debug and control the set , not need to know about the inside of the old programs deeply . so the configuration software offer a flat that control engineer can attend to the structure of control loop and logic protect ( include electric logic ) , not but to handle complicated program 它以foxboro的dcs控制系统为主要参考模式，采用填表的方式进行控制组态，用户只需定义i / o条件、填写具体的运算变量名、逻辑变量名即可。本软件为建模人员提供了一个友好的用户界面，使建模人员在建模时不必对模块内部的控制、逻辑程序有很深的了解就可以方便的对其进行编写和修改，实时改变各逻辑和控制变量在数据库里的值，参与运行和调试，从而实现对机组的控制。因此，本组态软件提供的这样一个平台，让控制工程师能集中精力于控制回路及逻辑保护（包含电气逻辑）的构成，而不必拘泥于一些具体而烦琐的程序操作。
After the first section , which is the introduction , i discuss the categories and types of product differentiation in the second section . in this section i termed the product differentiation as the fact that the similar products from different competing enterprises are not substitutable completely due to the differences in the physical attributes , the service , the information provision and consumer preference etc . the third section is mainly about the emergence mechanism of product differentiation . in this section i analyze , in the angle of demand , how the sales effort of the enterprises can lead to product differentiation 本文的分析遵循提出问题分析问题认识问题解决问题这一逻辑程序而展开,文章首先分析和界定了产品差别的范畴与形式,接着从产品差别的决定机制入手,着重从理论上分析产品差别的产业效应,分别从销售努力和研究开发强度两条路径较全面的清理了它们之间的关联机制,在此基础运用中国市场化改革以来的制造业各行业的数据对产品差别与产业赢利能力之间的关系进行实证
I regard qsim as a kind of constraint satisfaction problem ( csp ) , and improve the qualitative simulation algorithm by constraint logic programming ( clp ) . fuzzy qualitative simulation develops conventional qsim on several facets , such as representation of qualitative value , state transition rule and filtering algorithms . it bridges the gap between pure qualitative and quantitative , and improve the efficien 前者是将定性仿真算法看作一类约束满足问题，用约束逻辑程序加以改进，不仅为解决定性仿真问题提供了逻辑框架，而且也是一种规范化的程序描述语言；模糊定性仿真算法则是对纯定性仿真算法在知识描述、状态转移规则、过滤算法等方面的改进，是一类半定量描述方法，有利于在定性仿真领域综合定量信息，同时提高算法的效率。
The central work of this paper is as follow : ( 1 ) a new factorizing optimization algorithm which reduce the arity of idb predicates by factorizing the logic program is presented magic transformation is applied to subprogram . moreover the decomposed subprogram can be implemented in parallel . therefore , it improves the efficiency of magic transformation 本文的主要工作如下： ( 1 )提出一种新的分解优化算法，它通过对逻辑程序进行分解，减少idb谓词项的个数，再对分解后的各个子程序进行魔集转换，而且分解后的各个魔程序可并行执行，从而提高魔集转换的执行效率。
The dcs of i / a series is regarded as main reference object , and the control is separated from model . and the configuration of control is operatised at administration system , not to be added into model , not to build control sound code also . therefore it realizes on - line adjusting , real - time control and so on . users configurate by filling table . they only define i / o condition , fill certain operation variable , and name logic variable . the software offers a friendly user ' s interface , so personnel can compile and modify the control and logic program , change the value of logic and control variable conveniently , attach themselves to run , debug and control the system , not need to know the programs deeply . so the configuration software offer a flat that control engineers can attend to control loop , not to give their attention to the complicated program 在本课题中，采用填表的方式进行控制组态，用户只需定义i / o条件、填写具体的运算变量名即可。本软件为建模人员提供了一个友好的用户界面，使建模人员在建模时不必对模块内部的控制、逻辑程序有很深的了解就可以方便的对其进行编写和修改，实时改变各逻辑和控制变量在数据库里的值，参与运行和调试，从而实现对系统的控制。因此，本组态软件提供的这样一个平台，让控制工程师能集中精力于控制回路的构成，而不必拘泥于一些具体而烦琐的程序操作。
