Artificial Intelligence
Artificial Intelligence
Principles of artificial intelligence
Principles of artificial intelligence
Toward automating recognition of differing problem-solving demands
International Journal of Man-Machine Studies
AI Magazine
Design problem solving: a task analysis
AI Magazine
Algorithm theories and design tactics
Science of Computer Programming
Usable and reusable programming constructs
Knowledge Acquisition
The computational complexity of abduction
Artificial Intelligence - Special issue on knowledge representation
Artificial Intelligence
Task-structure analysis for knowledge modeling
Communications of the ACM - Special issue on analysis and modeling in software development
Knowledge Acquisition - Special issue on knowledge acquisition for therapy-planning tasks
KA process support through generalised directive models
Second generation expert systems
A situated classification solution of a resource allocation task represented in a visual language
International Journal of Human-Computer Studies
Introduction to knowledge systems
Introduction to knowledge systems
Task modeling with reusable problem-solving methods
Artificial Intelligence
International Journal of Human-Computer Studies - Special issue: the Sisyphus-VT initiative
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
The essence of problem-solving methods: making assumptions to gain efficiency
International Journal of Human-Computer Studies
Modal change logic (MCL): specifying the reasoning of knowledge-based systems
Data & Knowledge Engineering
Inverse verification of problem-solving methods
International Journal of Human-Computer Studies
International Journal of Human-Computer Studies
Ontology-driven document enrichment: principles, tools and applications
International Journal of Human-Computer Studies
Computer science as empirical inquiry: symbols and search
Communications of the ACM
Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving
Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving
Common KADS Library for Expertise Modelling
Common KADS Library for Expertise Modelling
Systematic Introduction to Expert Systems: Knowledge Representations and Problem Solving Methods
Systematic Introduction to Expert Systems: Knowledge Representations and Problem Solving Methods
Automating Knowledge Acquisition for Expert Systems
Automating Knowledge Acquisition for Expert Systems
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
Constructing Knowledge-Based Systems
IEEE Software
CommonKADS: A Comprehensive Methodology for KBS Development
IEEE Expert: Intelligent Systems and Their Applications
The Conceptual Basis for Mediation Services
IEEE Expert: Intelligent Systems and Their Applications
Steps in Constructing Problem Solving Methods
Proceedings of the 7th European Workshop on Knowledge Acquisition for Knowledge-Based Systems
Using Generalised Directive Models in Knowledge Acquisition
Proceedings of the 6th European Knowledge Acquisition Workshop on Current Developments in Knowledge Acquisition: EKAW '92
Acquiring Knowledge of Knowledge Acquisition: A Self-Study of Generic Tasks
Proceedings of the 6th European Knowledge Acquisition Workshop on Current Developments in Knowledge Acquisition: EKAW '92
Indexing Problem Solving Methods for Reuse
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Principles for Libraries of Task Decomposition Methods - Conclusions from a Case-study
EKAW '96 Proceedings of the 9th European Knowledge Acquisition Workshop on Advances in Knowledge Acquisition
Assumptions of Problem-Solving Methods
EKAW '96 Proceedings of the 9th European Knowledge Acquisition Workshop on Advances in Knowledge Acquisition
Using Ontologies for Defining Tasks, Problem-Solving Methods and their Mappings
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
The Tower-of-Adapter Method for Developing and Reusing Problem-Solving Methods
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
The Treatment of Non-Functional Requirements in MIKE
Proceedings of the 5th European Software Engineering Conference
UPML: A Framework for Knowledge System Reuse
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Using KIV to specify and verify architectures of knowledge-based systems
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Synthesis of Local Search Algorithms by Algebraic Means
KBSE '96 Proceedings of The 11th Knowledge-Based Software Engineering Conference
A software architecture for knowledge-based systems
The Knowledge Engineering Review
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Diagnosis Systems in Medicine with Reusable Knowledge Components
IEEE Intelligent Systems
MnM: Ontology Driven Semi-automatic and Automatic Support for Semantic Markup
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Configuring Online Problem-Solving Resources with the Internet Reasoning Service
IEEE Intelligent Systems
The unified problem-solving method development language UPML
Knowledge and Information Systems
Using the web service modeling ontology to enable semantic e-business
Communications of the ACM - The semantic e-business vision
A Generic Library of Problem Solving Methods for Scheduling Applications
IEEE Transactions on Knowledge and Data Engineering
Magpie: Experiences in supporting Semantic Web browsing
Web Semantics: Science, Services and Agents on the World Wide Web
A unified Semantic Web services architecture based on WSMF and UPML
International Journal of Web Engineering and Technology
IRS-III: A broker-based approach to semantic Web services
Web Semantics: Science, Services and Agents on the World Wide Web
Eliciting conceptual models to support interdisciplinary research
Journal of Information Science
Porting an Intelligent Tutoring System across Domains
Proceedings of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work
Problem solving methods in a global networked age
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Choreography in IRS-III – coping with heterogeneous interaction patterns in web services
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Enhancing customer relationships by semantic consumer support systems
Information Processing Letters
| Hi-index | 0.00 |
Problem solving methods (PSMs) describe the reasoning components of knowledge-based systems as patterns of behavior that can be reused across applications. While the availability of extensive problem solving method libraries and the emerging consensus on problem solving method specification languages indicate the maturity of the field, a number of important research issues are still open. In particular, very little progress has been achieved on foundational and methodological issues. Hence, despite the number of libraries which have been developed, it is still not clear what organization principles should be adopted to construct truly comprehensive libraries, covering large numbers of applications and encompassing both task-specific and task-independent problem solving methods. In this paper, we address these 驴fundamental驴 issues and present a comprehensive and detailed framework for characterizing problem solving methods and their development process. In particular, we suggest that PSM development consists of introducing assumptions and commitments along a three-dimensional space defined in terms of problem-solving strategy, task commitments, and domain (knowledge) assumptions. Individual moves through this space can be formally described by means of adapters. In the paper, we illustrate our approach and argue that our architecture provides answers to three fundamental problems related to research in problem solving methods: 1) what is the epistemological structure and what are the modeling primitives of PSMs? 2) how can we model the PSM development process? and 3) how can we develop and organize truly comprehensive and manageable libraries of problem solving methods?