Czasopismo | PRZEGLĄD ELEKTROTECHNICZNY | Rocznik 2012 - zeszyt 8

Koncepcja i realizacja systemu wnioskującego Gentzena z wykorzystaniem RDBMS - IBM DB2

nr katalogowy: 69794

Poniższy artykuł przedstawia realizację systemu wnioskującego Gentzena z wykorzystaniem systemu zarządzania relacyjną bazą danych IBM DB2 w wersji 9.7. Niniejsza publikacja prezentuje zalety z używania procedur składowanych oraz w jaki sposób można wykorzystać strukturę tabel w bazie danych do zaawansowanego przetwarzania informacji. Przedstawia użycie bazy danych przy implementacji automatycznych systemów dowodzenia twierdzeń oraz w jaki sposób architektura klient-serwer znajduje zastosowanie w stosunku do tego typu aplikacji. Abstract. The paper presents conception and design of Gentzen deduction system by using RDBMS - IBM DB2. It shows adds of stored procedures and method of using table structure in database for advanced information computing. Testing of the solution is based on the analysis of randomly generated not oriented graphs. The tests confirm the correctness of implementations, and also highlight the problem of high computational complexity. This unusual implementation and use of RDBMS environment opens up new areas of research on the optimization of reasoning algorithm. (Concept and design of Gentzen deduction system in RDBMS - IBM DB2). Słowa kluczowe: wnioskowanie symboliczne, rachunek zdań, bazy danych, dowodzenie twierdzeń. Keywords: symbolic reasoning, databases, theorem proving. Wstęp Rachunek sekwentów Gentzena [1, 2, 3, 4], chociaż powstał niejako narzędzie pomocnicze dla jego autora, można wykorzystać na wiele sposobów. W książce Adama Pawlaka [5] przedstawiono sposób wykorzystanie systemu do automatycznego wnioskowania metodą Wanga. W innej publikacji zaproponowano również jego zastosowanie w informatyce [3]. Z kolei jedna z realizacji systemu wnioskującego Gentzena dedykowana do syntezy układów cyfrowych powstała w Wyższej Szkole Inżynierskiej w Zielonej Górze [6, 7]. Natomiast w pracach [8, 9] przedstawiono koncepcję i implementację systemu wnioskującego oraz jego zastosowanie do rozwiązywania różnego rodza[...]

Jeśli masz wykupiony/przyznany dostęp - zaloguj się. Skorzystaj z naszych propozycji zakupu!

Publikacja


e-Publikacja (format pdf) - nr 69794 "Koncepcja i realizacja sy..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


PRZEGLĄD ELEKTROTECHNICZNY - e-zeszyt (pdf) 2012-8 licencja: Osobista Produkt cyfrowy	55.00 zł

Prenumerata

PRZEGLĄD ELEKTROTECHNICZNY - prenumerata cyfrowa
licencja: Osobista

Produkt cyfrowy
Nowość

762.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS (Prenumerata papierowa + dostęp do portalu sigma-not.pl + e-prenumerata)	1002.00 zł brutto 927.78 zł netto 74.22 zł VAT (stawka VAT 8%)

1002.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna + wysyłka
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna	960.00 zł brutto 888.89 zł netto 71.11 zł VAT (stawka VAT 8%)
PRZEGLĄD ELEKTROTECHNICZNY - pakowanie i wysyłka	42.00 zł brutto 34.15 zł netto 7.85 zł VAT (stawka VAT 23%)

1002.00 zł

Zeszyt

2012-8

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma