automating reasoning中文是什么意思

發(fā)音:

中文翻譯
造句

自動推論

automate vt. 1.使(工廠、工序等)自動化。 2.使用自動化技 ...
reasoning n. 推論，推理；論究，論斷；理論，論證；論法。 adj ...
reasoning n. 推論，推理；論究，論斷；理論，論證；論法。 adj. 能推理的；有關(guān)推理的。 the reasoning power 推理力。 a reasoning creature 理性動物，人類。
automating consistency checking 自動連續(xù)性核對
automating management information 自動管理信息
automating medical clinics 自動化診所
automating neurological localization 自動神經(jīng)學(xué)定位
completely automating your business 完全自動化你的業(yè)務(wù)
a priori reasoning 先驗推理
abductive reasoning 反繹推理; 溯因推理; 誘導(dǎo)推理
abstract reasoning 抽象推理
absurd reasoning 歸謬推理
age of reasoning 推理的年齡
analogic reasoning 類比推理
analogical reasoning 類比推理
analytical reasoning 分析題
aposterior reasoning 后驗推理
approximate reasoning 近似推理
approximation reasoning 近似推理
automated reasoning 自動推理
backward reasoning 反向推理
bidirection reasoning 雙向推理
boolean reasoning 布爾推理
categorical reasoning 范疇推理
causal 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
盡管神經(jīng)網(wǎng)絡(luò)尋找到的解是一個滿意解，但這不影響我們考慮將神經(jīng)網(wǎng)絡(luò)技術(shù)應(yīng)用于自動推理理論與方法中。
In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning
本文在對命題邏輯系統(tǒng)的模型推理和歸結(jié)原理研究的基礎(chǔ)上，嘗試利用神經(jīng)網(wǎng)絡(luò)部分實現(xiàn)自動推理。
Engineers have yet to solve fundamental problems involving robotic perception and world modeling , automated reasoning , manipulation of objects and locomotion
工程師還有很多根本的問題尚未解決，包括機器人的知覺、如何建立周遭環(huán)境的模型、自動推理、物品操作和行進方式等。
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 、提出一種利用神經(jīng)邏輯單元動態(tài)地構(gòu)造神經(jīng)網(wǎng)絡(luò)的算法來對一些邏輯系統(tǒng)中的邏輯公式的真值進行計算。
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
該范式理論能夠在三值環(huán)境下依舊保留等值完全范式與真值表? ?對應(yīng)的直觀關(guān)系，同時，建立的表推演系統(tǒng)可作為不完全信息的自動推演系統(tǒng)。
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
本文的工作是在徐揚教授、秦克云教授等研究成果的基礎(chǔ)上，對格蘊涵代數(shù)的性質(zhì)、結(jié)構(gòu)、格值命題邏輯系統(tǒng)中的重言式、自動推理方法、格值命題邏輯系統(tǒng)等進行了一些研究。
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方法可以說清“問題程序”的全過程，可以解決現(xiàn)有程序設(shè)計教學(xué)存在的根本問題，幫助學(xué)習(xí)者實質(zhì)性地提高程序設(shè)計的能力；在實現(xiàn)技術(shù)方面，借鑒了當(dāng)代流行的泛型思想，并將人工智能在知識表示、自動推理等研究中形成的思想方法和成果應(yīng)用于程序設(shè)計icai系統(tǒng)的開發(fā)，使得系統(tǒng)具有一個既有問題又有解答的無限題庫，這些解答是由自動推理產(chǎn)生的而不再是固定問題、答案的堆砌；在系統(tǒng)功能方面，充分體現(xiàn)了建構(gòu)主義思想，具有良好的人機交互性、并發(fā)性和開放性。
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
本系統(tǒng)選用薛錦云教授的par方法為主要教學(xué)內(nèi)容，應(yīng)用人工智能的知識表示和自動推理原理及泛型思想，使得系統(tǒng)具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導(dǎo)，實現(xiàn)了無限題庫，可以自動生成與典型例題類似的問題給學(xué)生求解并給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學(xué)生學(xué)習(xí)；也可通過自動推理根據(jù)用戶的實際做題情況實時給出提示，交互式地幫助學(xué)生學(xué)習(xí)算法程序設(shè)計；學(xué)生可以從問題庫中獲得練習(xí)，并調(diào)用轉(zhuǎn)換器，將自己的apla程序轉(zhuǎn)化為可執(zhí)行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統(tǒng)的研制過程中，我們深入研究了系統(tǒng)的各方面相關(guān)知識，并進行了多方面的創(chuàng)新：在教學(xué)內(nèi)容方面，首次選用par方法為主要內(nèi)容。

推薦英語閱讀

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