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  

absolwenci ankieta badania BigData dydaktyka IBM instytut Instytut Lotnictwa ISI kandydaci konkurs konkurs FINESCE orientacja praca praktyki prezentacja programowanie projekty przedmiot przedmioty publikacje seminarium specjalność staże zagraniczne studenci studia studia magisterskie studia za granicą stypendia Texas Instruments współpraca wykład

x x Znaczniki

x x Zestawienie miesięczne