| 書目名稱 | The Automation of Reasoning with Incomplete Information |
| 副標(biāo)題 | From Semantic Founda |
| 編輯 | Torsten Schaub |
| 視頻video | http://file.papertrans.cn/905/904821/904821.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by bridging the gaps in the information available..A versatile way of reasoning in the absence of information is to reason by default. This book aims at providing formal and practical means for automating reasoning with incomplete information by starting from the approach taken by the framework of default logic. For this endeavor, a bridge is spanned between formal semantics, over systems for default reasoning, to efficient implementation. |
| 出版日期 | Book 1997 |
| 關(guān)鍵詞 | Automated Reasoning; Context-Based Reasoning; Default Logic; Nonmonotonic Logic; Uncertainty; automation; |
| 版次 | 1 |
| doi | https://doi.org/10.1007/BFb0054963 |
| isbn_softcover | 978-3-540-64515-3 |
| isbn_ebook | 978-3-540-69793-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1997 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 02:54
發(fā)表于 2025-3-21 19:51:33
