自動邏輯推理 的英文怎麼說

中文拼音 [zìdòngluótuīlǐ]
自動邏輯推理 英文
automated logic inference
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 推 : 動詞1 （向外用力使物體移動） push; shove 2 （磨或碾） turn a mill or grindstone; grind 3 （剪或削...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 自動 : 1 （自己主動） voluntarily; of one s own accord 2 （不憑借人為的力量） automatic; spontaneous 3 ...
  • 邏輯 : logic
  • 推理 : [邏輯學] inference; ratiocination; illation; reasoning; ratiocinate
  1. A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable agent

    使用狀態圖和可廢止邏輯規則說明談判策略，將其動態地插入到一個集狀態解釋器和可廢止邏輯推理引擎於一體的代理殼中，就可以獲得所需要的自動談判代理。
  2. The intelligence agent technology is an approach to automatic negotiation. the paper presents a flexible and effective method of development of negotiating agents. a strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable agent

    智能代理技術是實現自動談判的有效途徑，本文提供靈活有效的談判代理開發方法，使用狀態圖和可廢止邏輯規則說明談判策略，動態地插入到一個集狀態解釋器和可廢止邏輯推理引擎於一體的代理殼中，就可以獲得所需要的自動談判代理。
  3. In this thesis, reasning based medel and resolution principle are deeply studied, and using netal network partly driplement automated reasoning

    本文在對命題邏輯系統的模型推理和歸結原理研究的基礎上，嘗試利用神經網路部分實現自動推理。
  4. Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  5. This thesis aims to carry out a profound study on the " government interference complex " in the ethnic regions from the pointview of executive philosophy. it tries to expose the complex ' s theoretical origin - misunderstanding on " economy determinism " and insistence on " straight development of history " ; its empirical origin - modernization effect ; practical motive - desire for synchronization and the promotion function given by the mainstream management ideas to the " complex ". based on these, the thesis reveals the realistic characteristics of " government interference " : firstly, it examines whether ethnic regions get some progress under the guidance of " straight development of history " ; secondly, government interference brings about the destruction and change in the fields of natural ecology, cultural ecology and ethics as well ; finally, government interference leads to the systematic lies and will involve the ethnic regions in the sequela caused by the interference

    ）對民族地區行政「政府干預情結」進行深度研究，試圖通過民族地區行政「政府干預情結」問題中隱含的邏輯線索，揭示民族地區行政「政府干預」理論起點：對經濟決定論的曲解、對歷史發展單線論的真理化，揭示民族地區行政「政府干預」經驗起點：后發現代化效應，揭示民族地區行政「政府干預」實踐動力： 「共時性」訴求，以及政府主流管理思想對民族地區行政「政府干預」的推動作用；在此基礎上，進而梳理出民族地區「政府干預情結」多方面的現實表徵：一方面，在單線歷史進化論考察下的民族地區進步；在另一方面，政府干預帶來了民族地區自然生態觀的沖擊與毀滅、文化生態的濫用與消亡、民族地區倫理道德的流失與嬗變、民族心理的依賴與失衡，再一方面，政府干預帶來民族地區的制度性說謊，並讓民族地區陷入了邏輯的怪圈：政府干預「政府干預后遺癥」 。
  6. This thesis firstly analyzed major techniques widely used in semantic web and also ontology theory. it then focused the researches on reasoning techniques in the context of ontology knowledge base systems

    本文在分析語義web的支撐技術和本體知識庫的理論后，著重研究基於本體知識庫系統的自動推理技術，分邏輯推理和傳統的規則推理兩方面進行研究。
  7. In this thesis, we ’ ve first introduced some conceptions of model checkingand knowledge reasoning. then we ’ ve mainly introduced my tutor ’ s methodof model checking temporal logic of knowledge. lastly, we ’ ve applied thismethod to two specific areas with our tool mctk : one problem is to verifythe winning strategies in the zero - sum games, which is to automatically findout whether there exists a way ensuring the necessarily win of players ; theother problem is to verify the knowledge based security protocols, whosesecure properties rely on the knowledge reasoning of the anticipants in theprotocol

    本文首先介紹了模型檢測和知識推理的基本概念，然後著重介紹了我導師所提出的模型檢測時態知識邏輯的方法，最後使用本實驗室研製的相關工具mctk來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略，即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議，而這類協議的安全特性依賴于協議參與者的知識推理。
  8. The system emphasized on attempting to applying fuzzy in the automatic - controlling technology of greenhouse environmental parameters. fuzzy controll is based on the theory of fuzzy mathematics, fuzzy language, fuzzy logical, and adopt digital controlling from which use of computer technology and has feedback and structure

    本系統研究的重點是模糊控制演算法在溫室環境參數自動控制系統中的嘗試應用。模糊控制是以模糊數學、模糊語言形式的知識表示和模糊邏輯的規則推理為理論基礎，採用計算機技術構成的具有反饋閉環結構的數學控制形式。
  9. 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

    在珍斷模塊建模中採用模糊邏輯與神經網路結合的技術，以模糊自適應學習控制網路為核心，提出了一種簡單可行的基於最大權值矩陣的規則提取及基於浮點數編碼的遺傳演算法的參數調整的，完善網路結構與性能的方法，並在狀態監測過程中，通過對由控制器輸入的水下機器人運動控制量以及運行狀態的模糊推理，得到執行部件（推進器或舵）的工作狀態優劣程度，為保證水下機器人完成任務，安全返回提供控制依據。
  10. Fuzzy control is a kind of computer numerical control based on fuzzy set theory, fuzzy linguistic - variable and fuzzy logical reasoning, in which the experience of skilled operators and the knowledge of experts are summed up into the control rules in the form of " if. . then. . ",

    模糊自動控制是以模糊集合論、模糊語言變量及模糊邏輯推理為基礎的計算機數字控制。它將操作人員的控制經驗和專家知識總結成一系列「如果…則… 」形式的控制規則，即模糊條件語句;然後經過模糊邏輯推理而得到控製作用。
  11. In automated theorem pidving, auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt

    在自動推理理論與應用的研究中，命題邏輯系統中的方法和內容具有廣泛的適用性。
  12. In proposbonal calculus, the processing ofresoluhon pdriciple have combination explosion naturally so, how to eltw combinaion explosion in the processing of resolution ( genetal showed computationaily hard problem ) is an in1portan subject in automated theorem proving

    命題邏輯系統中的歸結原理本質上存在組合問題，因此，如何避免組合問題（通常以計算復雜性的形式出現）是自動推理研究中的一個重要課題。
  13. This kind of controller is easy to design and operate, and has improved convergence rates and less overshoot than pid controller, but has stable error. in order to improve the properties of the fuzzy controllers, fine - tune - rule fuzzy controller, fine - tuned parameter fuzzy controller and fuzzy - pi controller were designed respectively based on the simple fuzzy controller. then fuzzy logic inferential system is established by using toolbox of fuzzy logic in matlab7. 0. secondly, in simulink6. 0, through the instance of the template of s - function, the module of s - function for optimizing fuzzy control and corresponding control model are constructed, and the parameters of simulation are set

    這種控制器易於設計、實現方便，較傳統pid控制有更快的響應速度和更小的超調，但其存在靜態誤差;為了進一步提高模糊控制器的控制特性，在此基礎上分別設計了可調整控制規則模糊控制器、參數自整定模糊控制器和模糊- pid復合控制器;然後利用matlab7 . 0模糊邏輯工具箱圖形用戶界面建立模糊邏輯推理系統，在simulink6 . 0系統模擬設計平臺中通過實例化s函數模板創建旨在優化模糊控制的s函數功能模塊，並構建模糊控制系統框圖模型，設置系統模擬參數，最終對系統進行動態模擬。
  14. 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

    摘要基於系統（靜態）與過程（動態）的雙重視角，以人地關系理論和能力與主體關系邏輯為支撐，基於事物成長過程推進質量與水平的高低從根本上決定了事物及其能力成長的客觀、科學認知，對于城市可持續發展能力成長動因與過程進行了系統、全面、科學的理論解析，並結合發達國家與發展中國家實際構建了「自然過渡」和「雙峰逼近」型城市可持續發展能力成長過程理論模型，為城市可持續發展能力研究提供了全新的理論支撐。
  15. Customers were recommended to automate this procedure using wsadmin scripts in version 5, but in version 6 the logic is embedded in the administrative program implementation

    我們推薦客戶使用版本5中的wsadmin腳本來自動化這一操作，但是在版本6中，該邏輯在管理程序實現的時候已經被加強了。
分享友人
分享到 Line

分享到臉書