人工智能的數(shù)學(xué)基礎(chǔ)-wenkub
2023-03-11 15:24:17 本頁(yè)面
【正文】 4n 約束變?cè)?，自由變?cè)?8 7n 謂詞公式的解釋：個(gè)命題變?cè)囊淮握嬷抵概蒼 謂詞公式： 永真性，可滿足性，不可滿足性 。58 5n 謂詞的一般形式是：P(x1,x2,…,xn)n P是謂詞名， x1,x2,…,xn是個(gè)體。58 2主要內(nèi)容n n n n 58 3n 命題邏輯與謂詞邏輯是最先應(yīng)用于人工智能的兩種邏輯n 謂向邏輯是在命題邏輯基礎(chǔ)上發(fā)展起來(lái)的，命題邏輯可看作是謂詞邏輯的一種特殊形式。人工智能的數(shù)學(xué)基礎(chǔ)模式識(shí)別與智能系統(tǒng)研究所(韓延彬58 1人工智能的數(shù)學(xué)基礎(chǔ)n 人類智能在計(jì)算機(jī)上的模擬就是人工智能，而智能的核心是 思維 ，因而如何把人們的思維活動(dòng)形式化、符號(hào)化，使其得以在計(jì)算機(jī)上實(shí)現(xiàn)，就成為人工智能研究的重要課題。58 4n 命題是具有 真假 意義的語(yǔ)句 :代表一種判斷， 肯定或者否定 ,真或者假 (1:0) 。n 謂詞可分為謂詞名和個(gè)體。58 858 958 10對(duì)于謂詞公式 P和 Q， 如果 P－ Q永真 ，則稱 P永真蘊(yùn)含 Q
職業(yè)教育相關(guān)推薦
鄂ICP備17016276號(hào)-1