Abstract
規則系統（production system ）的衝突解決（conflict resolution ）是推理工作中的一個主要部分。而過去在衝突解決上的研究都集中於資料驅動(data-driven）規則系統。雖然在解決資料驅動規則系統的衝突上已有許多很的策略，但是這些策略在目標驅動（goal-driven ）規則系統中卻無法發揮優點。同時，有鑑於在目標驅動規則系統衝突解決上的研究之缺乏，對此問題有再詳加研究的必要。本篇論文的目的即是針對目標驅動規則系統之衝突解決做一詳細的研究並提出一些於此系統上比以往較好而且可行的衝突解決策略。為了簡化目標驅動PS之衝突解決的討論，我們在不失一般性下接受了第一章所提出的假設而且在以這些假設的基礎上我們提出了一些衝突解決的策略。雖然在資料驅動PS的衝突解決策略已有很好的結果，但是在目標驅動衝突解決策略的研究卻很稀少。因此，在此篇論文中，我們仔細研究目標驅動PS的衡突解決問題。由於假設的限制，我們僅在順序執行的程式中提出衝突解決的策略，而LHSs的unification 也在本篇中並未考慮。最後，我們不能保證提出了所有可能的衝突解決策略，但是這些策略確實已經表現出它們完整的面貌。