automated reasoning中文是什么意思

發音:

中文翻譯
造句

自動推理

automate vt. 1.使(工廠、工序等)自動化。 2.使用自動化技 ...
reasoning n. 推論，推理；論究，論斷；理論，論證；論法。 adj ...
automated fuzzy reasoning 自動模糊推理
automated reasoning tool 自動化推論工具; 自動推理工具
automated reasoning tool (art) 自動化推論工具
reasoning n. 推論，推理；論究，論斷；理論，論證；論法。 adj. 能推理的；有關推理的。 the reasoning power 推理力。 a reasoning creature 理性動物，人類。
automated 自動的; 自動化的
a priori reasoning 先驗推理
abductive reasoning 反繹推理; 溯因推理; 誘導推理
abstract reasoning 抽象推理
absurd reasoning 歸謬推理
age of reasoning 推理的年齡
analogic reasoning 類比推理
analogical reasoning 類比推理
analytical reasoning 分析題
aposterior reasoning 后驗推理
approximate reasoning 近似推理
approximation reasoning 近似推理
automating reasoning 自動推論
backward reasoning 反向推理
bidirection reasoning 雙向推理
boolean reasoning 布爾推理
categorical reasoning 范疇推理
causal reasoning 因果推理
circular reasoning 循環推理

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

Automated reasoning and equation solving with the characteristic set method
基于特征列方法的自動推理與方程求解
Alti1ough neuial network gets a satistw soluhon of prob1em , it is not deted to use ned ned solving problem of automated reasoning
盡管神經網絡尋找到的解是一個滿意解，但這不影響我們考慮將神經網絡技術應用于自動推理理論與方法中。
In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning
本文在對命題邏輯系統的模型推理和歸結原理研究的基礎上，嘗試利用神經網絡部分實現自動推理。
Engineers have yet to solve fundamental problems involving robotic perception and world modeling , automated reasoning , manipulation of objects and locomotion
工程師還有很多根本的問題尚未解決，包括機器人的知覺、如何建立周遭環境的模型、自動推理、物品操作和行進方式等。
It can be extended to fuzzy logic systems and some lattice - valued logic systems . 3 . the study on automated reasoning a new automated reasoning method based on path searching was proposed
2 、提出一種利用神經邏輯單元動態地構造神經網絡的算法來對一些邏輯系統中的邏輯公式的真值進行計算。
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
該范式理論能夠在三值環境下依舊保留等值完全范式與真值表? ?對應的直觀關系，同時，建立的表推演系統可作為不完全信息的自動推演系統。
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
本文的工作是在徐揚教授、秦克云教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
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系統的開發，使得系統具有一個既有問題又有解答的無限題庫，這些解答是由自動推理產生的而不再是固定問題、答案的堆砌；在系統功能方面，充分體現了建構主義思想，具有良好的人機交互性、并發性和開放性。
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方法為主要內容。

百科解釋

Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically.

詳細百科解釋

推薦英語閱讀

automated reasoning的中文翻譯，automated reasoning是什么意思，怎么用漢語翻譯automated reasoning，automated reasoning的中文意思，automated reasoning的中文，automated reasoning in Chinese，automated reasoning的中文，automated reasoning怎么讀，發音，例句，用法和解釋由查查在線詞典提供，版權所有違者必究。