-很少有直接的答案。該報多次遊說某個品種的代表。其他報紙對財產分配有不同的看法，有些側重於業內重要的概念大會。在本文中，我們回到基本問題並直接處理它們。我們認為最佳答案所理解的五個重要角色是完全不同的，代表了各個地區的差異，有時還會相互沖突。我們認為應該有壹個財產分配。考慮到所有這五個主要功能，它提供了有用的觀點，並揭示了壹些有爭議的研究和實踐，可以活躍在這壹領域。92.從詞匯的角度看知識的代表是什麽？角色壹:韓國是特工，也就是說錯誤的推斷是不可避免的角色。2:韓國是壹組本體承諾，從最初選擇的承諾中積累的承諾是分層的。3:韓國不是數據結構。3:韓國是壹個完整的理論知識。推理聰明嗎？智能推理:邏輯推理認為這是由於心理？回答格式和內容推斷，建議？作用四:船級社是媒介，高效的計算功能五:船級社是中產階級人士表達自己影響力的研究和實踐。實踐的精神:有特色的精神表征應該被放縱而不是被克服。研究:代表性和推論是相互關聯的結果。研究:有協商結果的研究:關於正式同性戀後果的爭論。這五個角色研究韓國問題的目的都是什麽？代表性簡介。我們認為，這個概念最好理解為五個獨特的功能，但在劇中，手頭的每個關鍵任務:知識寄存器是最根本的替代，替代它的事物本身是用來讓壹個實體決定思考的後果，而不是采取行動，也就是對世界進行推理，而不是采取行動。這是壹組本體論的承諾，即回答這樣壹個問題:在什麽條件下，我認為世界應該怎樣？它是壹個完整的理論推理智能，具體體現在三個方面:(1)就業‘智能推理’的基本概念；
(2)壹系列判決和制裁的代表；
(3)確定性推理表明這是壹種實用有效的計算工具，即計算環境，實現思想。這是壹本實用的效率指南，為組織上崗提供了便利，便於信息推薦和判斷。它是壹種人類的表達方式，即我們所說的語言，對世界事務產生不同的有益影響。要了解和認識自己的角色，首先每個不同的角色都需要壹點代表性；
每壹個有趣的線索，如此不同的特點，我們需要壹個代表。第二，我們認為有用的角色會提供壹個框架和各種觀點。我們提案的基本精神，“壹”，是指我們可以理解如何捕捉每個角色的觀點，主要揭示異同。第三，我們認為之前的壹些差異是有益的，這意味著這五個角色在分離時都應該得到適當的考慮。這再壹次證明，我們早期解剖的爭論的範圍和邏輯。最後，我們認為這種方式表達了研究和實踐的後果。研究，這個觀點提供了壹個直接回答問題的根本領域。也暗示了這個案件，相當壹部分人的代表鬥爭——捕捉和代表豐富多彩的自然——已經得到了足夠的重視。我們覺得這個觀點也提醒了我們，提高修行者的修行覺悟是壹個重要的動力來源。92從名詞和術語角度的兩點有助於我們介紹。首先，我們在壹般意義上使用推理來指從舊的表達式中獲得新的表達式。談到清晰，我們很少談論邏輯推理，比如聲音。第二，給他們起壹個和* * * *壹樣的名字。我們的意思是熟悉基本邏輯分配工具、規則、時間限制、語義網等所代表的技術知識。還需要明確說明是否普遍建立了多層次的知識陳述語言，典型的技術知識處於底層。海斯的嚴格液體[12]比如同壹層次的情況分為概念和其他空間。諸如Portal、Face和Square之類的語言首先在下壹個更原始(也更低級)的層次上命令邏輯。例如，在(S1，S2)中，表達式空間S1包含在1957中。這種觀點很有用，因為這是壹種我們可以討論和分析的技術，主要集中在韓國。對於原始層面來說，它代表了韓國語的基礎，使其面向所有。也許最根本的問題是，代表知識的概念是什麽？我們認為答案是我們最熟悉的五種基本角色扮演。我的作用:壹個是韓國代表任何實體，我也希望世界上的原因重要的滿足。事實推理是壹個過程，其次是內政，最想要的理由只有國外。以程序(或個人)為例，原因可能就像物理鏈輪、處理桿件等。但是這種東西只存在於外界。這是壹個必然現象的基本原理和功能，表現為:它的功能在壹個母親推理機，壹個多余的東西，它存在於世界各地。行動和協商的行動代替了真實的東西，也就是直接代替了世界。人們認為，這是我們在世界上第壹次取代行動，我們不能或不想(但)采取行動。(1)觀看代理人的陳述。必須有某種形式的通信指定代理人及其必要性在世界上；
字母是符號學的表征。第二個問題是誠實:如何接近真正的母親？什麽屬性讓原本不清楚，卻被忽略了？保真壹般不可能做到完美，在實踐和原則上都是如此。原則上是不可能的，因為除了它本身之外的任何東西都必然是不同的(比如它的位置)。反之，只有壹個對象本身的目的才能得到全面準確的反映。其他意見都是錯誤的；
它們也可能包括壹個簡化的假想文物。兩個人與闡述這壹觀點的代理人談判。第壹，好像是同壹個無形的物體，它的有形物體，比如輪式漁具。作為壹個主體，陳述是壹個抽象的概念，如行為、過程、信念、因果、範疇等。，這樣他們就能描述壹個實體，而且它關於原因的說法可能是正確的。第二，當然有形式的內在機器和忠誠完美:數學實體，如果準確，因為有形式上的反對意見，因為幾乎所有的推理任務都面對需要解決的自然對象(即在現實世界中遇到的)和形式對象，它們是不切實際的和不可避免的代理。做代孕媽媽是兩個不正確的重要結論，是不會離開必然後果的必然代理人。壹個後果就是描述自然世界，因為疏忽，至少要刪除壹些有效的，無限復雜的自然。
簡報不僅會介紹中國目前沒有世界上的文物，更重要的是，所有涉及面廣的推理都是正確的，獨立的思維方式和對自然的獨立分配和使用工作。我們無法挽救合理的推理:如果有錯誤，世界模型的壹些結論將是不正確的，無論我們多麽小心。更好的代表也救不了我們:所有的談判，沒有什麽能導致錯誤。錯誤的意義當然是。
事實上，藝術的許多代表是壹個很好的選擇，找到壹個特定的任務，可以最大限度地減少(甚至消除)處理錯誤。但不可避免的是，代理人至少可以提供壹個保證，即任何實體都會因為任何原因在本質上犯錯誤:如果時間太長，原因大致足以保證錯誤。只有理性地運用自由的推理和判斷，才不會犯錯誤；
它只能保證不幹預的根本原因，錯誤。因為大量的推理，必然是錯誤的。用壹步不完美推斷其他模型的推論是，不是從整體的精確誤差出發，而是從壹個平衡問題的可能性出發，可以為誤差提供更多的增益(比如效率)。我們認為不應該隨便接受理由，而是主張由於錯誤的必然性，甚至合理的理由，然後評價實事求是的相對成本和收益。使用不完善的推理和方法。角色2:韓國是壹組本體論承諾。如果每個人都認為所有的觀點都完全接近現實，每個近似都處理壹些事情，而忽略了另壹些事情，那麽就不可避免地要通過選擇代表來做出壹系列關於我們如何看待世界以及我們如何看待世界的決定。(2)承諾生效。強眼鏡決定了我們可以看到世界上的某些區域會以犧牲其他部分為代價成為大家關註的焦點。
最重要的是:韓國是壹套本體論承諾。這是必然的，因為不壹定表達出來。這是壹個明智的選擇，因為它可以提供壹個機會，讓各方關註我們認為世界上重要的東西。聚集效應的壹個重要部分是提出什麽樣的代表。因為它是自然界中最復雜的東西，所以我們(以及我們的推理機器)需要引導世界去關註那些被忽略的東西。代表性眼鏡可以提供這樣的指導:如何告訴美國看到他們讓我們面對的可能已經很復雜，不詳細。因此，本體的承諾可以代表最重要的貢獻之壹，提供具有長歷史的工作，並且由於各種任務領域而努力構建本體。包括早期的工作充滿了液體12，模型的計算部分被廣泛用來表示電子電路(比如3)，還有本體時間，信念，甚至程序本身。每次看到這種方式帶來的壹些領域，比如模型的計算部分，就說明我們要結合電路元件和它們之間的關系，以及實時的信息流。這是壹個有用的觀點。但這不是唯壹的方法。另壹個嚴格且有回報的裝置:這裏的信號是以壹定的速度和物體(如電阻)傳播的，這些原本被認為是不可分割的壹部分，但壹個I /O行為可能已經被視為電磁波流動的擴展介質。本體當然可以用各種語言和符號來寫(比如邏輯，餅幹等。);
基本信息不是形式，而是語言的內容，即作為思考世界的方式的壹套思想。簡而言之，將想法和組件結合起來是很重要的，無論他們選擇編寫還是斷言構建。我們承諾做出選擇。壹個或另壹個充滿尖銳的不同意見，可以提出當前的任務。考慮到差異，選擇時考慮的因素與電氣設備相同。作為第二個例子，醫學診斷規則(如黴素)的角度看起來非常不同* * *與任務範圍(如內科)相同。mycin認為世界醫學會聯系疾病的實際癥狀，內科要看壹套模型，特別是典型疾病，壹定要針對這個病例。從最早的選擇中拿內科舉例，也表現出了極大的承諾，即使技術、邏輯、規章制度都配置在對古生物學必然的熟悉中。每壹個觀點都體現在這樣壹個東西裏，重要的是在世界上。例如，邏輯涉及(很少)努力使世界上的所有實體和關系符合兩國人民的根本利益。基於規則系統的觀點，認為世界上物體的價值是三倍的，合理的推理規則使它們具有美國典型的思維對象。最需要處理的是每壹項自己的看法，建議反過來，沒有條件輕易看到那些被忽略的。當然，這不能保證是正確的，因為任何事情都可能在後來被證明是相關的。但這項工作是無原則的——每壹個點都代表著世界——所以我們能做的只是壹個好的開始，我相信。現有的技術提供了壹組關於代表什麽和什麽時候不參加的猜測。所以他們選擇任何涉及壹些先天承諾的事情:這個選擇有很大的影響。我們的理念和工作方法是我們看待世界的參考。致力於不同層次積累的代表們，他們致力於本體層次的代表技術和積累。他們在不同層面作出了更多的承諾，因為我們用科技工作的範圍為內科結構提供了壹個範例。在最基本的層面上，我們決定了診斷中思維方式的時限、缺省和分類層次。但是原型是什麽，我們應該如何對組織進行分類？早期的系統描述[21]表明這些問題的答案是當前任務，它提供了二級承諾:知識庫中的內科基本系統由實體和疾病表現兩種基本類型組成::. 42這還包括a .
。
等級疾病組織主要集中在器官系統，在高層，這類“肝病”、“腎病”等的原型是希望捕捉典型疾病(如“典型”疾病)，他們會組織壹個周圍器官系統的分類索引。這是壹個明智的選擇，但顯然沒有良心的唯壹方法適用的任務；
所以，另壹層是與生俱來的承諾。第三層(在本例中是最後壹層)是壹組選擇。實例化:這個病，包括高層分支，會出現嗎？本體問題，即使在這個層面上，也可以基本如此。比如考慮以下哪些疾病需要考慮(比如國家需要解決異常):酒精中毒、同性戀、慢性疲勞綜合征。ontologic的承諾是相當明顯的，在這裏非常重要。這往往是壹個有爭議的領域，它本身是獨立的。所有技術代表都必須做出類似的決定。因為大家的補給，只有壹首歌來猜測如何看待這個世界:它提供了壹種方式，但只要看看‘tinstantiate’的想法就知道了。盒子裏展示的是原型，但妳不想學的東西告訴我們，它是為原型設計的，思維規則提出了合理的推論，但單壹的' T '合理的推論告訴我們，我們在參與。同樣的邏輯告訴我們，世界上有個體和關系，但沒有具體的個人關系。使用。對於特定的世界觀，先選出技術代表，再選出積累如何看待世界的條件。提示:韓國不是結構化數據指出，在每壹個層次上，即使是頭部的選擇(如選擇框或規則)也是正在進行的過程的代表，而不是數據結構。什麽是代表語言是有意義的[13]，即有對應關系的東西。外面世界的事情。這反過來又受到字母的限制。例如，語義網代表的是壹種圖形數據結構。他們是不同的實體，即使其中壹個被用來實現其他的壹致性，正是因為網絡的符號學。這個符號學將表明它限制了網絡拓撲:網絡旨在解釋家庭成員，因為我們知道他們是否可以有壹個周期來聯系他們的父母。而圖表(比如數據結構)當然沒有這樣的限制，可以任意。而且每個代表都必須在機器的壹些數據結構中指定字母，用字母和世界上的壹些限制來表示屬性。作用三:韓國是壹個完整的理論知識，第三個原因是作為壹個完整的理論代表著智能推理。大概是因為這個角色本來就是作為壹個典型代表來構思的，說明壹些人睿智的眼神或者觀點，因為這意味著智慧。理論有兩種不同的含義:(1)代表壹般只包括部分或觀點，以及相信它的動機；(2)啟示或信仰只是壹種復雜的、多方面的現象。代表性的理論知識往往隱含著推理，但可以看出，它的研究包括三個部分:(1)崗位的基本概念智能
(2)壹系列判決和制裁的代表；
(3)明確的推論。建議允許推斷就要關註推斷。(指導是必要的，因為這壹套論據經常被用來亂吃)。
嚴告訴我們如何看待前三項研究以及如何提出建議的理由。這些內容也可以看作是對相應的三個基本問題的回答:(1)什麽是理性和智慧？(2)有什麽我們可以推斷的嗎？(3)我們知道我們應該推斷什麽嗎？答案是代表核心精神，‘心態；
我們在這些問題上的立場很能說明問題。首先，我們的第壹個內容考察了智能推理的兩個完全不同的概念，探討了對愛情的看法，這些概念及其基本假設，並提出了其余的壹些重要方面。聰明的道理是什麽？重要的是確定智能建築推理。因為年輕人相對AI是壹門學科，對性知識的透徹了解往往來自於其他領域的工作。五——數理邏輯、心理學、生理學、統計學和經濟學——激發五種差異。智能推理是什麽概念(表1)？有壹種觀點，從歷史的數理邏輯出發，假設有各種形式的智能推理計算，推演壹般；
這種典型的現代觀點就是邏輯主義者。第二，根植於心理工作，把推理作為人類的行為特征，導致大量的工作和基於問題解決者大量知識的系統。第三種方法，植根於松散的生物學，認為關鍵是推理的機械結構並實現了它，所以是壹種獨特的推理刺激/反應行為。與此同時，產生了大量相互聯系的簡單過程。研究人員目前正在研究幾種聯結主義後代的路線。第四種方法增加了來自概率論的邏輯概念的不確定性，從而產生了真理，而因果律定理是概率論的巧妙方法。第五，從經濟學的進壹步增加，壹些價值取向，從而，在智能推理的事業中堅持原則的理論被確定。92數理生物學心理學統計經濟學亞裏士多德邏輯學笛卡爾布爾詹姆斯拉普拉斯安帕雷托弗雷格伯努利弗裏德曼比恩奧赫布拉什利BayesGoedelBruner何塞波斯特米勒特沃斯基，內維爾萊特文卡尼曼，西蒙西蒙的馮丘奇系統，繼承麥卡洛克，PittsRaiffa戴維斯Heubel，WeiselPutman羅賓遜寫邏輯因果聯結主義理性Prolog韓國廣播系統，網架代理人，表達意見，智能推理和智能的起源92。前兩種關於歷史發展的觀點在不同的概念中討論了智能推理的基本性質，並將表現出深層分歧心態的後果。智能推理:邏輯學和心理學，應該首先考慮的傳統觀點，作為神秘的數理邏輯推理智能，這種觀點有其歷史淵源。亞裏士多德的努力和積累的目錄試圖確定它應該是令人信服的。(3)笛卡爾的解析幾何仍然顯示歐幾裏得的工作，這顯然是壹個值得關註的問題。純思維(線條零寬度，各種完美只有上帝才能做到)其實可以把代數和形式計算聯姻，這是上帝能做到的。到那時，
這時，就有了壹個明確而具體的觀點，因為在上帝的歐幾裏得中‘而且它不能用代數幾何來捕捉，所以這種短暫的東西的某些變種(或任何)可以稱為思想的計算，具體的邏輯推論。19世紀，奠定了布爾正位計算法的基礎。
阿砣和弗雷格的後期工作為現代石的上遊形成提供了新的基礎。戴維斯的工作，普特曼和羅賓遜在20世紀的最後壹步更容易提供足夠的第壹次自動推導證明者定理。現代兒童的智力發展包括許多努力。第壹個以邏輯為代表，各種項目的壹些推理引擎。並且大量的工作為邏輯推理運算提出了明確的議程，比如Prolog。這清楚地表明，發展路線分配方法是基於培養和智能推理的性質。這裏有，比如歷史發展的基本前提，即邏輯推理中的智能推理方法；
壹切都是壹個錯誤或者壹個季節。這是協約國信奉“邏輯”的邏輯，也意味著，第壹，提高壹般的推演。這兩個簡單的東西是崩潰的重要部分，和基本邏輯推理的智能:它指的是邏輯推理的智慧，以確定邏輯為先。第二個重要的部分是全職信念，這是壹個智能的推理過程，可以捕捉形式解釋和形式說明。尤其是在精簡方面。但是不同的觀點也可以談智力。壹個完全不同的觀點是，佛教AI受傳統心理學影響。這個傳統，根植於赫布、布魯納、米勒和內維爾·西蒙&；打破刺激/反應意見和行為主義的要求，人類解決問題的行為可以看作是目標、計劃等復雜的心理結構。現代表現形式包括壹般工作機制作為壹個生產系統，基於不斷增加的智能推理和知識，從而獲得人類專家的推理。對比這兩種傳統的差異，顯示出巨大的影響力。用壹個人或其他智能推理。在傳統的智能邏輯學家推理中，它被視為壹種計算，演繹出壹般最重要的邏輯，而在傳統的基礎上，它采用了智能推理的心理特征，尤其是對人類各種行為的興趣。所以形式上確定是基於數學計算，而對於那些傳統的心理現象，是基於對自然的經驗。因此，有兩種不同性質的基本假設。這裏的現象基本都被抓了。第二個方面是考慮這些問題的答案。性是每個邏輯學家求教的傳統音樂，語言準確。尋找數學語言的邂逅(有時是物理)。傳統的心理學對比表明，智力不僅是壹種自然現象，它本身也是壹種復雜的自然現象:在人體解剖和生理本身復雜系統的長期進化中，它可能就是智力。所以有可能收集到大量的情報項目。從根本上說，簡明扼要的介紹是不完全可能的。壹些有用的結果，因為在這個根本問題上，不同的立場理解每個傳統。首先，它表明任何選擇那些傳統的現代產品——即.
任何技術的代表都代表了表底——也就是我們選擇上面的代表:我們也采用同樣的概念選擇推理智慧的本質。第二，這些概念的重要方式不同:我們試圖用不同的基本概念來捕捉現象，不同的概念有著深層次的差異和研究工作的各種目標，我們試圖創造智能程序。簡單來說，不同的概念導致不同的智能推理目標和成功的定義。並創造出不同的藝術作品。最後，這些差異很少被表達出來。這反過來使人們能夠選擇代表性(例如，很難判斷德-英原因FOPC的性質並提出壹個基於框架的系統)，但真正的問題是，我們認為不同觀點的根本信息、不同立場的理解和分析問題的適當安排是得到支持的。第二部分是“聰明制裁的理由是其推論，即選擇適當的推論並得出結論”這壹理論的代表。傳統的定義來自傳統的形式邏輯，但只有來自合理的推理才是推理(即包含壹點邏輯，每種模式的規定也是公理化模式的終結)。這個答案有壹些重要的優點，包括滿足直覺(它是合理的，不會引入錯誤)和清晰(我們知道我們有把握)。可以正式證明，我們壹開始積累了很多經驗。我們還討論了幾個不包括資格和綁架的邏輯推論。這主要是考慮到發達國家的要求:要有良好的動機“模型的理論基礎”[19]，如定義最低標準模型。這個要求的壹個基本組成部分就是邏輯主義者的方法:雖然願意得出結論，但是壹些小模型的這樣壹系列結論(並不真的在每個模型中)仍然認為理論模型計算是具體的、清晰的。其他代表討論其他定義:概率推理系統的懲罰(如20)規定了概率論的推論，而合理的參謀(如[7])依賴於概念的經濟合理性。在基於技術常識和規則的體系中，投機者和專家提出並推測。它可能不是壹個真實的聲音或任何模型。在代表的鼓勵下，壹場好的博弈可能會導致不正確的結論，期望，或者欠款。這兩種心理學和傳統定義的認可人類行為推論的專家是壹樣的，而不是抽象的形式參考模型。答案格式和內容，這些例子說明不同的崗位許可具體方法有不同的內容和形式。例如，在邏輯規範中，如何在理論和數學模型以及其他觀點方面提供答案往往要準確得多。理論框架，比如如何定義人的行為的規定，只是關於兩個不同的內容，其體例也有不同的見解。明智地探索上述推論。人類重復行為的定義是恰當的。因為視覺智能推理的理論是人類特有的行為，為了說明這種行為的理論面對的是壹種復雜的經驗現象，在壹個粗略的時刻永遠無法具體準確，所以近似的答案是壹個理論框架。那麽，無論是非正式的具體懲罰，還是經驗推斷，其結果必然是思想智慧和工作(如工作)，不容易不準確。
智能推理的基本概念決定了不同的工作方式，不同的答案表示不同的關鍵答案。這裏是被廣泛認可的正當性，並推導出各種具體的懲罰方式:理論模型可以清晰有力，但不是正式制度唯壹可行的語言。還是比較廣泛的，不僅是形式上的定義，還有明確的答案。選擇合適的詞匯取決於在正式程度上的智能行為的基本概念。這些結論表明。雖然美國的判決告訴我們壹切都可以下結論，但這是壹個很大的不足，制約了它。任何試圖使系統自動化的理由，我不知道我的推斷只是按照批準，我很快就會被選中。因此，我們必須表明上述推論是可以依法提出的，我們還需要壹些跡象來推斷，這是壹個恰當的判斷。也就是聰明。這個標誌是通過壹系列的暗示來判斷的。看到具體建議的必要性是壹個具體的分配，也要談談如何明智。而且是壹種理論知識和智能推理。它通常是合理的，並且該理論提供了對人類行為的觀察。明斯基的原始理論框架進行了討論，例如，它提供了壹個明顯的例子，並建議了壹套推論。考慮到這壹點，從原著中導入了壹組17的文檔:這是壹種本土的理論思維:每當他遇到壹個新的情況(或者壹個想法發生了重大的改變)，他選擇壹種叫做框架的記憶結構；
請記住，結構調整需要細節來適應不斷變化的現實。有壹段時間，[重要的]情況規定，如在客廳或孩子的生日。第壹句話說明了道理，代表了對方:這是壹份知識雇傭文件，但首先，這也是壹份理論思考。這壹理論引起了對人類智能推理的啟示，即如何使人們處理如此簡單的常識性推論，這似乎很難捕捉。
，科學的推理風格就完成了。可以推薦類似性質的論點來代表大多數其他技術。例如，Nets Semantic的原始形式建議通過網絡進行雙向交流，相互啟發的定義以及詞語表達人類智慧的能力，以找到人們聯系明顯不同的概念。基於知識的規則系統可以通過觀察人類專家來推斷推薦和被推斷。邏輯與此相反。在這個問題上，我采取了最低的立場。我只提供理論支持我的推斷，試圖在這個問題上保持沈默，推斷建議。在這個問題上保持沈默的動機是壹般的推理機制和聲明(即獨立於使用的)形式的文字。邏輯學家方法，其中包括基本目標:“:邏輯學家努力使推理過程統壹和領域獨立，並將所有知識(即使他們知道如何使用知識)表示為剛性的，”19協商，但這些目標無法推斷出任何具體的建議，原因有二。第壹，如果推理過程是普遍統壹的(即所有問題都用同樣的方法解決)，它必須保持中立。本論文提出，任何特定的分支推斷都試圖挑出壹個可能合適的情境，但這是致命的、不好的，因為任何推斷策略(單元偏好、壹組支持等。)壹般是合適的。第二，如果必須聲明國家的語言，必須有明確的事實，但沒有說明原因。它(言論自由的使用是宣言的特別代表)。所以推理機可以推薦任何推理T(否則會失去普遍性和統壹性)而事實陳述的語言不能推薦任何推理(因為這個新聞失去了宣示性)。(4)普遍渴望和利用言論自由，以便妳能從當選的代表那裏提出建議。但是如果妳不能建議妳自己的代表，妳應該建議，因為替代——沒有指導的搜索——是站不住腳的。在某種程度上，這也是壹種故意美德邏輯學家的方法:防止來自選擇的判斷，因此要求用戶這樣做的機會是，信息是壹個明確的代表，而不是壹個嵌入在建議機制中的代表(例如，基於規則的系統或Prolog)。
在為用戶提供清晰的策略和方法來引導系統的努力中，這是壹個不可接受的目標。
三、常用方法:告訴用戶自己做了系統，讓自己的用戶做正確的事情，建立特殊用途的推理策略。
如何“本系統是讓用戶在同壹書面陳述(語句)中推薦壹系列結論，以語言表達關於世界的事實(如杜[9])。
《領導系統的正確的事情就是讓用戶去做》所選的定理、定律、引理供給系統。
比如當下的期限，不僅僅是壹個制度，還提供了壹個簡化的方式，成為長鏈中的壹步，實際上是讓制度在某個方向上邁出了“壹大步”(也就是方向，我們需要壹個期限)。
可以從精心挑選的事實和lemmas用戶推薦中間接推斷出某個類別。
“特殊目的推論”戰略建築控制的具體策略是直接進入定理機器。
這可以提供許多有用的實用標準並加快操作效率。
所有這些做法都有利有弊。
根據陳述，首先，該策略符合邏輯主義者方法的邏輯精神，即:
統壹認識，明確表示，聲明表示。
但這在實踐中往往是壹個問題:語言表達的設計不壹定是剛性的，這壹事實說明它是壹種重要的特征信息推理策略。
精心選擇的引理充其量是間接編碼信息來指導供給。
最後，壹部分特殊的機制，同時也是壹個強大的推理策略和程序都被蒙在鼓裏，而原本在構造領域的獨立目標被清晰地推斷和宣告。
好消息是，在這個問題上保持沈默是合理的，尤其是推薦結論。邏輯提供了壹定程度的普遍性和可能的信息，提供了明確的建議。
更可喜的是，現在的任務是引導系統，使用戶不為概念和實踐提供協助，結果是在壹些關鍵時刻戰勝目標的實踐是第壹動力。
角色4:韓國是壹個高效的計算工具，從純粹的機械和儀器原因(更有爭議的還有人類)到計算機程序。
總之壹定要用計算和分配。
結果運營效率不可避免地質疑了中心局的概念。
這壹點早就被認可了，這至少暗示了代表。