formal reasoning 中文意思是什麼

formal reasoning 解釋
形式推理
  • formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
  • reasoning : n. 推論，推理；論究，論斷；理論，論證；論法。adj. 能推理的；有關推理的。 the reasoning power 推理力。 a reasoning creature 理性動物，人類。
  1. Along the thread, the author analyzes new legal characters of economic law in legal substance legal reasoning legal profession and legal institution, which are distinguished from traditionalistic law such as civil law administrative law, etc. the author puts forward a thesis that economic law is weberian substantive rational law or p ? nonet and p ? selznick ' s responsive law but not formal rational law or autonomous law

    認為經濟法對法律形式主義的激烈反叛，即經濟法的實質化特點，表明了經濟法是一種馬克斯?韋伯所稱的實質理性法或者如諾內特和塞爾茲尼克所說的回應型法，而非傳統法律模式所體現的形式理性法或自治型法。
  2. Formal rules vs mental models in reasoning : a comparative study of the two theories

    演繹推理過程中兩種判斷標準的比較研究
  3. It would bring unestimated loss to china " s legal construction if we get stuck in the mud in which we can only choose one between formal or value reasoning and legal or objective facts

    大勢所趨，文明所逼，如果繼續陷在形式合理和價值合理或法律真實和客觀真實二者必具其一的泥淖中不能自拔，貽誤時機，必將給我國法制建設帶來難以估量的損失。
  4. 11 luo x, zhang c, jennings n r. a hybrid model for sharing information between fuzzy, uncertain and default reasoning models in multi - agent systems. international journal of uncertainty, fuzziness and knowledge - based systems, 2002, 10 : 401 - 450. 12 hindriks k v, de boer f s, der hoek w van, meyer j j c. formal semantics of an abstract agent programming language

    Agent行動選擇和目標更新不僅依賴于agent的不確定信念，而且依賴于agent在實施這些行動的時候的得失效應值在此，把點概率的效應理論擴展到了區間概率的情況，並借用模糊數學中區間數的方法，給出了比較區間最大期望效應的方法再次，關于實用推理的不確定性的繁殖，使用了基於預設決策理論的預設邏輯方法。
  5. According to the philosophical hermeneutics, while declaration of intention is understood and interpreted, its legal effect also is gained. so hermeneutics of declaration of intention, which concerns about no formal practical reasoning, embodies the essential character of the reasoning theory of civil law

    由於私法自治要求法律效果直接根據法律行為發生，而融理解、解釋與應用於一體的意思表示解釋過程同時亦為意思表示之法律效果顯現過程，故意思表示解釋理論足以取代司法三段論，成為私法推理理論模型。
  6. It is needed to transform sn to pn for reasoning with pn : sn is transformed to formal logic ( fl ) in the first step

    用petri網進行推理，需要把語義網路轉化成petri網，本文用形式邏輯做二者的紐帶。
  7. Distinguishing from formal reasoning, dialectical reasoning is a reasoning which can get definite knowledge in the discussion of problems ( topia ) by rebuttal, distinction and induction, when the legal or factual premise is absent, or the premise is controversial. in short, dialectical reasoning is an instrument to seek propositions and conclusions from possibility. in dialectical reasoning, judges often use their own judgments to find a legal or factual precondition

    傳統的形式主義推理觀的機械性和局限性受到越來越多的批判，而現代法律推理學說更加關注非演繹的辯證推理在法律推理過程中的重要作用，哲學詮釋學的興起和實踐理性的復歸，也使辯證推理在各國的法律實踐中普遍運用起來，然而其明顯的價值判斷傾向使推理過程看起來過于主觀。
  8. Dialectical reasoning appears to loss objectivity with the involvement of judges ’ values and this will undoubtedly shaken the foundation of the rule of law. to regain the objectivity of legal reasoning, the article firstly demonstrates the concept and characters of dialectical reasoning in the comparison with formal reasoning, and proves its advantage over formal reasoning. secondly, the writer gives a positive account of dialectical reasoning. the analysis of the nature of reasoning leads to some arguments against the objectivity of dialectical reasoning

    因此本文首先將辯證推理與形式推理進行比較，明確辯證推理的概念以及辯證推理觀相對于形式推理觀的優勢，然後通過對各國的法律適用實踐的考察分析辯證推理的思維過程，並以此為基礎檢討辯證推理的客觀性，從三個角度構建辯證推理客觀性的理論基礎，最後提出了在我國法律適用實踐中保障辯證推理客觀性的三條進路，從而使文章具有實踐意義。
  9. Firstly, a formal model of tpm is built using first - order logic language. then logic reasoning is made on the formal model

    首先，在論文中用一階邏輯語言建立可信平臺模塊api的形式化模型，然後對建立的形式化模型進行邏輯推理分析。
  10. Formal reasoning system based on fuzzy propositional modal logic

    基於模糊命題模態邏輯的形式推理系統
  11. Legal reasoning presents mainly the features as followings : first, the thinking function of legal reasoning is argument reasoning. second, the thinking mode of legal reasoning on the whole belongs to " deductive demonstration mode ". third, the logic structure of legal reasoning is a combination of formal logic reasoning and argument reasoning

    作為法律實踐的論證方法，法律推理主要有以下特點：第一，法律推理的思維功能是論辯推理；第二，法律推理的總體思維模式屬于「演繹論證模式」 ；第三，法律推理的邏輯結構是形式邏輯推理與論辯推理的綜合運用；第四，法律推理的推理功能表現為一種實踐推理。
  12. Then logic reasoning is made on the formal description. through reasoning and analysis, some secure vulnerabilities are found in the cryptographic protocols of tpm, and repair methods are also proposed

    在推理分析中，也發現了可信平臺模塊密碼學協議的一些安全漏洞，並在分析的基礎上修復了這些安全漏洞。
  13. In 1996, professor wang guojun built formal deductive system l * of fuzzy prepositional calculus, then in the frame of system l *, constructed the logical base for fuzfcy reasoning rules from sematics

    王國俊教授於1996年建立了模糊命題演算的形式系統l ~ * ，之後在系統l ~ *的框架中，從語義上為模糊推理規則構建了邏輯基礎。
  14. We take a step - wise refinement approach to the development of correct reconfigurable hardware circuits from formal specifications. a functional programming notation is used for specifying algorithms and for reasoning about them

    建議的開發模型用功能記號來描述演算法以及對于演算法的推理，用程序編譯方案從功能描述導出大量的并行演算法。
分享友人
分享到 Line

分享到臉書