λ-归结,λ-resolution英语短句,例句大全

λ-归结,λ-resolution
1)λ-resolutionλ-归结
1.This paper defines an operator proposition logic only with proposition atom and proposition operator,then discuss its consistency,completeness of λ-resolution and many logic properties.定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。
2.We have defined λ-resolution in this system and have proved its consistence and completeness of λ-resolution.在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法。
3.This paper first defines a fuzzy logic only with fuzzy literals and fuzzy operator, then discuss its consistency, completeness of λ-resolution and its many logic properties.定义一种只带模糊文字以及模糊算子的模糊逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。
2)λ-resolution and lock resolution strategiesλ-归结和锁归结策略
3)Λ binding energyΛ结合能
4)λ-geometryλ几何结构
5)λ Syntactic Conclusionλ-语构结论
6)resolution[英][,rez?'lu:?n][美]['r?z?'lu??n]归结
1.Neural Network Resolution on Clause Set;子句集的神经网络归结(英文)

英文短句/例句

1.resolution within AND/OR graphs“与或”图中的归结
2.What does this accusation reduce itself to?这种责难归结为什么呢？
3.production system for resolution refutation归结反演的产生式系统
4.The peoples can only recursive to cognition that the things of non-recursive structure or non-recursive nature.对于非递归结构或非递归性质的事物,人只能做递归性的认知。
5.The whole question boils down to whether you want to go or not.整个问题可归结为你到底愿不愿去。
6.What it all comes down to is that there isn't much in his story.归结下来，他的叙述没有什么内容。
7.I suppose it all boils down to this.我看归结起来可以这样说。
8.We may summarize the situation then as follows.于是我们可将上述情况归结如下。
9.After all was said and done, the business was too shameful.话说到归结，这种伎俩总是太可耻了。
10.charged the accident to the driver's inexperience.将事故原因归结于驾驶员缺少经验.
11.the attribution to yourself of the characteristics of others.把别人的特征归结于自身。
12.It all boils down to a question of money.这件事归结起来都是钱的问题。
13.The tax increases will, in the aggregate, cause much hardship.增加税收归结起来将造成很多困难.
14.The tax increase will, in the aggregate, cause much hardship增加税收归结起来将造成很多困难
15.1. Laying the blame on the accountant or attorney.1．将责任归结于会计师和律师。
16.And in the end, it always came down to a question of government.说到底，这总是归结为政府问题。
17.Basically it comes to this: how much will it cost?基本归结起来无非是：这事要花费多少？
18.When it comes down, he has broken three rules归结起来，他违犯了3条规定。

延伸阅读

非归结定理证明　　不用归结原理而用自然演绎技术与探试策略等相结合的一种机器定理证明技术。　　　　为了提高归结证明过程的效率，曾提出各种改进方案。另一条途径是在定理的机器证明中不用归结原理而用历史上早已形成的自然推理或称自然演绎技术，但在其中引入问题所需的特定探试策略。这就是1977年W.W.布莱塞提出的所谓非归结定理证明的基本思想。作为这种思想的具体体现，曾研制出一个运用探试策略的新的自然演绎系统IMPLY。R.S.鲍耶和 J.S.莫尔的数学归纳法机械定理证明系统也是成功地运用探试策略的一个重要例子。　　　　自然演绎系统由一组公理和一套推理规则组成，每条推理规则将若干恒真式映射为一个恒真式。如果存在一个恒真式系列，使得序列中每一恒真式或者是一公理，或者是一定理（即可从序列中位于其前的恒真式根据推理规则导出），则序列中最后一项恒真式称为在该推理系统中可导出（或可证明）。一阶逻辑的推理系统是完备的，也就是每一恒真式都可从该系统中导出。如果推理系统的公理和推理规则比较丰富，使得每一恒真式的导出过程都很自然，符合人的思维习惯，这样的推理系统称为自然推理系统或自然演绎系统。根据数理逻辑中著名的哥德尔定理，对于二阶逻辑不存在完备的演绎系统。采用不同的公理、推理规则，便可得到不同的自然演绎系统。著名的根岑系统便是20世纪30年代提出的典型的自然演绎系统。自然演绎系统的显著特点是在证题全过程中，始终维持前提和结论的明确界限。例如在下例的推理图式中，横线以上的H1、H2、H3是前提。　　横线以下的C1，C2则是有待证明的结论。由H1，H2可推出C1（根据充分条件的假言推理原则），又根据H3和已推出的C1可推出C2。同样的例子如运用归结原理，其子句集可表示为　　　　　　　　　　　　　1　　P　　　　　　　　　　　　　2　塡P∨Q　　　　　　　　　　　　　3　塡R∨-Q∨S　　　　　　　　　　　　　4　塡Q∨S　　　　　　　　　　　　　5　塡Q∨塡S　　此时由于采用反证法，将结论的否定式并入子句集，不区分前提与结论，有关的推理信息便已丧失。自然演绎的优点是推理过程自然易懂，有利于发挥人机交互作用，便于引用探试策略。缺点是要用许多条复杂的推理规则。而运用归结原理，虽然推理过程不易控制，但只需要一条推理规则。因此，自然演绎与归结原理的优缺点是相比较而存在的，具有相对的意义，不能绝对化。　　　　参考书目　　　W.W.Bledsoe，Non-resolution　theorem　Proving，Artificial Intelligence, North-Holl and Publ.Co., Amsterdam,1977.　　　Zohor Manna,Mathematical Theory of computation, McGraw-Hill,New York,1974.　　　R.S.Boyer and J.S.Moore, A Computational Logic, Academic Press,New York,1979.　　