Reifikacja (lingwistyka)

Reifikacja w przetwarzaniu języka naturalnego odnosi się do miejsca, w którym wypowiedź języka naturalnego zostaje przekształcona, tak aby działania i zdarzenia w niej występujące stały się wymiernymi zmiennymi. Na przykład „Jan wściekle gonił kaczkę” można przekształcić w coś takiego

(Istnieje e)(goniący(e) i czas przeszły(e) i aktor(e,John) i wściekle(e) i pacjent(e,kaczka)).

Innym przykładem może być „Sally powiedziała, że John jest wredny”, co można wyrazić w podobny sposób

(Istnieje u,v)(mówi (u) & czas przeszły(u) & aktor(u,Sally) & that(u,v) & is(v) & aktor(v,John) & mean(v)).

Takie reprezentacje pozwalają na wykorzystanie narzędzi klasycznego rachunku predykatów pierwszego rzędu nawet w przypadku zdań, które ze względu na użycie czasu, modalności, konstrukcji przysłówkowych, argumentów zdaniowych ( np. „Sally powiedziała, że X”) itp. trudny. Jest to zaleta, ponieważ rachunek predykatów jest lepiej rozumiany i prostszy niż bardziej złożone alternatywy (logika wyższego rzędu, logika modalna, logika temporalna itp.), a istnieją lepiej zautomatyzowane narzędzia (np. automatyczne dowodzenie twierdzeń i sprawdzanie modeli ) do manipulacji To.

Formy urzeczowione mogą być wykorzystywane do innych celów poza zastosowaniem logiki pierwszego rzędu; jednym z przykładów jest automatyczne wykrywanie fraz synonimicznych.

Formy urzeczowione nazywane są czasem formami quasi-logicznymi , a zmienne egzystencjalne bywają traktowane jako stałe Skolema .

Nie wszystkie konstrukcje języka naturalnego umożliwiają jednolite tłumaczenie na logikę pierwszego rzędu. Przykłady i dyskusję można znaleźć w zdaniu osła .

Zobacz też