Techniki programowania z ograniczeniami w zarządzaniu wiedzą MŚP

Proponowane w pracy podejście zakłada, że rozważane przedsiębiorstwo klasy MŚP zadane jest bazą wiedzy opisującą zarówno specyfikujące go dane dokładne i niepewne, a także łączące je relacje (ograniczenia). Przyjęte założenie oznacza, że istnienie odpowiedzi na zbiór pytań rutynowych warunkowane jest spójnością tak rozumianej bazy (istnieniem łańcuchów wnioskowań prowadzących do odpowiedzi), a ich wypracowywanie (uwzględniając skalę zadań) jest z kolei uwarunkowane dostępnością do odpowiednio szybkich (umożliwiających prace w trybie „on-line”) strategii wnioskowania. Proponowane podejście zakłada wykorzystanie metody logiczno-algebraiczne jako języka specyfikacji bazy wiedzy oraz technik programowania z ograniczeniami jako mechanizmu wnioskowania. Przedstawiony przykład ilustruje efektywność potencjalnych, opartych na tym podejściu, systemów wspomagania decyzji.

---

In this contribution a class of SME is considered, and their specification through the relevant knowledge bases consisting of accurate and uncertain data as well as linking those relations (constraints) is assumed. That means, the responses to a set of routine requests are guaranteed under a condition the knowledge base is consistent, and a decision-making (driven by an inference process) is an interactive one is guaranteed under condition the relevant inference strategies are available. The approach proposed employs the logic-algebraic method as providing a knowledge base representation, and constraints programming techniques as providing inference processes platform. The way of possible approach implementation is illustrated in the example enclosed.