基于描述邏輯ALCO@的運作理論的研究.pdf

1、作為一類用于知識表示的形式化工具，描述邏輯具有很強(qiáng)的表達(dá)能力，對于問題的推理具有可判定性。在知識表示、軟件工程、信息系統(tǒng)自然語言處理等諸多領(lǐng)域內(nèi)，描述邏輯都有用武之地。
　　在知識表示中，對于行為的描述以及未來可能發(fā)生動作的推理成為重要的研究方向。動作理論，例如情景演算、流演算和狀態(tài)演算，目的在于使用適當(dāng)?shù)恼Z義方式描述動作以及動作的執(zhí)行過程。情景演算等都使用一階或者高階邏輯來描述動作的前提條件和動作執(zhí)行的結(jié)果或者世界狀態(tài)，但是它們

2、的推理是不可判定的，在動作推理的實際應(yīng)用中，這些不能被直接使用。因此，本文在描述邏輯ALCO@的基礎(chǔ)上，對動作的相關(guān)理論進(jìn)行了研究，主要工作如下:
　　(1)構(gòu)建了基于描述邏輯ALCO@的動作理論系統(tǒng)DL-A，利用前提條件集、條件結(jié)果集和直接結(jié)果集表示動作，并給出其語義。在DL-A框架下利用順序、選擇和循環(huán)等動作構(gòu)造符，構(gòu)造出動作表達(dá)式，并給出其語義。
　　(2)給出了由于動作執(zhí)行所引起的狀態(tài)更新算法。給出了原狀態(tài)集和更新集