【正文】 2023年 4月 2日星期日 上午 1時(shí) 37分 3秒 01:37: 1最具挑戰(zhàn)性的挑戰(zhàn)莫過(guò)于提升自我。 2023年 4月 2日星期日 1時(shí) 37分 3秒 01:37:032 April 2023 1空山新雨后，天氣晚來(lái)秋。 , April 2, 2023 很多事情努力了未必有結(jié)果，但是不努力卻什么改變也沒(méi)有。 :37:0301:37Apr232Apr23 1故人江海別，幾度隔山川。 但是 要求把邏輯公式轉(zhuǎn)化為某種范式，喪失了其固有的邏輯蘊(yùn)含語(yǔ)義 。 mgu is unique F={P(x,f(y),B)} s={A/x,B/y} g={B/y} s’={A/x} gs’=s 智能科學(xué)與技術(shù)系 相關(guān)概念 文字 ： 原子公式及其否定統(tǒng)稱為文字 子句集 (1)子句定義 任何文字的析取式稱為子句 不包含任何文字的子句稱為空子句 （ 空子句是永假的 ） 由子句構(gòu)成的集合稱為子句集 例： {P（ x） ∨ Q(x) , ~P（ x， f(x)） ∨ Q(x,g(x)) } 化子句集 智能科學(xué)與技術(shù)系 (2)謂詞演算公式化為子句式 任何一個(gè)謂詞演算公式可以化為一個(gè)子句集合 步驟： 1)消去蘊(yùn)涵符號(hào) 用 ~A∨ B代換 A→B 2)把非號(hào) ~移入內(nèi)層 P ~ x) (= x)P ( ~ P ~ x) (= x)P ( ~ Q ~ P ~ Q) (P ~ Q ~ P ~ Q) (P ~ ? ? ? ? ? = ? ? = ? 智能科學(xué)與技術(shù)系 3)對(duì)變量標(biāo)準(zhǔn)化 改變變量名，使不同的變量不同名 4)消去存在量詞 (具體化 Skolemnizing)， 兩種情況： 1. 存在量詞不在全稱量詞的轄域內(nèi) ——用新的個(gè)體常量替換受存在量詞約束的變?cè)? 2. 存在量詞在全稱量詞的轄域內(nèi) Skolem函數(shù) ， 即具體化函數(shù) x)Q(x) ( x)P(x) ( ? ? ? y)Q(y) ( x)P(x) ( ? ? ? ) a ( Q ) x ( P ) x ( ? ? ? ) y ( Q ) y ( ) x ( P ) x ( ? ? ? ) y , x ,..., x , x ( P ) y )( x )...( x )( x ( n 2 1 n 2 1 ? ? ? ? ) x ,..., x , x ( f , x ,..., x , x ( P ) x )...( x )( x ( ) n 2 1 n 2 1 n 2 1 ? ? ? ? 智能科學(xué)與技術(shù)系 5)化為前束形式 把全稱量詞提到最外層 前束形 := (前綴 ) {母式 } ↑ ↑ 全稱量詞串 無(wú)量詞公式 6)把母式化為合取范式 7)消去全稱量詞 8)消去連詞符號(hào) ∧ ，寫成子句集 9)變量分離標(biāo)準(zhǔn)化 改變變量名稱，使一個(gè)變量符號(hào)不出現(xiàn)在一個(gè)以上的子句中 智能科學(xué)與技術(shù)系 消解式的定義 命題邏輯的消解式 設(shè) C1與 C2是子句集中的任意兩個(gè)子句，如果 C1中的文字 L1與C2中的文字 L2互補(bǔ)，那么從 C1和 C2中分別消去 L1和 L2，并將兩個(gè)子句中余下的部分析取，構(gòu)成一個(gè)新子句 C12，則稱這一過(guò)程為消解，稱 C12為 C1和 C2的消解式， C1， C2為 C12的親本子句 例：子句 C1=P∨ C139。 1985 年發(fā)表論文 “關(guān)于代數(shù)方程組的零點(diǎn) ” —吳文俊消元法，即 “ 吳氏公式 ” 。 新中國(guó)成立之初，公開發(fā)表演說(shuō)表示對(duì)新中國(guó)的支持。 智能科學(xué)與技術(shù)系 自動(dòng)證明的發(fā)展 塔斯基 塔斯基（波蘭） 1950年，證明了： “ 一切初等幾何和初等代數(shù)范圍的命題都可以用機(jī)械方法判定 ” 為幾何定理的機(jī)器證明開拓了一條利用代數(shù)方法的途徑 方法太復(fù)雜，即使用高速計(jì)算機(jī)也證明不了稍難的幾何定理 智能科學(xué)與技術(shù)系 自動(dòng)證明的發(fā)展 艾倫 .紐厄爾 紐厄爾 ,西蒙和肖 1956年 , 發(fā)表了論文 《 邏輯理論機(jī) 》 (LTM) 認(rèn)為 LTM不僅是計(jì)算機(jī)智力的有力證明，也是人類認(rèn)知本質(zhì)的證明 1957年開發(fā)了最早的 AI程序設(shè)計(jì)語(yǔ)言 IPL語(yǔ)言 1960年，成功地合作開發(fā)了“ 通用問(wèn)題求解系統(tǒng) ” GPS (General Problem Solver) 赫伯特 .西蒙 智能科學(xué)與技術(shù)系 自動(dòng)證明的發(fā)展 —王浩 王浩 美籍華裔王浩（ 1921—1995） 數(shù)學(xué)家、邏輯學(xué)家、計(jì)算機(jī)科學(xué)家、哲學(xué)家。智能科學(xué)與技術(shù)系 人工智能課程改革與建設(shè) 第五講 經(jīng)典人工智能技術(shù) —— 推理與搜索 Traditional Technology of AI 中南大學(xué) 劉麗玨 2023 智能科學(xué)與技術(shù)系 本講授課要點(diǎn) 講授基于符號(hào)主義的經(jīng)典人工智能技術(shù)。 簡(jiǎn)歷 生于山東濟(jì)南市 1943年畢業(yè)于西南聯(lián)合大學(xué)數(shù)學(xué)系 1945年畢業(yè)于清華大學(xué)研究生院哲學(xué)系 1948年獲哈佛大學(xué)哲學(xué)博士學(xué)位 19541956年在牛津大學(xué)任高級(jí)教職 19611967年任哈佛大學(xué)教授 19671991年任洛克菲勒大學(xué)邏輯學(xué)教授 20世紀(jì) 50年代初當(dāng)選美國(guó)科學(xué)院院士及不列顛科學(xué)院外籍院士。 1972年回國(guó)時(shí)曾受周恩來(lái)總理的接見。 2023年 5月 4日，國(guó)際小行星中心發(fā)布公報(bào)通知國(guó)際社會(huì)，將國(guó)際永久編號(hào)為第 7683號(hào)的小行星永久命名為 “ 吳文俊星 ” 。 C2=~P∨ C239。例如： 如果一個(gè)人發(fā)燒、肚子痛，那么很可能是感染了。 01:37:0301:37:0301:37Sunday, April 2, 2023 1乍見翻疑夢(mèng)，相悲各問(wèn)年。 01:37:0301:37:0301:374/2/2023 1:37:03 AM 1成功就是日復(fù)一日那一點(diǎn)點(diǎn)小小努力的積累。 上午 1時(shí) 37分 3秒 上午 1時(shí) 37分 01:37: 楊柳散和風(fēng)，青山澹吾慮。 2023年 4月 上午 1時(shí) 37分 :37April 2, 2023 1業(yè)余生活要有意義，不要越軌。 :37:0301:37:03April 2, 2023 1意志堅(jiān)強(qiáng)的人能把世界放在手中像泥塊一樣任意揉捏。 2023年 4月 上午 1時(shí) 37分 :37April 2, 2023 1少年十五二十時(shí)，步行奪得胡馬騎。 上午 1時(shí) 37分 3秒 上午 1時(shí) 37分 01:37: 沒(méi)有失敗，只有暫時(shí)停止成功！。 01:37:0301:37:0301:374/2/2023 1:37:03 AM 1以我獨(dú)沈久，愧君相見頻。 解：先定義謂詞： Poor(x) x是貧窮的 Smart(x) x是聰明的 Happy(x) x是快樂(lè)的 Read(x) x能看書 Exciting(x) x過(guò)著激動(dòng)人心的生活 消解反演示例 —“激動(dòng)人心的生活 ” 問(wèn)題 智能科學(xué)與技術(shù)系 消解反演示例 —“激動(dòng)人心的生活 ” 問(wèn)題 問(wèn)題謂詞表示： “ 所有不貧窮并且聰明的人都是快樂(lè)的 ” (?x)((~Poor(x)∧ Smart(x))→Happy(x)) “那些看書的人是聰明的 ” (?y) (Read(y) → Smart(y)) “李明能看書且不