AND-OR graph with knowledge propagation rules as a model for Constraint Satisfaction Problems

Abstract

In this paper a model for Constraint Satisfaction Problems based on the concept of AND-OR graph is presented. The graph provides a structure to model search-space for alternative solutions. In order to represent auxiliary constraints it is completed with a set of rules for knowledge propagation. The rules can be used for efficient modelling of constraints for knowledge propagation and for detection of inconsistency. An example from the area of automated diagnosis is used to illustrate the application. W pracy przedstawiono koncepcję zastosowania grafu AND--OR do rozwiązywania problemów z ograniczeniami. Dla efektywnej eliminacji niepoprawnych rozwiązań zastosowano system regułowy. Jest on wykorzystywany do propagacji wiedzy. W przypadku wykrycia niespójności, potencjalne rozwiązanie jest eliminowane. Rozważania przeprowadzono na przykładzie zastosowania proponowanego podejścia do eliminacji niepoprawnych rozwiązań problemu diagnostycznego.