| 書目名稱 | Problem-Solving Methods | | 副標題 | Understanding, Descr | | 編輯 | Dieter Fensel | | 視頻video | http://file.papertrans.cn/758/757089/757089.mp4 | | 概述 | Includes supplementary material: | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | Researchers in Artificial Intelligence have traditionally been classified into two categories: the “neaties” and the “scruffies”. According to the scruffies, the neaties concentrate on building elegant formal frameworks, whose properties are beautifully expressed by means of definitions, lemmas, and theorems, but which are of little or no use when tackling real-world problems. The scruffies are described (by the neaties) as those researchers who build superficially impressive systems that may perform extremely well on one particular case study, but whose properties and underlying theories are hidden in their implementation, if they exist at all. As a life-long, non-card-carrying scruffy, I was naturally a bit suspicious when I first started collaborating with Dieter Fensel, whose work bears all the formal hallmarks of a true neaty. Even more alarming, his primary research goal was to provide sound, formal foundations to the area of knowledge-based systems, a traditional stronghold of the scruffies - one of whom had famously declared it “an art”, thus attempting to place it outside the range of the neaties (and to a large extent succeeding in doing so). | | 出版日期 | Book 2000 | | 關(guān)鍵詞 | adaptation; development; formal language; formal specification; knowledge; knowledge engineering; knowledg | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-44936-1 | | isbn_softcover | 978-3-540-67816-8 | | isbn_ebook | 978-3-540-44936-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2000 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 13:48
發(fā)表于 2025-3-21 18:21:46
