對謂詞邏輯在人工智能科學中應(yīng)用的分析

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

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

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

GIS在航道管理中的應(yīng)用分析04-26

GPS在地籍測量中的應(yīng)用分析04-27

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

層次分析法在定量分析中的應(yīng)用04-26

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

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

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

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

文體分析在大學英語綜合課中的應(yīng)用04-27

接頭分析在汽車NVH正向設(shè)計中的應(yīng)用04-27