SNIEG: Seminarium Naukowe doktorantów Informatyki, Elektroniki i Gości

Celem seminarium naukowego SNIEG jest dyskusja prac naukowych doktorantów, w szczególności utworzonych w 2013r. studiów doktoranckich kierunków Informatyka i Elektronika, oraz zaproszonych Gości z kraju i zagranicy.

Serdecznie zapraszamy do udziału w seminariach!

— Organizatorzy: prof. dr hab. inż. Paweł Gryboś, dr hab. inż Grzegorz J. Nalepa, dr hab. Marcin Szpyrka, prof. AGH; Kraków, październik 2013

Spotkania

2013-10-10

Czas/miejsce: czwartek, 2013-10-10, sala C2-316, godzina: 11:00

Dr Krystian Jobczyk

Temat: Modelowanie (skutecznej) perswazji a … modelowanie w planowaniu temporalnym

Prezentujący: Dr Krystian Jobczyk

Streszczenie: Zjawisko perswazji – podobnie jak planowanie temporalne – stanowi przedmiot intensywnych i zaawansowanych badań tzw. sformalizowanej pragmatyki. W jej ramach bada się m.in. skuteczność perswazji i określa się pragmatyczne modele sytuacji perswazji. Dzięki tym ostatnim można w formalny sposób sprawdzić, nie tylko, czy perswazja była „logicznie uczciwa”, ale także czy była pragmatycznie skuteczna.
W ramach niniejszej prezentacji skonstruujemy dwa modele dla odpowiednich dwóch sytuacji konwersacyjnych i sprawdzimy uczciwość perswazji. Następnie określimy związek miedzy perswazją a dowodem. Pokażemy, że zachodzi między nimi relacja nieco podobna do klasycznej pełności. Odniesiemy się także do idei logiki, wyrastającej z modelowania skutecznej perswazji oraz skonfrontujemy pojęcie prawdy i skuteczności. Rozważania oparte zostaną na badaniach Y. Bar-Hillela, J. Stalknera i M. Tokarza.
Uzyskane wnioski odniesiemy do modeli planowania temporalnego, w dwóch koncepcjach: D. Duboisa i H. Prade’a (sformalizowanej w uogólnionych strukturach Kripkego) oraz do koncepcji T. Vidal i H. Fargier, wyrażonej w modelach na strukturach uporządkowanych. Spróbujemy znaleźć podobieństwa i różnice.

Słowa-klucze: perswazja, modelowanie, model pragmatyczny, skuteczność perswazji, relacja rezultatu, logika perswazji, logika skuteczności, planowanie temporalne, modelowanie w planowaniu temporalnym

Biogram: Krystian Jobczyk urodził się 23.01.1983 roku w Bytowie na Pomorzu Gdańskim. Studia matematyczno-filozoficzne podjął na Wydziale Nauk Społecznych oraz Matematyki i Informatyki UAM w Poznaniu. W 2006 zdobył magisterium z filozofii , a w 2008 – z matematyki. W tym czasie jako członek „Collegium Invisibile” realizował indywidualny tutorial pod kierunkiem Sy Friedmana z Centrum Badań im. Kurta Goedla w Wiedniu oraz dobywał staż naukowy w Zakładzie Podstaw Matematyki PAN.
W latach 2008-2011 odbywał na UKSW studia doktoranckie pod kierunkiem prof. UW Stanisława Krajewskiego z filozofii, ukończone obroną pracy o filozoficznej użyteczności twierdzenia Skolema-Loewenheima.
Od 2011 do 2013 roku na bazie stypendium badawczego KAAD i Thyssen Foundation realizował post-doktoratowy projekt w Monachijskim Centrum Filozofii Matematycznej (MCMP) pod kierunkiem Prof. Hannesa Leitgeba.
Od 2013 roku realizuje projekt doktoratowi o planowaniu temporalnym z ograniczeniami typu rozmytego na uniwersytecie w Caen we Francji we współpracy z AGH w Krakowie.
W obszarze jego zainteresowań leżą: logika algebraiczna i jej zastosowania, sformalizowana epistemologia, filozofia matematyczna, sztuczna inteligencja i jej formalna strona.