命題信念集非修正方法的優(yōu)化策略研究.pdf

1、信息的不斷更新以及差異性使得它們相互之間的沖突矛盾經(jīng)常存在于常識(shí)推理過(guò)程之中。稱(chēng)這一類(lèi)不確定、不完全信息為信念。在推理的過(guò)程中發(fā)生矛盾，這時(shí)就要采取一定的方法來(lái)解決矛盾，這也是邏輯推理領(lǐng)域中的關(guān)鍵研究點(diǎn)。信念修正方法和信念非修正方法是針對(duì)這種信念集的不一致性進(jìn)行維護(hù)協(xié)調(diào)的兩種主要方法。信念非修正理論相較于信念修正理論，它避免了在修正的過(guò)程中因?yàn)閯h除一些信念后丟失了原本可以推導(dǎo)出的結(jié)論，以及得到并非希望所得結(jié)論等問(wèn)題。
　　命題邏輯

2、下的與或型子句集的非修正方法已提出，這使得信念非修正的思想得到進(jìn)一步拓展應(yīng)用。這一方法限制語(yǔ)句的語(yǔ)法形式為與或型子句，同時(shí)采用普通廣義歸結(jié)作為推理方式。經(jīng)證明，該方法所求假說(shuō)擴(kuò)充性質(zhì)良好，如一致性，封閉性，外延性等。然而，普通廣義歸結(jié)方法在其歸結(jié)過(guò)程中并沒(méi)有相關(guān)限制，這就導(dǎo)致廣義演繹過(guò)程中有可能存在著許多無(wú)用子句，使這一過(guò)程變得冗余繁長(zhǎng)。
　　本論文正是針對(duì)上述存在的問(wèn)題，基于非修正的思想，通過(guò)對(duì)普通廣義歸結(jié)過(guò)程使用優(yōu)化策略來(lái)改進(jìn)

3、與或句型信念集的非修正方法。本論文選取了兩種優(yōu)化策略來(lái)優(yōu)化上述方法。首先采用廣義刪除策略，把廣義歸結(jié)過(guò)程中的那些廣義歸結(jié)結(jié)果為重言式或者是被蘊(yùn)含的與或句舍去。接著采用廣義鎖歸結(jié)策略，通過(guò)給與或句的原子加鎖，并且規(guī)定每次廣義歸結(jié)只能選取含有最小鎖的與或句，以此來(lái)限制其參加廣義歸結(jié)。本論文證明了經(jīng)由這兩種優(yōu)化策略改進(jìn)與或句型信念集非修正方法后，所得假說(shuō)擴(kuò)充并沒(méi)有產(chǎn)生變化，性質(zhì)得以保留。
　　此外，本論文還給出了基于這兩種優(yōu)化策略改進(jìn)的