G�m menyn
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


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21