Mechanising shared configuration and diagnosis theories through constraint logic programming
✍ Scribed by Nirad Sharma; Robert Colomb
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 461 KB
- Volume
- 37
- Category
- Article
- ISSN
- 0743-1066
No coin nor oath required. For personal study only.
✦ Synopsis
Con®guration and diagnosis problem-solvers are commonly championed as successes of applied arti®cial intelligence techniques. A common problem is that problem-solvers typically encode task-speci®c representation assumptions and simpli®cations in their domain theories, hindering the reuse of the domain theories between the problem-solvers. While model-based reasoning techniques have been shown to provide an interesting approach to sharing component and device speci®cations, their respective mechanisations are generally too inecient. We show how constraint logic programming languages provide a ¯exible environment in which constraint-based speci®cations can be eectively shared and eciently mechanised by exploiting constraint solving and propagation techniques tightly integrated with the backtracking search mechanism of logic programming languages. A component speci®cation language is presented and the mappings from the language to the constraint system and strategies for guiding the search are de®ned for the respective problem-solvers.