模態邏輯學 的英文怎麼說
中文拼音 [mótàiluóxué]
模態邏輯學
英文
modal logic- 模 : 模名詞1. (模子) mould; pattern; matrix 2. (姓氏) a surname
- 態 : 名詞1. (形狀; 狀態) form; condition; appearance 2. [物理學] (物質結構的狀態或階段) state 3. [語言學] (一種語法范疇) voice
- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 學 : Ⅰ動詞1 (學習) study; learn 2 (模仿) imitate; mimic Ⅱ名詞1 (學問) learning; knowledge 2 (學...
- 邏輯 : logic
-
Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分:關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊)中引進量詞和謂詞,建立格值模態一階邏輯系統lmf (廣並給出其語又解釋和語法結構,證明了系統的可靠性和協調性;另外,為了判斷公式的可滿足性,定義了格值模態一階公式的skolem標準型和體解釋;在此基礎上,對基於系統lmf ( )的a一歸結原理進行了初步探討The guizhou xishui power station ' s 135mw set are regareded as a example, the paper sets up a electric system ' s dynamic maths model, exploits a control configuration software basely on dcs power station simulator, and designs a software of simulator ' s logic protect ( include electric logic ) and control
以貴州習水電廠135mw機組模擬機的開發為實例,本文建立了以電氣系統為對象的動態數學模型,開發了一個基於dcs電站模擬機的控制組態軟體,並應用該組態軟體設計了對象機組的邏輯保護(包括電氣邏輯)及控制部分的模擬軟體。Generalized modal logic belongs to philosophy logic category. it is a very effective tool to describe the tendency of things, attitude of people and tense of course
廣義模態邏輯屬哲學邏輯范疇,對于刻畫事物的「勢態」 、人物的「情態」和過程的「時態」是一種十分有效的工具。In this paper, through the research of the mental model of agent and the analyses of a few kinds of " belief - desire - intention " ( bdi ) model of agent from the logical view, we explain the agent theoretically. on the base of analyzing the organ structure of agent, we put forward the kernel agent concept. the kernel concept abstracted from common properties of agent, contribute to construct agent and multi - agent system. we have also studied the kqml ( knowledge query and manipulation language ) and communication mechanism of agent, and bring forth the ontology researching will become the emphasis in construction of abstract knowledge exchanging between the agents. at last, we construct a multi - agent system, which exchange kqml message by a mobile agent, by the development tools of agelt and jkqml
當前,對agent和多agent系統的研究正在掀起熱潮,是當今計算機科學技術領域、信息工程領域和網路與通信領域十分活躍的前沿研究方向之一。本文通過對agent心智模型的研究,從邏輯學的角度分析並總結了幾種agent 「信念?願望?意圖」 ( bdi )模型,在理論上對agent進行了解釋。總結了現有邏輯模型存在的問題,提出去掉規則n形成的一種非正規模態邏輯的語義上的新的解釋,解決了「邏輯全知」問題和由此帶來的問題,避免了一般非正規模態邏輯系統語義解釋對agent的bdi描述的弱點。Aiming at the situation that many physics teachers are commonly spontaneous in raising students " dialectic logical thought, and many physics education staff are constrained from the one - sided understanding on quality education and self development, the dissertation, on the basis of elaborating the thought and its development as well as some concerned basic theories of dialectic logical thought, proposes some own understandings on the problems like the thought fuzziness and the general qualitative graphic analysis on thought
本論文針對當前大多數中學物理教師在培養學生辯證邏輯思維能力方面基本上處于自發狀態,以及廣大物理教育工作者對素質教育及自身發展存在片面理解的實際,在對思維及其發展和辯證邏輯思維有關基礎理論知識加以闡述基礎之上,就其中的一些問題(思維的模糊性和思維總體定性圖解)提出了自己的見解。But by absorbing the reasonable viewpoint of eliminating the fact / value dichotomy, going in line with the standard of rational acceptability extended by humans ' ecological practice and being based on the analysis of the complex relations of fact and value in life community, rather than by following the traditional deductive model of justification we can create a way of justification with nonlinear thinking and integrative arguments, and thus we can not only avoid " the naturalistic fallacy ", but also put forward a non - logical justification for ecological ethics
但通過吸納社會領域消解事實與價值絕對二分的合理主張,並根據人類生態實踐而擴展道德論證的可合理接受性標準,在分析生命共同體中事實與價值的復雜關系的基礎上,創設一種非線性思維的綜合論述的證明方式,而不是沿用傳統的演繹模型的證明方式,就既可以避免「自然主義謬誤」 ,又能夠對生態倫理學做出一種非邏輯形式的合理論證。In the constructing of the diagnosis module using the technology of the combination of the fuzzy logic and neural network, which based on the fuzzy adaptive learning control network, a simple kind of capable method for consummate the structure and performance of network is introduced, which includes the rules extraction based on the maximum weights matrix and the parameters amendment based on genetic algorithm by floating - point coding. during the monitoring of the parts condition, the output of the condition monitoring system shows the good working condition of the executing agency by fuzzily deducing from the control instruction send by the auv ' s controller and motion status, and so offers the proof to complete mission and return safely
在珍斷模塊建模中採用模糊邏輯與神經網路結合的技術,以模糊自適應學習控制網路為核心,提出了一種簡單可行的基於最大權值矩陣的規則提取及基於浮點數編碼的遺傳演算法的參數調整的,完善網路結構與性能的方法,並在狀態監測過程中,通過對由控制器輸入的水下機器人運動控制量以及運行狀態的模糊推理,得到執行部件(推進器或舵)的工作狀態優劣程度,為保證水下機器人完成任務,安全返回提供控制依據。By building up tumor growth aerodynamic model, when tumor growth aerodynamic laws is research to find : the process of tunor increasing squares with economic growth of gompertz growth parabola description ; we further study that gompertz growth parabola squares with population growth and regulation of logistic growth parabola description
摘要通過建立腫瘤增長動力學模型,研究腫瘤增長動態規律時發現:腫瘤增長的全過程與龔珀茲增長曲線描述的經濟增長過程完全相符;進一步給出了龔珀茲增長曲線與描述種群的增長與調節的邏輯斯蒂增長曲線完全相似。A dynamic model for dissolved inorganic nitrogen ( din ) and phosphate ( po4 - p ) cycles and budgets in jiaozhou bay was established according to the principles of d - n - p - z model. in the model, 6 state variables ( din, po4 - p, phytoplankton, zooplankton, organic detritus, and dissolved organic nutrients ) were included. logically this model was divided into three modules - nutrients input, nutrients cycle in seawater, and output of both dissolved substances ( e. g
本文根據n ? p ? z ? d模型的基本原理,建立了膠州灣氮、磷營養鹽循環收支動力學模型,主要包括營養鹽輸入,營養鹽生物、化學遷移和轉化內循環,溶解態和顆粒態物質水動力輸出3個邏輯模塊,涉及溶解無機氮( din ) 、磷酸鹽( po _ 4 - p ) 、浮游植物、浮遊動物、有機碎屑和溶解有機態營養鹽6個狀態變量。The dissertation explains the ideas and characters of generalized genetic algorithm. the evolution method that the directional evolution is combined with the directional transfer of local optimal status to reach the global optimization rapidly is explicated from three aspects : syllogism, mathematic deduction and biologic evolution
文中詳細介紹了廣義遺傳演算法的思想和特點,闡明了廣義遺傳演算法採用定向演化和局部最優狀態定向轉移相結合從而快速達到全局最優的尋優模式,從演繹邏輯、數學推理和生物進化三個方面證明了演算法的合理性。From the duple angles of dynamic and static view, supported by the theory on man - land relationship and the logic between capacity and its main body, and based on the scientific cognition on the growing course, this paper parsed the growing course of urban sustainable development capacity ( usdc ) into three - dimensional and coupling courses - main body course, dynamic course and system course, and constructed corresponding usdc models according to the industrialization fact of developed and developing countries, which provides bran - new theoretic supports for the correlative research on usdc
摘要基於系統(靜態)與過程(動態)的雙重視角,以人地關系理論和能力與主體關系邏輯為支撐,基於事物成長過程推進質量與水平的高低從根本上決定了事物及其能力成長的客觀、科學認知,對于城市可持續發展能力成長動因與過程進行了系統、全面、科學的理論解析,並結合發達國家與發展中國家實際構建了「自然過渡」和「雙峰逼近」型城市可持續發展能力成長過程理論模型,為城市可持續發展能力研究提供了全新的理論支撐。In order to predicate the remained life of particular machine under special working conditions, a mathematical model will be developed that can be used to describe the logical relations among fault events and emulate the dynamic development process of complicated faults
本文試圖建立能夠描述機械設備各種故障事件之間基本邏輯關系的數學模型,對機械設備復合故障的動態演變歷程進行時域建模和模擬,從復合故障的動態演變歷程角度解決單機具體工況下的剩餘壽命預測問題。The last philosophical home of modal logic
模態邏輯的哲學歸宿Therefore, the mathematical model for the generator sets also has two parts : one is a dynamic mathematical model used to simulate diesel engines, generators, accessories and a mathematical model for system dynamic state, that is described in the part of generator model analyzing ; the other is a logic and monitoring mathematical model used to simulate ship power station protection, alarm operation and monitoring, that is described in the part of program chart
因此,發電機組數學模型也分為兩大類:一類是動態數學模型,用來模擬柴油機、發電機、附屬設備和系統動態狀態的數學模型,此部分在發電機模型分析中描述;另一類是邏輯和控制的數學模型,用來模擬船舶電站保護、報警、操作和控制的數學模型,此部分在程序流圖中描述。分享友人