Artificial Intelligence
Solving VT in VITAL: a study in model construction and knowledge reuse
International Journal of Human-Computer Studies - Special issue: the Sisyphus-VT initiative
Information retrieval by plausible inferences: an application of the theory of plausible reasoning of Collins and Michalski
A competence theory approach to problem solving method construction
International Journal of Human-Computer Studies
Inverse verification of problem-solving methods
International Journal of Human-Computer Studies
Supporting organization and use of problem-solving methods libraries by a formal approach
International Journal of Human-Computer Studies
Generalized directive models: integrating model development and knowledge acquisition
International Journal of Human-Computer Studies
Reuse, CORBA, and knowledge-based systems
International Journal of Human-Computer Studies
Knowledge reuse among diagnostic problem-solving methods in the shell-kit D3
International Journal of Human-Computer Studies
Knowledge Acquisition and Machine Learning
Knowledge Acquisition and Machine Learning
Integration of Learning into a Knowledge Modelling Framework
EKAW '94 Proceedings of the 8th European Knowledge Acquisition Workshop on A Future for Knowledge Acquisition
Towards Brokering Problem-Solving Knowledge on the Internet
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
The Thin End of the Wedge: Efficiency and the Generalised Directive Model Methodology
EKAW '96 Proceedings of the 9th European Knowledge Acquisition Workshop on Advances in Knowledge Acquisition
The CHIP System and Its Applications
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
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)
Domain abstraction and limited reasoning
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
A competency description of a software component seeks to describe what the artefact can and cannot do. We focus on a particular kind of competence, called fitness-for-purpose, which specifies whether running a software component with a supplied set of inputs can satisfy a given goal. In particular, we wish to assess whether a chosen problem solver, together with one or more knowledge bases, can satisfy a given (problem solving) goal. In general, this is an intractable problem. We have therefore introduced an effective, practical, approximation to fitness-for-purpose based on the plausibility of the goal. We believe that constraint (logic) programming provides a natural approach to the implementation of such approximations. We took the Common LISP constraints library SCREAMER and extended its symbolic capabilities to suit our purposes. Additionally, we formulated an example of fitness-for-purpose modelling using this enhanced library.