形式化推演方法是現代邏輯的重要推理方法。它用人工符號語言來表示演繹推理,把推理表現為一系列符號與符號之間的變形,如同數學演算的符號變形。這些人工符號本身是自然...
沙盤推演又叫沙盤模擬培訓,是通過引領學員進入一個模擬的競爭性行業,由學員分組建立若干模擬公司,圍繞形象直觀的沙盤教具,實戰演練模擬企業的經營管理與市場競爭,在...
公式推演是計算機自動推演數學公式的技術,是人工智慧的一個套用領域,又稱計算機代數。運用公式推演技術能使人們從手工的繁瑣和容易出錯的符號演算和推理中擺脫出來。...
歸納推演法則(inductive inference)一種推演法則.下述推演法則稱為歸納推演法則: 其中a不在Fco>,r,o中出現,s是任意項,a稱為這個推演法則的本徵變元.式(1)這種...
形式理論(formal theory)一種語句集合,由獷中一些語句構成的集合稱為羅中的一個形式理論。...
瑞士心理學家皮亞傑將兒童從出生後到15歲智力的發展劃分為四個發展階段。形式運算階段(12-15歲)處於皮亞傑所劃分的兒童認知發展階段的第四個階段中。在此階段,兒童...
兵棋是通過對歷史的更深理解,嘗試推斷未來。一款兵棋通常包括一張地圖、推演棋子和一套規則,通過回合制進行一場真實或虛擬戰爭的模擬。地圖一般是真實地圖的模擬,有...
定義介紹 證明形式(argument form)亦稱論證形式.論證三要素之一指把論證中的論題和論據聯繫起來的形式,即論證中採用的推理形式。在論證過程中必須有一個從論據到論...
《現代化工HSE案例推演》是2017年化學工業出版社出版的圖書,圖書作者是周福富、郭霞飛。...
圖書簡介《趙毅衡形式理論文選》是北京大學出版的一本圖書1內容簡介《中國符號學名家文庫》其中一本。趙毅衡教授半個世紀以來專心從事形式論(符號學-敘述學-詩學與...
《中醫辨證的機器推演》是2009年科學出版社出版的圖書,作者是周昌樂。全書主要以中醫辨證過程的計算實現為核心,系統介紹了中醫辨證機器實現的人工智慧方法和技術。...