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

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

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