一個(gè)步進(jìn)邏輯系統(tǒng)及其應(yīng)用.pdf

1、現(xiàn)實(shí)推理主體處于一個(gè)動(dòng)態(tài)的世界中，在主體推理的同時(shí)世界也正發(fā)生著各種變化，這些變化需要及時(shí)地為主體所考慮。在這些變化中容易被忽略的一點(diǎn)是，在推理的同時(shí)時(shí)間也在流逝，因?yàn)橥评肀旧硇枰ㄙM(fèi)時(shí)間?，F(xiàn)實(shí)推理主體常常受限于推理的時(shí)間，某些邏輯后承于信念集的結(jié)論主體未必能夠知道，因?yàn)檫@需要花費(fèi)足夠的時(shí)間進(jìn)行推演。因而推理時(shí)間限制著主體的實(shí)際推理能力和推理結(jié)果?，F(xiàn)實(shí)主體必須認(rèn)識(shí)到這種限制，在此意義上，可以說(shuō)推理處于時(shí)間情景之中。步進(jìn)邏輯正是一個(gè)為現(xiàn)實(shí)

2、推理主體提供的演繹理論，它賦予主體時(shí)間意識(shí)、自省能力和矛盾處理機(jī)制。
　　本文第一章介紹了步進(jìn)邏輯的研究動(dòng)機(jī)、研究現(xiàn)狀和本文的研究工作。在步進(jìn)邏輯中:(1)推理需要花費(fèi)時(shí)間;(2)能夠從外部獲得信息;(3)能夠反省主體的認(rèn)知狀況;(4)能夠修正信念;(5)容忍矛盾(即避免矛盾推出一切)、消除直接的矛盾。
　　本文第二章針對(duì)Drapkin的步進(jìn)邏輯理論在嚴(yán)格性方面的缺陷，利用現(xiàn)代邏輯方法構(gòu)造了嚴(yán)格的步進(jìn)邏輯語(yǔ)形、語(yǔ)義，證明了步

3、進(jìn)邏輯系統(tǒng)SL的元理論，包括可靠性、協(xié)調(diào)性等。
　　本文的第三章、第四章分別將步進(jìn)邏輯應(yīng)用于非單調(diào)推理和泥孩問(wèn)題。在第三章，通過(guò)將概稱句“鳥會(huì)飛”處理為帶時(shí)態(tài)的缺省句子，成功處理了非單調(diào)推理的經(jīng)典案例Tweety問(wèn)題，在此基礎(chǔ)上進(jìn)一步探討了尼克松菱形問(wèn)題和步進(jìn)邏輯的矛盾處理機(jī)制。第四章基于時(shí)間線索對(duì)泥孩問(wèn)題作了新的解讀，構(gòu)造了一個(gè)泥孩問(wèn)題的時(shí)間版本，并用步進(jìn)邏輯進(jìn)行求解，體現(xiàn)了步進(jìn)邏輯處理多主體動(dòng)態(tài)推理的能力。
　　綜上所述