Abstract
對於一般非單調性推理的問題，傳統的方法是以純邏輯式推論。純邏輯式推理具有快速、省空間的優點。但對於不確定或有雜訊之資料則無法有效的加以處理。在本論文中，我們試著利用證據式松弛標名法來取代純邏輯式推論。以處理非單調性推理的問題。證據式松弛標名法為一種漸進式數值計算法。它能在考慮一連串的資料後，找出一個最佳的解。在此我們所使用的方法為丹氏標名法。為了使它能夠處理邏輯推論式，我們對丹氏標名法加以修改。使得它能夠處理由邏輯推論式所轉換過來的布林表示式。在整合數值計算法和邏輯推理時，我們提出兩種不同的處理模式：1.以證據式松弛標名法為基礎，將邏輯推論式化成標名法可以接受之限制格式。2.以邏輯推理為基礎，用證據式松弛標名法來模擬邏輯之推理。為使丹氏標名法能夠處理邏輯推論式，我們對丹氏標名法加以改進，使它具有處理反運算及聯集運算的功能。非單調性推理可概分為兩種：一、限制式其底推理可直接套用證據式松弛標名法。二、規則式其底推理可根據兩種觀點來處理：1.將邏輯式化成標名法可接受之限制格式。2.以標名法來模擬邏輯推論。一般內定規則若是任意串連，有時會產生非預期之錯誤。對於兩條互動內定規則，其隱含之意義可以一組對應的內定規則來達成。我們使用標名法來模擬邏輯推論的方法同樣可以達到純邏輯推要求。本文所提數值計算法與邏輯推理之整合，除了可達成不確定性之處理之外，還保留了邏輯推理原有之變數鏈結之功能。在對丹氏標名法之修改中，聯集運行無法達到原本預期的效果，可供日後繼續研究。