A Constraint-Based Approach to the Description & Detection of Fitness-for-Purpose.
(2002) A Constraint-Based Approach to the Description & Detection of Fitness-for-Purpose.. Electronic Transactions on Artificial Intelligence 4:pp. 155-183.
This is the latest version of this eprint.
This document is not available online.
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 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.
| Subjects: | AKT Challenges > Knowledge maintenance |
|---|---|
| ID Code: | 236 |
| Deposited By: | Ajit, Suraj |
| Deposited On: | 10 July 2003 |
Available Versions of this Item
- A Constraint-Based Approach to the Description & Detection of Fitness-for-Purpose. (deposited 10 July 2003) [Currently Displayed]
Contact the site administrator at: hg@ecs.soton.ac.uk