A a A
A a A
复制标题
一个一个
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
A. Tsumaya
中科院分区：
文献类型：
--
作者：
H. Takeda;A. Tsumaya
A P P P Pr r r re e elili lim m mi i i in n n na a arry y y F F F Fo o o o o or r r rm m m ma a a ali li li liz z z za a a a at t 1111.. ..本文研究了综合过程应如何进行，并提出了综合过程逻辑形式化的初步结果。由于我们经常把分析和综合放在一起，我们倾向于假设综合过程与分析过程具有某种相似的性质。但这并不是一个好的假设，因为综合和分析的目的是不同的。他们的目的不同，因此他们的知识应该有不同的特点。分析的目的是弄清对象的特征。澄清对象就是以同样的方式解释不同的对象。为了尽可能多地应用不同的对象，特征应该是普遍的和最小的。这意味着对分析知识的要求也是普遍的和最小的。另一方面，合成的目的是创造具有必要特征的对象。在这种情况下，特性不需要作为普遍和最低限度的特性，而是不应该这样。为了捕捉人类对物体的渴望，特征应该尽可能丰富。因此，综合对知识的要求不是普遍的、最低限度的，而是个别的、多样的。最后一句话表明，传统逻辑方法的态度是不合适的，因为它试图用最小公理和普遍公理来捕捉我们的世界。我们不打算否定逻辑方法，但我们强调，我们需要新的方法来满足上述要求。我们已经提出了如何在逻辑框架中捕获综合[1]。它仍然基于逻辑理论，但我们在逻辑框架中引入了多个理论。我们形式化的核心是，综合不是应用逻辑理论，而是扩展和组合逻辑理论，以充分代表人类创造新工件的愿望。在本文中，我们扩展我们的形式化…
A P P P Pr r r re e e eli li li lim m m mi i i in n n na a a ar r r ry y y y F F F Fo o o or r r rm m m ma a a ali li li liz z z za a a at t t 1 1 1 1.. .. I I I In n n nt t t tr r r ro o o od d d du u u uc c c ct t t ti i i io o o on n n n In this paper, we investigate how synthesis process should be and propose a preliminary result of logical formalization of synthesis process. Since we often mention analysis and synthesis together, we tend to assume that synthesis process have somewhat similar nature that analysis process has. But it is not good assumption because aims of synthesis and analysis are quite different. They are different in their aims so that knowledge for them should have different characteristics. The aim of analysis is to clarify characteristics of objects. Clarifying objects is to explain different objects in the same manner. In order to apply different objects as much as possible, characteristics should be universal and minimum It implies that requirement for knowledge for analysis is also universal and minimum. On the other hand, the aim of synthesis is to create objects having necessary characteristics. In this case, characteristics is not required as universal and minimum characteristics, rather it should not be. In order to capture human desire for objects, characteristics should be as rich as possible. Then requirement for knowledge for synthesis is not universal and minimum rather individual and various. The last statement indicates that attitude of the traditional logical approach is not appropriate because it tries to capture our world with minimum and universal axioms. We are not going to deny logical approach, but we emphasize that we need new ways to satisfy the above requirements. We have already propose how synthesis can be captured in a logical framework[1]. It is still based on logical theory, but we introduce multiple theories in a logical framework. The heart of our formalization is that synthesis is not applying logical theories but to extend and compose logical theories enough to represent human desire to create new artifacts. In this paper, we extend our formalization to …