| 書目名稱 | Intellectics and Computational Logic | | 副標(biāo)題 | Papers in Honor of W | | 編輯 | Steffen H?lldobler | | 視頻video | http://file.papertrans.cn/470/469186/469186.mp4 | | 叢書名稱 | Applied Logic Series | | 圖書封面 |  | | 描述 | `Intellectics‘ seeks to understand the functions, structure andoperation of the human intellect and to test artificial systems to seethe extent to which they can substitute or complement such functions.The word itself was introduced in the early 1980s by Wolfgang Bibel todescribe the united fields of artificial intelligence and cognitivescience. .The book collects papers by distinguished researchers, colleagues andformer students of Bibel‘s, all of whom have worked together with him,and who present their work to him here to mark his 60th birthday. Thepapers discuss significant issues in intellectics and computationallogic, ranging across automated deduction, logic programming, thelogic-based approach to intellectics, cognitive robotics, knowledgerepresentation and reasoning. Each paper contains new, previouslyunpublished, reviewed results. The collection is a state of the artaccount of the current capabilities and limitations of acomputational-logic-based approach to intellectics. ..Readership:. Researchers who are convinced that the intelligentbehaviour of machines should be based on a rigid formal treatment ofknowledge representation and reasoning. | | 出版日期 | Book 2000 | | 關(guān)鍵詞 | Prolog; Racter; algorithms; artificial intelligence; automated deduction; intelligence; knowledge; knowledg | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-015-9383-0 | | isbn_softcover | 978-90-481-5438-8 | | isbn_ebook | 978-94-015-9383-0Series ISSN 1386-2790 | | issn_series | 1386-2790 | | copyright | Springer Science+Business Media Dordrecht 2000 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-2-1 12:30
發(fā)表于 2025-3-21 19:35:49
