自動推理 的英文怎麼說

中文拼音 [zìdòngtuīlǐ]
自動推理 英文
automated reasoning
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 推 : 動詞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 ...
  • 推理 : [邏輯學] inference; ratiocination; illation; reasoning; ratiocinate
  1. Existing complexity proofs on the circularity problem of ags are based on automata theory, such as writing pushdown acceptor and alternating turing machines

    目前對屬性文法循環性問題復雜度的證明，多基於自動機理論，如寫入推出接受器、交替塗林機等。
  2. 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. 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

    智能代理技術是實現自動談判的有效途徑，本文提供靈活有效的談判代理開發方法，使用狀態圖和可廢止邏輯規則說明談判策略，動態地插入到一個集狀態解釋器和可廢止邏輯推理引擎於一體的代理殼中，就可以獲得所需要的自動談判代理。
  4. Here we study the method of using com subassembly and ole automation technology to solve the integrate problem. this technology can fulfill the task of data ' s sharing and conversion, supporting the synchronization of space decision reasoning analysis and space information manipulation, realizing the seamless integration. the paper based on solving the evaluation of land using problem, by anglicizing the deficiency of gis ' s space decision and the merit of egis

    這里我作了用com技術及其統一數據傳輸機制和ole自動化功能進行es和gis集成的研究：其中，將es作為控制器， gis作為自動化對象連接起來，能很好地完成數據的轉換與共享，支持空間決策推理分析和空間信息操作的同步進行，本文由此重點討論了com及ole自動化技術。
  5. Automated reasoning and equation solving with the characteristic set method

    基於特徵列方法的自動推理與方程求解
  6. Alti1ough neuial network gets a satistw soluhon of prob1em, it is not deted to use ned ned solving problem of automated reasoning

    盡管神經網路尋找到的解是一個滿意解，但這不影響我們考慮將神經網路技術應用於自動推理理論與方法中。
  7. In this thesis, reasning based medel and resolution principle are deeply studied, and using netal network partly driplement automated reasoning

    本文在對命題邏輯系統的模型推理和歸結原理研究的基礎上，嘗試利用神經網路部分實現自動推理。
  8. Engineers have yet to solve fundamental problems involving robotic perception and world modeling, automated reasoning, manipulation of objects and locomotion

    工程師還有很多根本的問題尚未解決，包括機器人的知覺、如何建立周遭環境的模型、自動推理、物品操作和行進方式等。
  9. The normal form theories can keep the intuition relationship between the complete normal form and the truth table, which only keeps in classical 2 - valued logic system. the tableau system can act as the automated reasoning system in incomplete information environments

    該範式理論能夠在三值環境下依舊保留等值完全範式與真值表? ?對應的直觀關系，同時，建立的表推演系統可作為不完全信息的自動推演系統。
  10. 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

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  11. Par method can explain the whole process of " problem - program " as well as improve substantially the programming skills of students ; about the implement technology, the popular generic paradigm is incorporated and the results in ai ( knowledge representation and automated reasoning ) are used, which enables the system to be a truly " open system " with infinitely many problems and solutions, instead of just a compilation of fixed ones ; about the function of the system, it incarnates the constructivism and it has excellent human - machine interface, concurrence, and openness

    Par方法可以說清「問題程序」的全過程，可以解決現有程序設計教學存在的根本問題，幫助學習者實質性地提高程序設計的能力；在實現技術方面，借鑒了當代流行的泛型思想，並將人工智慧在知識表示、自動推理等研究中形成的思想方法和成果應用於程序設計icai系統的開發，使得系統具有一個既有問題又有解答的無限題庫，這些解答是由自動推理產生的而不再是固定問題、答案的堆砌；在系統功能方面，充分體現了建構主義思想，具有良好的人機交互性、並發性和開放性。
  12. Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

    本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。
  13. 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的支撐技術和本體知識庫的理論后，著重研究基於本體知識庫系統的自動推理技術，分邏輯推理和傳統的規則推理兩方面進行研究。
  14. Meanwhile, in order to automatically reason, an automatic reasoning program is developed based on artificial intelligence

    為幫助對模型進行推理分析，還採用了人工智慧中的自動推理技術，編寫了自動推理程序。
  15. The in this thesis an icai system is built for this subject using automatic reasoning

    本文恰是從事這方面的工作，研究一個帶有自動推理功能的程序設計icai系統。
  16. In automated theorem pidving, auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt

    在自動推理理論與應用的研究中，命題邏輯系統中的方法和內容具有廣泛的適用性。
  17. In 1989, academician wu wen - tsun forwards wu differential characteristic method which establish theoretical basis for mechanical theorem proving of differential geometry and the research of automatic reasoning

    1989年吳文俊院士提出了吳?微分特徵列法，為微分幾何定理的機械化證明和自動推理的理論研究奠定了理論基礎。
  18. 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

    命題邏輯系統中的歸結原理本質上存在組合問題，因此，如何避免組合問題（通常以計算復雜性的形式出現）是自動推理研究中的一個重要課題。
  19. In the initial stage, the center only offers training facility to students of horticulture, agricultural machinery, and farming management majors in our university. since 1995, we started to organize short term one week training courses on topics of horticulture automation management, plants and vegetables automation management, and others during winter vacation under authorization of council of agriculture. until 2001, 16 courses were held and over 500 students, including core farmers, young villagers, farmers cooperatives promoters, and students of agricultural operation and farm management majors have completed the program

    初期僅就近提供本校園藝及相關科系學生之實習場地；八十四年起接受農委會、農林廳委託，在寒假期間辦理短期（一周）園藝生產自動管理及花卉、蔬菜自動化管理等訓練，迄今（八十九）年共計有20班700位學員結業，學員背景有核心農民、農村青年、農會推廣人員、以及農工職校教師等。
  20. Other new features in the user friendly area include lots of extra stats being displayed inside the game, particularly in news items, to give more info to the user, better feedback from your assistant manager, agents recommending positions for exchanging players in transfer deals and the option to back up saved games before a new one saves

    在用戶友好界面里的其他新特性包括在游戲中顯示的大量附加狀態，特別是一些新的選項給玩家提供了更多的信息，例如玩家的助理教練能夠提供的更有用的反饋信息，在轉會交易中交換球員時自動推薦相應位置的球及在一個游戲檔保存前自動備份已經保存的游戲。
分享友人
分享到 Line

分享到臉書