Explanatory Nonmonotonic Reasoning
2005年1月 · Advances In Logic 第 4 冊 · World Scientific
1.0star
1 則評論report
電子書
424
頁數
family_home
符合資格
info
report評分和評論未經驗證 瞭解詳情
關於這本電子書
Many approaches in the field of nonmonotonic and “commonsense” reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic programs with negation as failure. This approach provides a clear separation between logical (monotonic) and nonmonotonic aspects of nonmonotonic reasoning. The separation allows, in particular, to single out the logics underlying modern logic programming and restore thereby the connection between logic programming and logic.
評分和評論
1.0
1 則評論
為這本電子書評分
請分享你的寶貴意見。
閱讀資訊
智能手機和平板電腦
手提電腦和電腦
你可以使用電腦的網絡瀏覽器聆聽在 Google Play 上購買的有聲書。
電子書閱讀器及其他裝置
如要在 Kobo 等電子墨水裝置上閱覽書籍，你需要下載檔案並傳輸到你的裝置。請按照說明中心的詳細指示，將檔案傳輸到支援的電子書閱讀器。
