LEADER 03795nam 22005655 450 001 9910143634603321 005 20200702161955.0 010 $a3-540-44936-1 024 7 $a10.1007/3-540-44936-1 035 $a(CKB)1000000000211229 035 $a(SSID)ssj0000325878 035 $a(PQKBManifestationID)11230925 035 $a(PQKBTitleCode)TC0000325878 035 $a(PQKBWorkID)10266202 035 $a(PQKB)10587664 035 $a(DE-He213)978-3-540-44936-2 035 $a(MiAaPQ)EBC3071780 035 $a(PPN)155214985 035 $a(EXLCZ)991000000000211229 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProblem-Solving Methods $eUnderstanding, Description, Development, and Reuse /$fby Dieter Fensel 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (XII, 160 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1791 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-67816-6 320 $aIncludes bibliographical references. 327 $aWhat Are Problem-Solving Methods -- Making Assumptions for Efficiency Reasons -- What Are Problem-Solving Methods -- Making Assumptions for Efficiency Reasons -- An Empirical Survey of Assumptions -- How to Describe Problem-Solving Methods -- A Four Component Architecture for Knowledge-Based Systems -- Logics for Knowledge-Based Systems: MLPM and MCL -- A Verification Framework for Knowledge-Based Systems -- How to Develop and Reuse Problem-Solving Methods -- Methods for Context Explication and Adaptation -- Organizing a Library of Problem-Solving Methods -- Conclusions and Future Work -- Conclusions and Future Work. 330 $aResearchers 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). 410 0$aLecture Notes in Artificial Intelligence ;$v1791 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 676 $a006.3/3 700 $aFensel$b Dieter$4aut$4http://id.loc.gov/vocabulary/relators/aut$0542875 906 $aBOOK 912 $a9910143634603321 996 $aProblem-solving methods$9878111 997 $aUNINA