[計(jì)算機(jī)軟件及應(yīng)用]人工智能與專家系統(tǒng)第四章智能程序設(shè)計(jì)-資料下載頁(yè)
2025-01-04 19:58本頁(yè)面
【正文】 ?作為目標(biāo)，求解立即失敗，引起回溯 ?goal: h1, h2, fail, h3 !與 fail相結(jié)合的例子 notequal(X,Y) if equal(X,Y), !, fail. notequal(X,Y). equal(X,X). goal: notequal(6,7) yes goal: notequal(6,6) no 第四節(jié) PROLOG的基本程序段 一、常量段 ?用來(lái)說(shuō)明符號(hào)常量 ?由 “ constant”標(biāo)識(shí) ?在常量說(shuō)明中，系統(tǒng)不區(qū)分大小寫(xiě) ?可有多個(gè)常量段 ?每個(gè)常量要先定義后使用 ?例如： constant pi= zero=0 num=50 第四節(jié) PROLOG的基本程序段 二、域段 ——由 domains標(biāo)識(shí) 標(biāo)準(zhǔn)域 ?char——標(biāo)準(zhǔn) ASCII碼中任意一個(gè)字符，被單引號(hào)括起來(lái) ?integer ?real ?string——由雙引號(hào)括起來(lái)的字符序列 ?symbol ?以小寫(xiě)字母開(kāi)始，由若干字母、數(shù)字、下劃線組成的序列 ?雙引號(hào)括起來(lái)的字符序列 ?若謂詞參數(shù)采用標(biāo)準(zhǔn)域，則域段可省略 ?若謂詞參數(shù)采用非標(biāo)準(zhǔn)域，則需在域段中說(shuō)明 第四節(jié) PROLOG的基本程序段 表域 ?表域名 =域名 * ?例如： domains myint=integer mylist=myint* predicates member(myint, mylist) clauses member(X,[X︱ _]). member(X,[_︱ Y]) if member(X,Y) domains mylist=integer* predicates member(integer, mylist) 第四節(jié) PROLOG的基本程序段 復(fù)合對(duì)象域 ?標(biāo)識(shí)符 =結(jié)構(gòu)名 (域名 1, 域名 2, … ,域名 n) ?例如： domains person=person(name,address) name=name(first,last) address=address(street,city,state) street=street(number,streetname) city,state,streetname=string first,last=string number=integer 第四節(jié) PROLOG的基本程序段 三、謂詞段 ——由 predicates標(biāo)識(shí) ?謂詞 (域 1, 域 2, … , 域 n) ?域可為標(biāo)準(zhǔn)域，也可為非標(biāo)準(zhǔn)域 ?例如： predicates person(symbol, symbol) 或 domains name, sex=symbol predicates person(name, sex) 第四節(jié) PROLOG的基本程序段 四、子句段 ——由 clauses標(biāo)識(shí) ?一個(gè)子句是一個(gè)事實(shí)或一個(gè)規(guī)則 ?子句段是程序的核心 ?子句段中包含事實(shí)語(yǔ)句和規(guī)則語(yǔ)句 五、目標(biāo)段 ——由 goal標(biāo)識(shí) ?內(nèi)部目標(biāo) ——在目標(biāo)段提出的目標(biāo) ?外部目標(biāo) ——在人機(jī)交互環(huán)境下提出的目標(biāo)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1