Homepage
| Files: | Description | Format |
| Fulltext | PDF (requires Acrobat Reader) | |
| Fulltext | PostScript (requires a PostScript Reader) | |
| Authors: | Simon White and Derek Sleeman | |
| Article title: | A Constraint-Based Approach to the Description and Detection of Fitness-for-Purpose | |
| Publ. type: | Article | |
| Volume: | 5 | |
| Article No: | 37 | |
| Language: | English | |
| Abstract [en]: | This paper introduces the notion of fitness-for-purpose,
presents a tractable, approximate approach to the recognition of fitness-for-purpose,
and describes a working implementation using constraint programming.
The property of fitness-for-purpose states whether running a software component with a supplied set of inputs can satisfy a given goal. Our interest is 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 therefore introduce 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. |
|
| Publisher: | LINKÖPING University Electronic Press | |
| Year: | 2000 | |
| Available: | 2000-12-21 | |
| No. of pages: | 25 | |
| Series: | LINKÖPING Electronic Articles in Computer and Information Science | |
| ISSN: | 1401-9841 | |