Problem-Solving Methods Understanding, Description, Development, and Reuse /

• Main Author: Fensel, Dieter (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Edition: 1st ed. 2000.
• Series: Lecture Notes in Artificial Intelligence ; 1791
• Subjects: Artificial intelligence.; Software engineering.; Artificial Intelligence.; Software Engineering.

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

Table of Contents:

• What 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.