人工智能程序設(shè)計語言-59-全文預(yù)覽
【正文】 程序設(shè)計 2/27/2023 2 華北電力大學(xué) 內(nèi)容 ? 綜述 ? 函數(shù)型程序設(shè)計語言 LISP ? 邏輯性程序設(shè)計語言 PROLOG ? PROLOG程序設(shè)計 2/27/2023 3 華北電力大學(xué) 綜述 ? 人工智能所解決的問題 ? 并非一般的數(shù)值計算或數(shù)據(jù)處理問題 ? 是要實現(xiàn)對腦功能的模擬和再現(xiàn) ? 人工智能程序 ? 面向問題 ? 面向邏輯 ? 支持知識表示 ? 能描述邏輯關(guān)系和抽象概念 ? 處理對象更多的是知識，或者說是符號 ? 常規(guī)程序設(shè)計語言受限 2/27/2023 4 華北電力大學(xué) 綜述 ? 人工智能程序設(shè)計語言 ? 函數(shù)型語言 ? 邏輯性語言 ? 面向?qū)ο笳Z言 ? 混合型語言 2/27/2023 5 華北電力大學(xué) 綜述 函數(shù)型語言 ? 函數(shù)型語言 LISP是一種函數(shù)型程序設(shè)計語言。除 LISP外， 20世紀 70年代 種稱為 FP的所謂純函數(shù)型程序設(shè)計語言。特別是 1981年日本宣布要以 PROLOG作為他們正在研制的新一代計算機 —— 智能計算機的核心語言，更使 PROLOG舉世矚目，迅速風(fēng)靡世界。與通常的過程性程序設(shè)計語言相比 , PROLOG是更高級的語言。 2/27/2023 9 華北電力大學(xué) 綜述 混合型語言 ? 1. 函數(shù)型與邏輯型語言的結(jié)合方式有耦合型和統(tǒng)一型兩類。該語言在 LISP的基礎(chǔ)上增加了表達合一、 回溯等機制的系統(tǒng)函數(shù)，從而在保持 LISP特色的同時又有了邏輯程序設(shè)計能力。這是 POP1 PROLOG和LISP的混合型語言 , 三種成分各有一個增量式編譯器。 (2)LOOPS(LispObjectOriented Programming System )。 (4) CLOS (CommonLisp Objetc System)。 (6) OBJ2 也是一種面向?qū)ο蟮暮瘮?shù)型語言。 (3) Vulan。 如 CAR′(LISP Language Program)) 返回值 LISP 2) CDR函數(shù) 功能 取出表中的表尾 如 (CDR′(LISP Language Program)) 返回值 (Language Program) 2/27/2023 21 華北電力大學(xué) 表處理函數(shù) 3) CONS函數(shù) 功能 將 S─表達式作為表頭加到表中去 如 (CONS′My′(LISP Language Program)) 返回值 (My LISP Language Program) 4) APPEND函數(shù) 功能 將 n個表中的元素合并成一個新表 如 (APPEND′(TIGER LION)′(DOG CAT)) 返回值 (TIGER LION DOG CAT) 5) LIST函數(shù) 功能 把 n個 S─表達式作為元素構(gòu)成一張新表 如 (LIST′YELLOW′RED′BLUE) 返回值 (YELLOW RED BLUE) 2/27/2023 22 華北電力大學(xué) 算術(shù)函數(shù) ? LISP的算術(shù)表達式也是用函數(shù)表示的 ， 稱為算術(shù)函數(shù) ? 舉例說明 ? (+2 5) 2+5， 返回值為 7 ? ((*4 8)(/10 5))表示 4 810/5， 返回值為 30 2/27/2023 23 華北電力大學(xué) 求值與賦值函數(shù) ? 撇號 ′ ? 是禁止求值函數(shù) QUOTE的簡寫形式 ? 賦值函數(shù)有多個 ? SET函數(shù)是最基本的一個 功能 把 S─表達式賦給變量 例如： (SET′X′8)。返回 T (ATOM′(a b))。否則，判斷 P2， …… 直到某個 Pi真為止，然后將對應(yīng)的 ei作為函數(shù)值。若x的值為表，則 COND的返回值為表的長度 2/27/2023 28 華北電力大學(xué) 自定義函數(shù) ? 自定義函數(shù)的格式為： (DEFUN函數(shù)名 (形參表 ) 函數(shù)體 ) 其中函數(shù)體，又可能是用戶自定義的函數(shù)或LISP基本函數(shù)的某種組合 2/27/2023 29 華北電力大學(xué) 例 定義求 N!的 LISP函數(shù) 階乘的公式是 n!＝ n (n1)! 1!＝ 1 0!＝ 1 其 LISP函數(shù)如下： (DEFUNN!(n) (COND((=n 0)1) ((=n 1)1) (T(* n(N!( n 1)))))) 該函數(shù)的最后一行中又調(diào)用了它自己→ 這個函數(shù) N!是遞歸定義的 2/27/2023 30 華北電力大學(xué) 例 HANOI ? （ DEFUN HANOI（ a b c n） 當(dāng)只有一個盤子時，直接將 a上的盤子移動到 c上 （ COND（（＝ n 1）（ MOVE－ DISK a c）） 其他情況，通過遞歸，先將柱 a上的 n－ 1個盤子通過柱 c移到柱 b上 （ T（ HANOI a c b（－ n 1）） 再將柱 a上的一個盤子移動到柱 c上 （ MOVE－ DISK a c） 最后再通過遞歸，將柱 b上的 n－ 1個盤子通過柱 a移動到柱 c上 （ HANOI b a c（－ n 1））））） ? 函數(shù) MOVEDISK起顯示的作用，表示從柱 from到柱 to移動了一個盤子 （ DEFUN MOVE－ DISK（ from to） TERPRI是回車換行函數(shù)， PRINC是顯示參數(shù)的函數(shù) （ TERPRI） （ PRINC” Move Disk From”） （ PRINC from） （ PRINC” To”） （ PRINC to）） 2/27/2023 31 華北電力大學(xué) 內(nèi)容 ? 綜述
范文總結(jié)相關(guān)推薦
鄂ICP備17016276號-1