Parametryzacja semantyczna - Semantic parameterization

Parametryzacja semantyczna to proces modelowania koncepcyjnego służący do wyrażania opisów domeny w języku naturalnym w logice predykatów pierwszego rzędu. Proces ten prowadzi do sformalizowania zdań języka naturalnego w Description Logic, aby odpowiedzieć na pytania kto, co i gdzie w modelu cyklu dochodzenia (ICM) opracowanym przez Colina Pottsa i jego kolegów z Georgia Institute of Technology. Proces parametryzacji uzupełnia metodę pozyskiwania wiedzy i zautomatyzowanej specyfikacji (KAOS), która formalizuje odpowiedzi na pytania kiedy , dlaczego i jak ICM w Temporal Logic , aby zakończyć formalizację ICM. Artefakty używane w procesie parametryzacji obejmują słownik, który dopasowuje leksykon domeny do unikalnych pojęć, rozróżnia synonimy i polisemy oraz kilka wzorców języka naturalnego, które pomagają w odwzorowaniu wspólnych opisów domen na specyfikacje formalne.

Związek z innymi teoriami

Parametryzacja semantyczna definiuje meta-model składający się z ośmiu ról, które są niezależne od domeny i wielokrotnego użytku. Siedem z tych ról odpowiada relacjom tematycznym Jeffreya Grubera i rolom przypadkowym w gramatyce przypadku Charlesa Fillmore'a :

Model cyklu dochodzenia (ICM) został wprowadzony w celu stymulowania pozyskiwania informacji między inżynierami i interesariuszami w inżynierii wymagań. ICM składa się z pytań kto , co , gdzie , dlaczego , jak i kiedy . Wszystkie pytania poza „ kiedy” , które wymagają logiki temporalnej do reprezentowania takich zjawisk, zostały dostosowane do meta-modelu w parametryzacji semantycznej przy użyciu logiki opisu (DL).

Wprowadzenie z przykładem

Proces parametryzacji semantycznej opiera się na logice opisu , w której TBox składa się ze słów ze słownika , w tym rzeczowników, czasowników i przymiotników, a ABox jest podzielony na dwa zestawy asercji: 1) te, które pochodzą ze słów w twierdzenie w języku naturalnym, zwane ugruntowaniem , oraz 2) te twierdzenia, które są wywnioskowane przez (człowieka) modelującego, zwane meta-modelem . Rozważ następujące stwierdzenie nieustrukturyzowanego języka naturalnego (UNLS) (patrz Breaux i in., aby zapoznać się z rozszerzoną dyskusją):

UNLS _1.0

Klient _1,1 nie może udostępniać _2,2 kodu dostępu _3,3 klienta _1,1 osobie _4,4 nie _będącej dostawcą _5,4 .

Modelarz najpierw identyfikuje polisemy i synonimy intensjonalne i ekstensjonalne, oznaczane indeksami dolnymi: pierwszy indeks dolny jednoznacznie odnosi się do indeksu intensjonalnego, tj. ten sam pierwszy indeks w dwóch lub więcej słowach odnosi się do tego samego pojęcia w TBox; drugi indeks dolny jednoznacznie odnosi się do indeksu ekstensjonalnego, tj. dwa takie same drugie indeksy w dwóch lub więcej słowach odnoszą się do tej samej osoby w ABox. Ten krok indeksowania wyrównuje słowa w oświadczeniu i pojęcia w słowniku. Następnie modelarz identyfikuje pojęcia ze słownika, aby skomponować meta-model. W poniższej tabeli przedstawiono pełne wyrażenie DL, które wynika z zastosowania parametryzacji semantycznej.

Bibliografia