Abstract
在過去的十年內，真理維護系統 (TMS)在人工智慧(AI)領域上引起了很大的注意，其中有一種是以假設為基礎的真理維護系統(ATMS)。ATMS是另一種解決問題的結構，它可以同時來探究許多(multiple)可能的解。同時ATMS也是一個命題邏輯式推理機(pr-opositional inference engine) ，它是被設計用來減化解問題器(problem solver)以利搜尋複雜的搜尋空間(search space)。這篇論文提出一些關於如何與ATMS交談以來解決一些限制滿足的問題 (constraint satisfaction problem)。我們在此用兩種問題來解說其運作之情形。第一個是排班問題(scheduling problem)，我們用一個簡單的排定約會時間的例子來展示ATMS解決問題時其基本運作的精神所在，並討論不正確的緣由(justification) 對整個系統的影響會損失本應該存在的答案。第二個是景像標註問題(scene labeling problem)，此時系統能夠直接由接合型態(junction t-ype)及其相結合的邊(edge)自動地產生出所需要的緣由以及矛盾(nogood)。這種方式自動產生了所有可能的標註，所以對於只有一種解釋(interpretation)的景像，或有許多種可能解釋的不明確(ambiguous) 景像，甚或根本不可能存在的景像而言，皆可偵測出來，並得到正確而且一致的解釋。以這裡提到的方式(approach)來處理限制滿足的問題，對於送給ATMS的緣由，其傳送的順序並不重要，最後會得到一樣的解答，因為ATMS是漸增的 (incremental)。最後，我們做了一些結論。