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

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

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

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

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

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

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

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

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

先驗(yàn)論證的邏輯分析04-26

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

拓?fù)渑判蛟谵r(nóng)機(jī)件加工中的應(yīng)用及分析04-26

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

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