Analiza tablic decyzyjnych z wykorzystaniem monotonicznego rachunku sekwensów

• Autorzy: Tkacz, J. , Adamski, M.

Warianty tytułu

EN

Decision table analysis using monotone sequent calculus system

• Języki publikacji: PL

Abstrakty

PL

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.

EN

The paper presents a new methodology for symbolic reduction of multivalued decision tables, currently intensively used for compact behavioral specifications of logic controllers. As an example the well known problem of simplification of a set of several logic rules with many variables is chosen. As a completely new, original solution, the formal automated reasoning based on Gentzen propositional calculus together with hypergraph theory are jointly used. The clique-transversal symbolic calculation is performed by means of effective reasoning in Gentzen calculus.

Słowa kluczowe

PL

tablice decyzyjne; dowodzenie twierdzeń; rozumowanie automatyczne; rachunek sekwentów Gentzena

EN

decision tables; hypergraph; transversal; Gentzen; automated reasoning

• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2013
• Tom: R. 89, nr 6
• Strony: 256--259
• Opis fizyczny: Bibliogr. 18 poz., tab.

Twórcy

autor

Tkacz, J.

• Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki,

autor

Adamski, M.

• Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki,

Bibliografia

• [1] Adamski M., Projektowanie układów cyfrowych systematyczną metodą strukturalną. Monografie Nr 49 . Wydawnictwo Wyższej Szkoły Inżynierskiej w Zielonej Górze, 1990
• [2] Eiter T., Gottlob G., and Makino K., New results on monotone dualization and generating hypergraph transversals. Proc. of the 32th ACM Symp. STOC 2002, 14-22
• [3] Łuba T., Ojrzeńska-Wójter D., Układy logiczne w zadaniach, Oficyna Wydaw. Politechniki Warszawskiej, Warszawa, 2011
• [4] Atserias A., Galesi N., and Pudlák P., Monotone simulations of non-monotone proofs. J. Comput. Syst. Sci. 65, 4, (2002), 626- 638
• [5] Adamski M., Tkacz J., Wrzesińska B., Redukcja binarnych tablic decyzyjnych z wykorzystaniem automatycznego wnioskowania, Metody Inf. Stosowanej, (2009), nr 2, 3-17
• [6] Borowik G., Łuba T., and Zydek D. Feautures reduction using logic minimization techniques.Intl Journal of Electronics and Telecomunications, (2012), Vol. 58 No. 1, 71-76
• [7] Tkacz J., Projektowanie układów sterowania binarnego wspomagane automatycznym wnioskowaniem Gentzena, Rozprawa doktorska. Uniwersytet Zielonogórski, WEiT, Zielona Góra, 2008
• [8] Łuba T., Synteza układów logicznych, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2005
• [9] Borowik G., Łuba T., Attribute Reduction Based on the Complementation of Boolean Functions. ACASE’12, Sidney, 2012, 58-59
• [10] Gallier J.H., Logic for computer science, Foundations of Automatic Theorem Proving. Harper & Row, 1986
• [11] Bilkova M., Monotone sequents calculus and resolution, Comment.Math.Univ.Carolinae, 42,3, (2001), 575-582
• [12] D’Agostino M., Gabbay D. M., Hahnle R. and Posegga J,. Handbook of tableau methods, Kluwer Academic Public, 1999
• [13] Ben-Ari M., Logika matematyczna w informatyce, Wydawnictwa Naukowo Techniczne, 2010
• [14] Ligęza A., Logical Foundations for Rule-Based Systems, Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH, 2005
• [15] Sapiecha P., Algorytmy syntezy funkcji relacji boolowskich w aspekcie metod reprezentacji kompresji danych. Rozprawa doktorska. Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych, 1998
• [16] Kamionka-Mikuła H., Małysiak H., Pochopień B., Synteza i analiza układów cyfrowych, Wydawnictwa Pracowni Komputerowej Jacka Skalmierskiego, 2010
• [17] Stańczyk U., Cyran K., Pochopień B., Theory of Logic Circuits. Monograph. Publishers of the Silesian University of Technology, Gliwice, 2007
• [18] Sapiecha P., Pleban M., Łuba T., Zbierzchowski Dekompozycja funkcji i relacji boolowskich w syntezie logicznej i analizie danych. Kwartalnik Elektroniki i Telekomunikacji, (2000) Vol.46 (No.3)