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