knowledge representation and reasoning 中文意思是什麼

knowledge representation and reasoning 解釋
知識表達與推理
  • knowledge : n. 1. 知識；學識，學問。2. 了解，理解；消息。3. 認識。4. 〈古語〉學科。5. 〈古語〉性關系。
  • representation : n 1 表示，表現，描畫，描寫；畫像，肖像；雕像，想像，想像力；【心理學】表象。2 上演，演出；扮演。3...
  • and : n. 1. 附加條件。2. 〈常 pl. 〉附加細節。
  • reasoning : n. 推論，推理；論究，論斷；理論，論證；論法。adj. 能推理的；有關推理的。 the reasoning power 推理力。 a reasoning creature 理性動物，人類。
  1. 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系統的開發，使得系統具有一個既有問題又有解答的無限題庫，這些解答是由自動推理產生的而不再是固定問題、答案的堆砌；在系統功能方面，充分體現了建構主義思想，具有良好的人機交互性、並發性和開放性。
  2. 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方法為主要內容。
  3. 16 rendell d a, cui z, cohn a g. a spatial logic based on regions and connection. international conference on knowledge representation and reasoning, 1992, pp. 165 - 176. 17 fiadeiro jos e l. categories for software engineering

    進一步把帶類型範疇的概念推廣為類范疇，可以描述不完全和有缺陷的知識，以及不完全知識和有缺陷知識消除缺陷和完備化的過程。
  4. By the browser / web server / database structure and the technology of asp. net and xml, we achieve the expert system running on the network, extend the application and ensure its backward compatibility ; we have the deep research to the representation of knowledge and apply it to the system, extend the traditional method of rule based knowledge representation ; introduce the fuzzy sets, analyze the generalized possibility interval sets, and combine the linguistic variables and fuzzy sets ; the system adopts the forward and backward chaining, researches the reasoning under uncertainty and inexact reasoning ; and we depart knowledge base and inference engine, make the upgrade simple and maintenance convenient. in the last, we construct the potato produce manage system according to the phases of potato ' s growth to give a detailed instruct to its produc e

    Net和xml技術，實現了網路化的專家系統，同時擴大了專家系統的應用范圍，提高了系統的後向兼容性；對專家系統中的知識表示技術作了深入探討，在傳統的基於規則的知識表示方法的基礎上，提出了基於規則擴展的知識表示方法，並較好地將其應用到本系統中；引入了模糊集合，分析並推導了廣義可能區間集，將其應用於模糊知識的表示，將語言變量和模糊集合結合起來；提出對系統採用互動式知識獲取途徑、雙向推理控制策略，對不精確推理和不確定性推理的傳播演算法作了一定的研究，成功地將其應用到馬鈴薯專家系統的構建之中；採用知識庫和推理機相分離的方法，使得系統升級簡單易行。
  5. This subject is based for the subject topic of 863 program named " vegetable planting agriculture expert system developing frame " ( project number : 863 - 306 - zd05 - 01 - a ). after a long - term research which can be divided into three phases as follows : synthetic analysis of expert systems in agriculture area ; components research and design of knowledge acquisition, representation, and reasoning result explanation ; integration of all the components, the system aimed for non - computer major technicians has been developed. lately, client / server ( c / s ) calculation based on distributed transaction concepts, is gradually becoming popular

    本課題以國家863計劃智能計算機主題關鍵技術課題「蔬菜栽培農業專家系統開發框架」 （項目編號： 863 - 306 - zd05 - 01 - a ）為研究背景，通過對領域應用專家系統的綜合分析，在研究設計知識獲取、知識表示、推理求解、推理結果解釋、人機界面等構件的基礎上，按系統集成的要求，完成了蔬菜栽培專家系統開發框架的研究，提交非計算機專業人員能夠直接使用。
  6. On the basis of analyzing the importance of case representation and cased - based reasoning, a new method of building case is put forward, though analyzing the advantages of representation of case knowledge based on ontology and by the organization traits of semantic web about ontology

    摘要在分析範例表示與推理的重要性基礎上，通過對本體表示範例的優越性分析，以及語義網對本體特有的組織特性，提出了一種新的範例構建方法。
  7. In part of theory, the paper analyses the present situation of its, presents its theoretical base, constructs a teaching mode of dual - initiative, gives its structure, discuss its writing environment, provides a reference of integrating object - oriented database and ai ; in part of design, the paper combines method of fields knowledge representation, presents teaching strategy reasoning machine based on weight - generation production rule ; according to cognitive learning theory, designs a cognitive model of student which adopts approach method and historical inheritance of study, designs a model which can navigate in learning process and in hyper - text based on student ' s model and knowledge presentation, discusses the design of explanation mechanism and man - machine interface

    在理論部分，本文分析了its的現狀，提出了its的理論基礎，建構了一個雙主的教學模式，並給出了its的結構，討論了智能教學系統的寫作環境的選擇，為本文的面向對象數據庫和人工智慧的結合提供了依據；在設計部分，本文結合領域知識表示方法，給出了一個面向對象的認知的超文本的知識表示方法，提出了基於加權產生式規則的教學策略推理機；依據認知學習理論，設計了一個採用逐步逼近法的有學習歷史繼承的認知學生模型，並根據學生模型和知識表示設計一個學習過程自動導航和超文本導航的教學模型；討論了智能系統解釋機制和人機介面的設計。
  8. The key to these issues is a proper context representation and reasoning model, which should satisfy the following requirements : 1 ) it should have the capability to deal with uncertainties, which is an intrinsic property of context ; 2 ) it should be first - order, since we need to discuss at the level of entities, attributes and relations. this property is also necessary for representing generally applicable context reasoning knowledge. 3 ) it should have reasonable complexity, since the application wants to now the up - to - date context

    上述問題的核心是目前缺乏一個良好形式化的上下文表示和推理模型，而這個模型必須滿足如下屬性： 1 ）能處理由於傳感器的不可靠以及不確定的知識帶來的上下文的不確定性； 2 ）具備一階（ first - order ）描述能力，這是因為上下文信息需要在實體的屬性和實體間的關系層次進行描述，同時這種能力也是使上下文推理知識具有通用性的基礎； 3 ）合理的復雜度，因為應用查詢上下文時希望了解的是即時的情況。
  9. So we propose intelligent enterprise diagnosis system integrated with enterprise information systems to meet with actual requirements of enterprise management. a model of intelligent enterprise diagnosis system based data warehouse is established, and fuzzy petri net is used to realize knowledge representation and fuzzy reasoning of enterprise diagnosis

    因此我們根據企業管理的實際需求，提出與企業信息系統相集成的智能企業診斷系統，建立了基於數據倉庫的智能企業診斷系統模型，並提出以模糊petri網實現企業診斷的知識表示和模糊推理。
  10. Among all types of knowledge representation, the framework representation has been widely used for its features of applicability, summarizing, structuring and reasoning

    在眾多的知識表示方法中，框架表示法由於具有適應性強、概括性高、結構化良好、推理方式靈活的特點而得到人們的廣泛應用。
  11. Studies the time - safety model of steering vehicle and the representation of steering rules, this thesis presents a domain knowledge representation of target - rule radix - feature state body. besides these, a vehicle safety expert system consisting of master - slave reasoning mechanism is designed which can alarm while encountering emergency

    本文研究了汽車行駛的時間安全模型和汽車行駛規則描述，提出了「目標-規則基-特徵狀態體」的領域知識表示模型，給出一種汽車安全報警防撞專家系統，採用主-從兩級推理機制完成對安全的推理求解策略，實現安全報警。
  12. This thesis studies the time - safety model of steering vehicle and the representation of steering rules and presents a domain knowledge representation of target - rule radix - feature state body. besides these, a vehicle safety expert system consisting of master - slave reasoning mechanism is designed which can alarm while encountering emergency

    本文研究了汽車行駛的時間安全模型和汽車行駛規則描述，提出了「目標-規則基-特徵狀態體」的領域知識表示模型，給出一種汽車安全報警防撞專家系統，採用主-從兩級推理機制完成對安全的推理求解策略，實現安全報警。
  13. Thirdly, the object - oriented way of lre knowledge representation for causality, system structure, and models is presented, and an organization model of lre diagnosis knowledge for integration of deep and shallow knowledge based on the lre component structure and in the form of node knowledge base is given. and finally, the lre intelligent fault diagnosis theory and strategy, which utilize synthetically different kinds of diagnosis knowledge and multiple reasoning methods, such as rule - based, model - based, fuzzy - knowledge - based, and dynamic - knowledge - based reasoning methods, are discussed and developed. the results verified by the test - firing data and the simulated fault samples show that, the theory and methods proposed give a theoretical basis for the design and realization of practical lre fault diagnosis and health monitoring systems, and can be available for reference in the development of health monitori ng technique for reusable space transportation systems in the future

    主要研究內容包括：系統闡述了發動機診斷知識的概念、類別和相互關系；研究發展了定性和定量、淺層和深層、模糊和動態等多種診斷知識的圖形和模型獲取方式；建立了因果、結構和模型等不同層次和類別的診斷知識的面向對象表示方法，以及以發動機的部件結構為基礎，以結點知識庫為組織形式，深淺知識相結合的診斷知識集成組織模型；研究發展了綜合多層次和多類別診斷知識，集成規則推理、模型推理、模糊推理和動態知識推理的發動機智能故障診斷理論和策略，並結合實際熱試車數據和故障模擬實例對所發展的理論、方法與策略進行了驗證。
  14. Causal knowledge representation and nonmonotonic reasoning models in law consultant systems

    法律知識的因果表達和非單調推理模型
  15. Knowledge representation and reasoning method based on relation database

    一種基於關系數據庫的知識表示和推理方法
  16. This dissertation discusses and studies to surround the knowledge representation, learning, reasoning, and the main contents include : at the first chapter, some familiar uncertain knowledge representation and reasoning and the difficulties of them : evidential theory, certainty factor, fuzzy logic and fuzzy reasoning, subjective bayesian method, belief network are introduced. we present the basic knowledge, primary reasoning algorithm, complexity of reasoning algorithm, the way of dealing with some problem of causality diagram relative and the research direction in causality diagram theory particular at the second chapter

    論文圍繞著因果圖的知識表達、學習、推理進行了討論和研究，主要內容包括:在扼要介紹了一些比較常見的不確定性知識的表示和推理方法:證據理論、確定性因子、模糊邏輯與模糊推理、主觀bayes方法、信度網的基本知識之後，比較詳細地闡述了因果圖的知識表達，主要的推理演算法、計算復雜度以及對一些問題的處理方式方法。
  17. The target of second part is the knowledge representation and the reasoning tactics based on web. after analysis, we make a conclusion that to use the integrated knowledge representation to represent the knowledge of the web - based generalized parts and components selecting expert system, and make use of the object oriented reasoning tactics to reasoning

    重點研究了基於web的專家系統的知識表示方法及其推理策略，提出了有利於配套件知識的集成的知識表示方法，根據配套件選型的特點設計了面向對象的推理模型及相應的推理策略。
  18. During the study on the realization of computer - aided conceptual design system of mechanism design, the thesis utilized some knowledge and technology in the artificial intelligence field such as knowledge representation and reasoning

    在對計算機輔助機構概念設計系統的實現的研究中，論文利用了人工智慧領域中的知識表示和推理等知識與技術。
  19. This paper describes the details about knowledge representation and reasoning based on uncertainty in ai, and the outline of belief network. after introducing the causality diagram model and summarizing conventional reasoning algorithm, a new reasoning approach of causality diagram has been presented, which is aimed at the defects in conventional reasoning algorithm, which are the large amount of boolean computation and its complexity

    論文詳細地介紹了人工智慧中不確定性知識表達及其推理的有關內容，並簡要介紹了信度網知識表達方式；在介紹因果圖知識表達模型、總結單值因果圖的常規推理演算法后，針對單值因果圖常規推理演算法中存在邏輯運算量大、計算復雜的困難，根據早期不交化的思想，提出了一種單值因果圖推理的新方法。
  20. Dynamic causality diagram was first proposed by professor zhang qin in 1994, it is a mathematics tool combined with probability and graph theory, just like the belief network, its characteristic is to provide the method of uncertain knowledge representation and agility reasoning, it adopts nodes to represent random variables in the domain and directional edges between nodes to represent causal relationship between variables, linkage intensity to represent the strength of the link between these variables, it supports the forms of reasoning from cause to effect and from effect to cause and together

    動態因果圖由張勤教授1994年提出，它與信度網類似，是概率論與圖論結合的一種數學工具，其特點是提供不確定知識的表達和靈活的推理方法:用節點表示事件或變量，有向邊表示因果關系，並用連接強度來表示因果關系的強度，支持由原因到結果的正向推理方式和由結果到原因的反向推理方式以及正反向混合推理方式。
分享友人
分享到 Line

分享到臉書