Abstrakty - VI edycja
Prezentujemy listę referentów oraz tytułów wystąpień i posterów wraz ze streszczeniami. Zapraszamy do lektury!
Przypominamy, że język, w którym podany jest tytuł, jest równoznaczny z językiem całego wystąpienia.
Pod każdym streszczeniem można dowiedzieć się, jakie inne referaty będą w danej sekcji.
Anna Dydio, Patryk Piesiak, Marta Żukowska (Poznań)
Rycerze, łotrzy, szpiedzy i inni. Empirycznie ugruntowana reguła przekładu dla zagadek logicznych w logice trójwartościowej
Raymond Smullyan jest autorem słynnych zagadek o Rycerzach i Łotrach, z których pierwsi zawsze mówią prawdę, a drudzy - fałsz [Smullyan 1978]. Badania empiryczne prowadzone w latach 90-tych XX wieku używały tych zagadek do testowania hipotez dotyczących ludzkich rozumowań [Rips 1989] [Johnson-Laird, Byrne 1990]. Klasyczne zagadki smullyanowskie sformułowane są w języku logiki klasycznej - dwuwartościowej i ekstensjonalnej. Język i rozumowania ludzkie zdają się wykraczać poza te ograniczenia i stąd rozwój logik nieklasycznych, które z powodzeniem używane są do modelowania i badania intensjonalnych rozumowań w domenach deontycznych, epistemicznych i innych, jak również rozumowań probabilistycznych. Nieco zaniedbanym polem badań są rozumowania dotyczące zdań o statusie paradoksalnym, otwartym bądź nieustalonym - logiki wielowartościowe przyznają takim zdaniom wartość logiczną inna niż "prawda" bądź "fałsz" [Gabbay, Woods 2007]. W roku 2013 opracowano na UAM generator zagadek dla sytuacji smullyanowskich, w których dopuszczono, oprócz Rycerzy i Łotrów, także wiele innych klas postaci, każdą skojarzoną z jakaś nieklasyczna wartością logiczną, w oparciu o ekstrapolowaną a priori regułę przekładu wypowiedzi języka naturalnego na miniformalizm używany przez generator. W naszym wystąpieniu przedstawić chcemy wyniki własnych badan empirycznych (metodą e-ankietową) dotyczących przypisywania przez ludzi wartości logicznych w nieklasycznych sytuacjach smullyanowskich, na podstawie których utworzyliśmy nowy, znaturalizowany generator zagadek. Omówimy i spróbujemy zinterpretować otrzymane wyniki: pewne paradoksalne klastryzacje odpowiedzi badanych i otrzymaną regułę przekładu, dzięki której udało nam się zbudować formalną interpretacje wyrażeń z "jakby" (jak w "jakby prawda") wraz z interesującym aspektem kwantyfikacji.
Gdzie i kiedy:
| W tym samym czasie ... 412, 416 | sala: 504 moderacja: Joanna Ozimek |
| 15:35-15:50 | Anna Dydio, Patryk Piesiak, Marta Żukowska (UAM) - Rycerze, łotrzy, szpiedzy i inni. Empirycznie ugruntowana reguła przekładu dla zagadek logicznych w logice trójwartościowej |
| 15:50-16:05 | Maria Winiarek (UAM) - Pragmatyczne pułapki językowe w pracy tłumacza |
| 16:05-16:20 | Izabela Kusicielek (UAM) - Zasady budowy słowników w systemach TA opartych na regułach |
| 16:20-16:35 | dyskusja |