[計(jì)算機(jī)軟件及應(yīng)用]人工智能與專家系統(tǒng)第四章智能程序設(shè)計(jì)(編輯修改稿)
2025-01-31 19:58 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 on(z, m). person(y, w). person(c, w). person(l, m). goal: person(X,m) X=z X=l 第二節(jié) PROLOG程序設(shè)計(jì)基礎(chǔ) predicates likes(symbol, symbol) clauses likes(zhang, flower). likes(zhang, wine). likes(wang, wine). likes(wang, zhang). goal: likes(wang, X) X=wine X=zhang goal: likes(zhang,X), likes(wang,X) X=wine 第二節(jié) PROLOG程序設(shè)計(jì)基礎(chǔ) 包含多個(gè)子目標(biāo)的問(wèn)題求解過(guò)程 goal: 事實(shí) 1，事實(shí) 2， … ，事實(shí) n 示例 dish(pork). dish(fish). main(rice). main(bread). fruit(apple). fruit(orange). meal(D, M, F) if dish(D), main(M), fruit(F). goal: meal(D, M, F) 第二節(jié) PROLOG程序設(shè)計(jì)基礎(chǔ) 五、規(guī)則的遞歸描述 概念 ?在規(guī)則中，將自身作為一個(gè)成份，則稱此規(guī)則是遞歸的 ?如： on(a4, a3). on(a3, a2). on(a2, a1). top(An, A1) if on(An, A1). top(An, A1) if on(A2, A1), top(An, A2). goal: top(a4, a1) a1 a2 a3 a4 第二節(jié) PROLOG程序設(shè)計(jì)基礎(chǔ) 示例 （ 1）求 ??????????0n 1)1(0 1!?nnnnpower(0,1). power(N,Y) if N1=N1, power(N1, Y1), Y=N*Y1 goal: power(2, Y) Y=2 (2) 求表的長(zhǎng)度 length([], 0). length([H︱ T], X) if length(T, X1), X=X1+1 goal: length([a,b,c], X) X=3 第二節(jié) PROLOG程序設(shè)計(jì)基礎(chǔ) （ 3） x是否是表中的一個(gè) member(X, [X︱ _]). member(X, [_︱ Y]) if member(X, Y). goal: member(b, [a,b,c]) yes (4) 求表中最后一個(gè)元素 last([X︱ []], X). last([Y︱ Z], P) if last(Z, P). goal: last([a,b,c], Y) Y=c 第二節(jié) PROLOG程序設(shè)計(jì)基礎(chǔ) （ 5）表的連接 append([], L, L) . append([H︱ L1], L2, [H︱ L3], ) if append(L1, L2, L3) goal: append(L1, L2, [a,b,c]) 第三節(jié) 對(duì)回溯的控制 一、截?cái)? 示例 predicates
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1