時(shí)態(tài)邏輯及其對知識庫的構(gòu)架與研究.pdf

1、傳統(tǒng)的適應(yīng)馮·諾依曼機(jī)器體系可執(zhí)行語言的特征即表示自動(dòng)機(jī)的狀態(tài)轉(zhuǎn)換機(jī)制,其方式是命令式的,其語義是動(dòng)態(tài)的;而適于這種模型的規(guī)范語言,其語義則是靜態(tài)的.當(dāng)遇到動(dòng)態(tài)的、實(shí)時(shí)的、并發(fā)的或具有其他時(shí)態(tài)特性的推理時(shí),這種靜態(tài)的推理方式則有較大缺陷.作為模態(tài)邏輯的繼承,與數(shù)理邏輯的又一外延,時(shí)態(tài)邏輯斷言推理則有效地解決這方面出現(xiàn)的難題.它能有效地運(yùn)用于規(guī)則的組織、推理與架構(gòu),并應(yīng)用于知識庫、智能決策支持系統(tǒng)、實(shí)時(shí)數(shù)據(jù)庫、專家系統(tǒng)等.另一方面,在現(xiàn)行

2、知識庫中對于規(guī)則的組織、調(diào)度與推理并無統(tǒng)一標(biāo)志.這種無統(tǒng)一性,造成在設(shè)計(jì)知識庫時(shí),由于外部條件、事件的不可確定性,使得庫內(nèi)結(jié)構(gòu)復(fù)雜,增加了設(shè)計(jì)的困難,也增加了推理的復(fù)雜度和準(zhǔn)確性.由此,針對知識庫,可以做一個(gè)這樣的探討:使用時(shí)態(tài)邏輯對知識規(guī)則進(jìn)行構(gòu)架,在知識庫內(nèi)則用時(shí)態(tài)邏輯斷言進(jìn)行推理,從而使得對知識庫的規(guī)則驅(qū)動(dòng)有了一個(gè)統(tǒng)一的標(biāo)志--時(shí)態(tài).該文從時(shí)態(tài)邏輯及其知識表達(dá)開始介紹,并給出了時(shí)態(tài)邏輯對知識規(guī)則的構(gòu)架與推理的實(shí)例在新應(yīng)用領(lǐng)域的研究