一個步進邏輯系統(tǒng)及其應用.pdf

1、現實推理主體處于一個動態(tài)的世界中，在主體推理的同時世界也正發(fā)生著各種變化，這些變化需要及時地為主體所考慮。在這些變化中容易被忽略的一點是，在推理的同時時間也在流逝，因為推理本身需要花費時間?，F實推理主體常常受限于推理的時間，某些邏輯后承于信念集的結論主體未必能夠知道，因為這需要花費足夠的時間進行推演。因而推理時間限制著主體的實際推理能力和推理結果?，F實主體必須認識到這種限制，在此意義上，可以說推理處于時間情景之中。步進邏輯正是一個為現實

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

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