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|
|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: firstname.lastname@example.org