模態邏輯 的英文怎麼說

中文拼音 [mótàiluó]
模態邏輯 英文
logic of modality
  • 模 : 模名詞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
  • 邏輯 : logic
  1. Anti essentialism in modal logic

    模態邏輯中的反本質主義
  2. 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

    互模擬是進程代數中刻畫行為等價的核心概念，而模態邏輯特徵是它的一個重要性質。
  3. The contributions of this paper include the following : ( 1 ) we establish a new form of the modal logical characterization satisfying - bisimulation in nomal case. ( 2 ) we introduce a new modal operator

    （ 2 ）引入一個新模態詞，並在此基礎上使用新的模態邏輯語言給出一個更具一般性的-互模擬的模態邏輯特徵。
  4. 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

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

    廣義模態邏輯屬哲學邏輯范疇，對于刻畫事物的「勢態」 、人物的「情態」和過程的「時態」是一種十分有效的工具。
  6. The classification of propositions on the basis of whether they assert or deny the possibility, impossibility, contingency, or necessity of their content

    模態邏輯命題的限制條件，建立在其內容的肯定或否定其可能性，不可能性，偶然性或必然性基礎之上
  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. 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描述的弱點。
  9. 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 ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
  10. 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

    完成的工作和取得的創新性成果在於：經過對粗糙集理論的深入研究，作者找到了粗糙集與模態邏輯、模糊集、代數系統和區間集代數等抽象理論之間的關系，一是粗糙集可以為抽象理論提供語義解釋，從而使我們能更好地理解掌握這些抽象理論；二是粗糙集建立了各個獨立的抽象理論之間的內在關系，使彼此獨立的抽象理論聯系在了一起。
  11. Then the axiomatic of negotiating logic is presented to give the system a formal description, and then appropriateness of axioms is interpreted

    之後給出基於模態邏輯的協商推理邏輯公理體系來形式化地描述多agent系統，再對公理的合理性進行充分的解釋。
  12. 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與環境交互的自主行為模式提供了理性化模型。
  13. Formal reasoning system based on fuzzy propositional modal logic

    基於模糊命題模態邏輯的形式推理系統
  14. On quine ' s criticism about the modal logic

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

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

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

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

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

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

    模態邏輯及其基礎系統
分享友人
分享到 Line

分享到臉書