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

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

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