Problem-Solving Methods

Understanding, Description, Development, and Reuse

  • Dieter Fensel

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1791)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1791)

Table of contents

  1. Front Matter
    Pages I-XII
  2. What Are Problem-Solving Methods

  3. What Are Problem-Solving Methods

  4. How to Describe Problem-Solving Methods

  5. How to Develop and Reuse Problem-Solving Methods

  6. Conclusions and Future Work

  7. Back Matter
    Pages 133-154

About this book


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).


adaptation development formal language formal specification knowledge knowledge engineering knowledge-based systems language problem solving problem solving methods reuse software software architecture software engineering theory of knowledge verification

Authors and affiliations

  • Dieter Fensel
    • 1
  1. 1.Division of Mathematics and Computer ScienceVrije Universiteit AmsterdamAmsterdamThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67816-8
  • Online ISBN 978-3-540-44936-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences