Ta witryna wykorzystuje cookies. Więcej informacji można znaleźć na stronie Polityka dotycząca cookies i podobnych technologii. ZAMKNIJ Zamknij ostrzeżenie dotyczące cookies

Paweł Henryk Łoziński obronił rozprawę doktorską

P.Łoziński

Paweł Łoziński

W dniu 12 czerwca 2012 roku Paweł Henryk Łoziński obronił rozprawę doktorską pt. "Wnioskowanie w logikach argumentacyjnych zależne od kontekstu". Promotorem rozprawy był prof. dr hab. Mieczysław Muraszkiewicz.

W niniejszej rozprawie konstruowana jest logika oparta na formalnym modelu argumentacji, będącym produktem badań w dziedzinie teorii argumentacji. Wnioskowanie w tak skonstruowanej logice jest niemonotoniczne i zależne od kontekstu. Kontekstowość wnioskowania opiera się na pojęciu standardu dowodu, które jest zaczerpnięte z teorii argumentacji. Przeanalizowane zostają podstawowe właściwości tej logiki. Zaprojektowany i zaimplementowany zostaje algorytm wnioskowania. Przedstawione zostaje zastosowanie tego algorytmu. Całość jest poprzedzona analizą stanu wiedzy w dziedzinach logiki i teorii argumentacji, których niniejsze badania dotyczą.

 

Ostatnia modyfikacja: środa, 12 czerwca 2013, 08:38:34, Bożenna Skalska

x x Aktualności (8) - wg daty publikacji

‹‹ Czerwiec 2012 ››
Pon Wt Śr Czw Pt So N
        1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30