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

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

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

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