| 书目名称 | Intellectics and Computational Logic | | 副标题 | Papers in Honor of W | | 编辑 | Steffen Hölldobler | | 视频video | | | 丛书名称 | 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 | | 关键词 | 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
|
|
发表于 2025-3-21 19:35:49
