Wykorzystanie logiki czterowartościowej w komputerowym programie diagnostycznym DIAG 2

W poniższej pracy przedstawiono podejście diagnozowania stanów złożonych obiektów technicznych z wykorzystaniem logiki czterowartościowej. Scharakteryzowano stany obiektu technicznego, określono przedziały zmian stanów i zdefiniowano reguły wnioskowania przy rozpoznawaniu poszczególnych stanów. Zamieszczono również schemat klas w logice czterowartościowej oraz możliwe kierunki zmian stanów badanego obiektu technicznego. Dokonano porównania procesu diagnostycznego w logice dwu i trójwartościowej z logiką czterowartościową, w kontekście pozyskania informacji diagnostycznej oraz profilaktycznej obsługi technicznej określającej przeciętny czas bezawaryjnej pracy obiektu.

---

The following paper presents an approach to diagnose complex states of technical objects using the four-state logic. Characterized states of the technical object, specified intervals and changes of states defined inference rules for identifying individual states. It also provides classes in logic diagram of tetravalent and possible directions of changes of states of the object technology. A comparison of the diagnostic process in two-and three-valued logic, the four-state logic, in the context of obtaining diagnostic information and preventive maintenance of determining the average lifetime of the objects.