Constraint Relaxation Techniques to Aid the Reuse of Knowledge Bases and Problem Solvers

Nordlander, Tomas Eric and Brown, Dr Ken and Sleeman, Prof Derek (2004) Constraint Relaxation Techniques to Aid the Reuse of Knowledge Bases and Problem Solvers. In Coenen, Frans and Preece, Alun and Macintosh, Ann, Eds. Proceedings The Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, pages pp. 323-335, Cambridge.

This document is not available online.

Effective re-use of knowledge bases requires the identification of plausible combinations of both problem solvers and knowledge bases, which can be an expensive task. Can we identify impossible combinations quickly? The capabilities of combinations can be represented using constraints, and we propose using constraint relaxation to help eliminate impossible combinations. If a relaxed constraint representation of a combination is inconsistent then we know that the original combination is inconsistent as well. We examine different relaxation strategies based on constraint graph properties, and we show that removing constraints of low tightness is an efficient strategy which is also simple to implement.

Contact the site administrator at: hg@ecs.soton.ac.uk