基于描述邏輯ALCO@的運(yùn)作理論的研究.pdf

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

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