Structured development of problem solving methods

IEEE Transactions on Knowledge and Data Engineering

Volumn 13, Issue 6, 2001, Pages 913-932

  Fensel, Dieter ^a   Motta, Enrico ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

Formal languages; Knowledge engineering; Knowledge modeling; Ontologies; Problem solving methods; Software engineering

Indexed keywords

DIGITAL LIBRARIES; FORMAL LANGUAGES; KNOWLEDGE ENGINEERING; PROBLEM SOLVING;

KNOWLEDGE MODELING;

KNOWLEDGE BASED SYSTEMS;

EID: 0035517378     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.971187     Document Type: Article

References (93)

1. Steps in constructing problem-solving methods
2. Acquiring knowledge of knowledge acquisition: A self-study of generic tasks
3. Developing knowledge-based systems with MIKE
4. Interpretation models for KADS
5. Problem solving methods for diagnosis and their role in knowledge acquisition
6. Brokering problem-solving knowledge at the Internet
7. Remedying the reusability-usability trade-off for problem-solving methods
8. Problems in indexing problem solving methods
9. Model-driven knowledge acquisition: Interpretation models
10. Generic tasks in knowledge-based reasoning: The right level of abstraction for knowledge acquisition
11. The computational complexity of abduction
12. Generic tasks in knowledge-based reasoning: High-level building blocks for expert system design
13. Towards a functional architecture for intelligence based on generic information processing tasks
14. Design problem solving: A task analysis
15. Task structure analysis for knowledge modeling
16. Heuristic classification
17. Model construction operator
18. Constraint processing incorporating backjumping, learning and cutset-decomposition
19. Diagnosing multiple faults
20. Tadzebao and WebOnto: Discussing, browsing, and editing ontologies on the Web
21. Task modeling with reusable problem-solving methods
22. The art of artificial intelligence: Themes and case studies of knowledge engineering
23. Assumptions and limitations of a problem-solving method: A case study
24. Formal specification languages in knowledge and software engineering
25. The tower-of-adapter method for developing and reusing problem-solving methods
26. Problem-solving methods: Understanding, development, description, and reuse
27. The role of assumptions in knowledge engineering
28. Key issues for problem-solving methods reuse
29. Conceptual and formal specification of problem-solving methods
30. Using ontologies for defining tasks, problem-solving methods and their mappings
31. MCL: Specifying the reasoning of knowledge-based systems
32. UPML: A framework for knowledge system reuse
33. An architecture for knowledge-based systems
34. Using KIV to specify and verify architectures of knowledge-based systems
35. Inverse verification of problem-solving methods
36. The essence of problem-solving methods: Making assumptions to gain efficiency
37. A comparison of languages which operationalize and formalize KADS models of expertise
38. Schema-based transformations of logic programs
39. A situated classification solution of a resource allocation task represented in a visual language
40. Experimental case studies of backtrack vs. waltztype vs. new algorithms for satisfying assignment problems
41. Extra-technical information for method libraries
42. Reuse for knowledge-based systems and CORBA components
43. Synthesis of local search algorithms by algebraic means
44. Dynamic logic
45. High performance knowledge bases (HPKB)
46. Usable and reusable programming constructs
47. The treatment of non-functional requirements in MIKE
48. Sisyphus '91/92: Models of problem solving
49. How to decide how to decide hot to...: Modeling limited rationality
50. VT: An expert elevator designer that uses knowledge-based backtracking
51. Preliminary steps toward a taxonomy of problem-solving methods
52. Towards a generic model of configuration tasks
53. Parametric design problem solving
54. An approach to the organization of a library of problem solving methods which integrates the search paradigm with task and method ontologies
55. Specifications of knowledge components for reuse
56. Ontology-driven document enrichment: Principles, tools and applications
57. Modern architectures for intelligent systems: Reusable ontologies and problem-solving methods
58. Computer science as empirical enquiry: Symbols and search
59. Principles for libraries of task decomposition methods - Conclusions from a case-study
60. COKE: Efficient solving of complex assignment problems with the propose-and-exchange method
61. A multiple-method knowledge acquisition shell for the automatic generation of knowledge acquisition tools
62. Solving VT by reuse
63. CommonKADS: A comprehensive methodology for KBS development
64. Constructing knowledge based systems
65. Representing capabilities of problem-solving methods
66. Algorithm theories and design tactics
67. Components of expertise
68. Toward automating recognition of differing problem-solving demands
69. Recording the design decisions of a knowledge engineering community to facilitate re-use of design models
70. Knowledge acquisition support through generalized directive models
71. Experiments with applying knowledge based techniques to parametric design
72. A constructivistic view on knowledge engineering
73. Using generalized directive models in knowledge acquisition
74. Mediators in the architecture of future information systems
75. The conceptual basis for mediation services
76. A formal analysis of parametric design problem solving
77. Protocol specifications and component adapters
78. An in-depth analysis of propose & revise problem solving methods
79. Improving competence by integrating case-based reasoning and heuristic search