modal logic 中文意思是什麼

modal logic 解釋
模態邏輯學
  • modal : adj 1 方式上的，形態上的；【哲學】（對本質、內容說的）形式（上）的。2 【語法】語氣 （mood） 的;表...
  • logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
  1. Anti essentialism in modal logic

    模態邏輯中的反本質主義
  2. 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一歸結原理進行了初步探討
  3. The second phase is the analysis to the inner structure of web table. this thesis discusses deeply at this phase. the key point to recognize the table structure is to extract a abstract logistic table from variants of table structures. this thesis presents a table analysis modal, according to which, the physical table, the abstract logic table and

    識別表格結構的關鍵在於從不同類型的表格中提取出一種抽象的邏輯表格模型。本文提出了一種表格分析的層次模型，在該模型指導下，逐步生成物理內存表格、抽象邏輯表格以及功能性表格。
  4. Bisimulation equivalence is considered as one of the fundamental notions of behavioural equivalence, and one of the important properties of bisimulation is its modal logic characterization

    互模擬是進程代數中刻畫行為等價的核心概念，而模態邏輯特徵是它的一個重要性質。
  5. For describing the similarity of two processes, - bisimulation is introduced, its properties are associated with a metric and the modal logic characterization of - bisimulation when is an ultra - metric is given

    為了描述進程間的近似等價，最近文獻中提出了-互模擬的概念，並將其性質與度量聯系在一起，給出了為超度量時-互模擬的模態邏輯特徵。
  6. 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

    廣義模態邏輯屬哲學邏輯范疇，對于刻畫事物的「勢態」 、人物的「情態」和過程的「時態」是一種十分有效的工具。
  7. The syntax rules and semantic constrains are described in detail ; the semantic of this logic are given in terms of a general model of multi - agent system, closely related to the interpreted systems of modal logic

    文中詳細描述了語法規定和語義約束，該邏輯的語義是以一般的多agent系統模型給出的，並且與模態邏輯的解釋系統密切相關。
  8. Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method

    本文在格值命題邏輯系統lp （ x ）和格值一階邏輯系統lf （ x ）的基礎上，討論了廣義格值模態邏輯系統的語義及語法性質，並對其-歸結原理做了初步探討，主要在下述三個方面取得了研究成果：第一部分：關于格值模態命題邏輯系統及其歸結方法的研究在此部分，把模態運算元n （必然）和p （可能）引入格值命題邏輯系統lp （ x ） ，建立了新的格值模態命題邏輯系統lmp （ x ） ，並研究了它的語義刻畫及語法結構，證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的；在此基礎上，進一步研究了基於格值模態命題邏輯系統lmp （ x ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
  9. The primary contributions of this thesis include : having studied the rough set theory carefully, the thesis finds the relationship between rough set and such abstract theories as modal logic, fuzzy set, algebra system and interval - set algebra, i. e., rough set provides a well defined semantical interpretation to these abstract theories, which enables us to better understand them. secondly, rough set builds an inter - relationship among these dependent theories and connects them together

    完成的工作和取得的創新性成果在於：經過對粗糙集理論的深入研究，作者找到了粗糙集與模態邏輯、模糊集、代數系統和區間集代數等抽象理論之間的關系，一是粗糙集可以為抽象理論提供語義解釋，從而使我們能更好地理解掌握這些抽象理論；二是粗糙集建立了各個獨立的抽象理論之間的內在關系，使彼此獨立的抽象理論聯系在了一起。
  10. 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與環境交互的自主行為模式提供了理性化模型。
  11. Formal reasoning system based on fuzzy propositional modal logic

    基於模糊命題模態邏輯的形式推理系統
  12. Tools and algorithms for the construction and analysis of systems, margaria and steffen eds., lncs 1055, passau, germany : springer verlag, 1996, pp. 147 - 166. 16 kripke s. a semantical analysis of modal logic

    我們此理論上已經開發出一個完全自動化的安全協議驗證工具spv security protocol verifier .要驗證的規范可以帶有嵌套知識運算元，並且此工具是基於證明的，而不是象別的很多方法那樣是基於證偽的，即找漏洞
  13. On quine ' s criticism about the modal logic

    論奎因對模態邏輯的批判
  14. A study of chinese information filtering based modal logic

    基於模態邏輯的漢語信息過濾機制研究
  15. The proofs based on back and forth method for two theorems in modal logic

    模態邏輯兩個定理的基於向前向後方法的證明
  16. Some problems in generalized modal logic

    廣義模態邏輯研究中的若干問題
  17. Diversified sight of modern modal logic

    現代模態邏輯的多元視野
  18. The last philosophical home of modal logic

    模態邏輯的哲學歸宿
  19. Fuzzy modal logic and its basic systems

    模態邏輯及其基礎系統
  20. Intensionality of modal logic for ambient calculus with restricted replication

    復制受限的環境演算中模態邏輯的內涵性
分享友人
分享到 Line

分享到臉書