Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: grafy AND-OR

Sortuj według:

Ogranicz wyniki do:

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

Ligęza A.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

2009

T. 13, z. 2

411-419

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.