Numer: 06/2013 Str. 256
Autorzy: Jacek Tkacz , Marian Adamski :
Tytuł: Analiza tablic decyzyjnych z wykorzystaniem monotonicznego rachunku sekwentów
Streszczenie: 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.
Słowa kluczowe: tablice decyzyjne, automatyczne dowodzenie twierdzeń, rachunek sekwentów Gentzena.