歡迎來到中文知識站!
>
提出了帶優先級的基於論據的非單調邏輯,從而能更有效地處理非單調推理。
藉助於歸納推理的局部合理*推論,本文修正了常見非單調邏輯的推理模式,從而提出了一種新的在演繹框架下實現歸納推理的形式方法。
圖文推薦
相關文章