No/VOL: 06/2013 Page no. 256
Authors: Jacek Tkacz , Marian Adamski :
Title: Analiza tablic decyzyjnych z wykorzystaniem monotonicznego rachunku sekwentów
Abstract: W artykule przedstawiono nowatorski sposób analizy systemów regułowych z wykorzystaniem symbolicznego wnioskowania w monotonicznej logice sekwentów Gentzena. Badany system dyskretny jest opisywany w postaci tablicy decyzyjnej. Celem analizy systemu jest usunięcie zbytecznych kolumn w tablicy decyzyjnej oraz nieistotnych symboli zmiennych logicznych w jej poszczególnych wierszach. Efektywny aparat wnioskowania w logice formalnej umożliwia sprawne wyznaczanie transwersal krawędzi hipergrafu rozróżnialności.
Key words: tablice decyzyjne, automatyczne dowodzenie twierdzeń, rachunek sekwentów Gentzena.