正規模態邏輯 的英文怎麼說

中文拼音 [zhēngguītàiluó]
正規模態邏輯 英文
normal modal logic
  • : 正名詞(正月) the first month of the lunar year; the first moon
  • : Ⅰ名詞1 (畫圓形的工具) instrument for drawing circles 2 (規則; 成例) rule; regulation 3 [機械...
  • : 模名詞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
  • 規模 : scale; scope; dimensions
  • 邏輯 : logic
  1. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則,對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充;給出了計算數據圖中表達式的演算法;對半結構數據查詢語言的一階描述、結構遞歸和數據圖的雙擬( bisimulation )等問題進行了研究,提出了一種判定數據圖的bisimulation演算法;在xml數據查詢語言研究的基礎上,設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  2. After discuss the structure and character of operating system qnx and inter - process communication between pc ' s running qnx or windows, the paper describes the structure, function and flow chart of mission planning software which is developed in qnx, and narrates the course of simulation co - debug experiment, dynamically showing the results of the mission planning in the case of " ocean physiognomy reconnaissance ", and proving the logical correctness and feasibility of task serial produced by mission planning

    在論述了多任務、實時操作系統qnx的結構特點以及基於qnx與windows運行的pc機之間網路進程通信的基礎上,本文描述了在qnx上開發的使命劃軟體的結構功能和流程圖,並敘述了擬聯調實驗的過程,動地顯示了「海洋地貌勘測」這一案例使命劃的結果,並證明了使命劃所得的任務序列在實際運行中確性與可行性。
  3. 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描述的弱點。
  4. 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與環境交互的自主行為式提供了理性化型。
  5. We can construct me by using the technical methods in modal logics to define general valid formulae

    我們可仿造真性的技術方法定義普遍有效式,構造極小認知系統me 。
分享友人