對謂詞邏輯在人工智能科學中應用的分析

謂詞邏輯是人工智能科學賴以產(chǎn)生和發(fā)展的最重要理論基礎,從計算機系統(tǒng)理想化知識表達法的要求來看,謂詞邏輯表達法在人工智能科學應用中有著不可替代的優(yōu)點.但由于受形式邏輯本身表達范圍的影響,它在表達知識的水平和能力上又存在一些局限,而這正是我們應進一步探討以求解決的問題.

作 者： 趙卯生 ZHAO Mao-shen   作者單位： 山西醫(yī)科大學,山西,太原,030001  刊 名： 山西高等學校社會科學學報  英文刊名： SOCIAL SCIENCES JOURNAL OF COLLEGES OF SHANXI  年，卷(期)： 2001 13(12)  分類號： B81-06  關(guān)鍵詞： 謂詞邏輯   人工智能   知識表達   形式化的邏輯  

【對謂詞邏輯在人工智能科學中應用的分析】相關(guān)文章：

GIS在航道管理中的應用分析04-26

GPS在地籍測量中的應用分析04-27

建筑中水處理技術(shù)及應用分析04-26

層次分析法在定量分析中的應用04-26

因子分析在水質(zhì)評價與成因分析中的應用04-27

先驗論證的邏輯分析04-26

也字句歧義的邏輯分析04-26

拓撲排序在農(nóng)機件加工中的應用及分析04-26

文體分析在大學英語綜合課中的應用04-27

接頭分析在汽車NVH正向設計中的應用04-27