Piotr Kulicki Katolicki Uniwersytet Lubelski Jana Pawła II Instytut Filozofii Teoretycznej Katedra Podstaw Informatyki

Transkrypt

1 Piotr Kulicki Katolicki Uniwersytet Lubelski Jana Pawła II Instytut Filozofii Teoretycznej Katedra Podstaw Informatyki Modalności w praktyce informatycznej Lublin, 17 listopada 2009

2 Interesująca opinia o zastosowaniu logiki w informatyce Autor: K. Subieta (Instytut Podstaw Informatyki PAN, Polsko-Japońska Wyższa Szkoła Technik Komputerowych) Tekst: Logika teoretycznych urojeń, Informatyka Nr 12, 1993, str.5-11 Temat: G. Mirkowska, A. Salwicki, Logika algorytmiczna dla programistów Piotr Kulicki - Modalności... 2

3 O książce Logika algorytmiczna dla programistów... nadużycie, którego dopuścili się autorzy i wydawcy książki wobec środowiska informatyków, można sprowadzić do tytułu książki zawierającego określenie dla programistów, oraz fragmentów sugerujących bezpośrednie zastosowania praktyczne. [...] nie jest wykluczone, że powstałyby wtedy trudności ze znalezieniem dla niej zarówno wydawcy jak i czytelnika Piotr Kulicki - Modalności... 3

4 Odpowiedź autora niniejszego referatu Własne doświadczenia z pogranicza logiki i informatyki: Używanie modalności w projektowaniu baz danych na poziomie analizy systemowej Logika modalna w rozwiązywaniu zadań Piotr Kulicki - Modalności... 4

5 Analiza systemowa Identyfikacja i modelowanie struktur i procesów biznesowych Zapisanie rezultatów analizy w postaci czytelnej dla końcowych użytkowników systemu oraz programistów lub programów automatycznie generujących system Piotr Kulicki - Modalności... 5

6 Diagramy związków encji Diagramy zawierają: encje atrybuty związki Piotr Kulicki - Modalności... 6

7 Diagramy związków encji Encja jest rzeczą lub obiektem mającym dla nas znaczenie, rzeczywistym bądź wyobrażonym, o którym informacje muszą być znane lub przechowywane. Nazwa encji musi dokładnie reprezentować typ lub klasę rzeczy a nie żadną konkretną instancję (wystąpienie). Piotr Kulicki - Modalności... 7

8 Diagramy związków encji Atrybut jest dowolnym szczegółem służącym do kwalifikowania, identyfikowania, klasyfikowania, określania ilości lub wyrażania stanu encji. Piotr Kulicki - Modalności... 8

9 Diagramy związków encji Związek (związek w przedsiębiorstwie) jest nazwanym, istotnym powiązaniem istniejącym między dwiema encjami. Piotr Kulicki - Modalności... 9

10 Piotr Kulicki - Modalności... 10

11 Problemy do rozwiązania podczas budowy diagramu identyfikacja encji i związków bliższe określenie związków eliminacja elementów niepotrzebnych

12 Modalności w diagramach ER Związek pomiędzy encją TOWAR, a ELEMENT TRANSAKCJI jest opcjonalny może istnieć towar, który nie jest przedmiotem żadnej transakcji. Związek pomiędzy encją TRANSAKCJA, a ELEMENT TRANSAKCJI jest wymagany transakcja nie może istnieć bez elementów. Jak rozumiana jest możliwość? Co ta za modalności? Piotr Kulicki - Modalności... 12

13 Modalności w diagramach ER Raczej nie opisuje ich logika modalna oparta na paradygmacie możliwych światów. Piotr Kulicki - Modalności... 13

14 Możliwość w sensie Arystotelesa i Diodora Kawałek drewna na dnie Atlantyku jest palny (może być spalony), bo jego wewnętrzna natura pozwala na to. Kawałek drewna na dnie Atlantyku jest niepany (nie może być spalony), bo nie był, nie jest i nie będzie płonął.

15 Logika modalna w rozwiązywaniu zadań Uwagi oparte są o doświadczenia przy pracach prowadzonych wspólnie z kolegami z Katedry Logiki: Garbacz, P., Kulicki, P., Lechniak, M., Trypuz, R., Ontologia w rozwiązywaniu zadań Piotr Kulicki - Modalności... 15

16 Logika modalna w rozwiązywaniu zadań Przedmiotem pracy było automatyczne rozwiązanie zagadki logicznej trzech kapeluszy. Aby uchwycić sposób myślenia przy rozwiązaniu zagadki potrzebowaliśmy uogólnienie problemu. Zastosowaliśmy, jako punkt wyjścia, logikę PAL. Rozbudowaliśmy część ontologiczną szczegóły modelu i sposób na automatyczne jego budowanie. Piotr Kulicki - Modalności... 16

17 Korzyści z zastosowania logiki Język logiki można było wykorzystać jako podstawę dla struktur programu. Model można było wykorzystać jako podstawę dla definicji w programie. Logiczna teoria stanowi doskonałą specyfikację. System aksjomatyczny nie znalazł zastosowania. Piotr Kulicki - Modalności... 17

18 Wnioski (ostrożne) W ocenie subiektywnej znajomość logiki okazała się pomocna w pracach o charakterze informatycznym. Trudno znaleźć bezpośrednie zastosowanie wyników badań logicznych w praktyce informatycznej. Ważniejsze są metody, narzędzia, warsztat, który ma szanse na zastosowanie. Piotr Kulicki - Modalności... 18