automated reasoning 中文意思是什麼
automated reasoning
解釋
自動推理-
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方法為主要內容。 -
In automated theorem pidving, auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt
在自動推理理論與應用的研究中，命題邏輯系統中的方法和內容具有廣泛的適用性。 -
An terrain representation architecture based on automated environment reasoning
一種基於自動環境推理的虛擬地形表示架構
分享友人