belief logic 中文意思是什麼
belief logic
解釋
相信邏輯-
Epistemic logic : a logical framework for knowledge and belief
全知性和真知性 -
In this paper, the belief logic system gny and it ' s related implementation tool spearii are utilized, ssl protocol is a focused instance, then the detailed analysis procedure from initial protocol model to various evolution protocol models is given, later the final evolution protocol model and ssl protocol are contrasted and thus the security analysis conclusion is drawn for ssl. during the analysis procedure two practical security authentication solutions are designed based on evolution protocol models
本文採用著名的信念邏輯gny邏輯系統及其相關的形式化工具spear ，以ssl協議為分析實例，詳細闡述了從初始協議模型到各個進化協議模型的分析過程，並將最終的進化模型與ssl協議作比較，給出ssl協議的安全分析，同時在分析過程中以協議模型為基礎設計了兩個實用的安全認證方案。 -
In the second chapter, the philosophical foundation of codification movement of roman law system is analyzed and pointed out, that in the modern age european continental countries, the jurists believing rationalism of rene descartes hold that there is a certain permanent guideline system, and from this system and pure logic calculation, a broadly inclusive and perfect legal system could be deduced. it is right this belief which pushed codification movement
分析法學家所追求的將法律和道德徹底分開，企圖實現法的非倫理化的作法和自然法學家所信奉的將法律和道德完全等同起來，追求法律道德化的做法，都不免失之於偏頗，也在一定程度上損害了這兩種學說各自理論中有價值的部分。 -
The formula used by dr. unwin extends beyond mere algebraic calculations in saying that belief in god results from a combination of logic and a more abstract form of trust
昂溫博士使用的公式擴展到超越代數的計算，它認為相信上帝是由理性的邏輯論證與更抽象形式的信賴結合所致。 -
This dissertation is composed of follows : a ) introducing new logic operator into the traditional agent bdi model, including bel, asm, des, goal and int, in order to describe the dynamic restrictions and interactive triggering relations between belief, desire and intention of agent. a new intentional model was built in complementation of the kd45 regular modal logic axiom, which is the base of agent self - control interaction with the outer environment
在傳統的理性agent的bdi形式化邏輯模型中作者引入新的邏輯運算元bel 、 asm 、 des 、 goal和int等，表達了信念、願望和意圖三者間的動態約束與相互激發關系，補充了正規模態邏輯的kd45公理，建立agent從信念到動作選擇的的意圖模型，為研究agent與環境交互的自主行為模式提供了理性化模型。 -
Self - belief logic systems for depicting rnowledge and belief
關于知識和信念的邏輯框架 -
The probabilistic approaches include the belief network, the dynamic causality diagram, the markov network, the approach used in prospector, etc. the non - probabilistic approaches include the certainty factor theory in mycin, fuzzy set logic, dempster - shafer theory, etc. the non - probabilistic approaches have reached some achievement in their respective application domain, and shown their shortage while applying
另一類是非概率的方法，包括mycin的可信度因子（ certaintyfactor ） 、模糊邏輯（ fuzzylogic ）以及dempster - shafer的證據理論等。非概率的方法雖然在各自的應用領域都取得了一定成果，但在運用過程中人們越來越意識到這類方法的不足。 -
This paper proposes a new method of modeling opponents in challenging environment, based on the model of bdi ( belief, desire, intention ) and combined with transposition principle and also probabilistic belief logic
本論文以agent的bdi模型為思維模型，在概率信念邏輯基礎上，引入換位原理，給出了一種多智能體對手建模的新思路並將之應用到機器人足球比賽中。 -
This dissertation discusses and studies to surround the knowledge representation, learning, reasoning, and the main contents include : at the first chapter, some familiar uncertain knowledge representation and reasoning and the difficulties of them : evidential theory, certainty factor, fuzzy logic and fuzzy reasoning, subjective bayesian method, belief network are introduced. we present the basic knowledge, primary reasoning algorithm, complexity of reasoning algorithm, the way of dealing with some problem of causality diagram relative and the research direction in causality diagram theory particular at the second chapter
論文圍繞著因果圖的知識表達、學習、推理進行了討論和研究，主要內容包括:在扼要介紹了一些比較常見的不確定性知識的表示和推理方法:證據理論、確定性因子、模糊邏輯與模糊推理、主觀bayes方法、信度網的基本知識之後，比較詳細地闡述了因果圖的知識表達，主要的推理演算法、計算復雜度以及對一些問題的處理方式方法。
分享友人