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

• Κύριος συγγραφέας: Fensel, Dieter (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1791
• Θέματα: 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...

Πίνακας περιεχομένων:

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