Parametryzacja semantyczna
Parametryzacja semantyczna to proces modelowania pojęciowego 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 logice opisu , aby odpowiedzieć na pytania kto, co i gdzie w modelu cyklu zapytania (ICM) opracowanym przez Colina Pottsa i jego współpracowników z Georgia Institute of Technology. Proces parametryzacji uzupełnia metoda pozyskiwania wiedzy i automatycznej specyfikacji (KAOS), która formalizuje odpowiedzi na pytanie kiedy , dlaczego i jak pytania 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óżniając synonimy i polisemy oraz kilka wzorców języka naturalnego, które pomagają w mapowaniu 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 przypadków w gramatyce przypadku Charlesa Fillmore'a :
| Metamodel Breaux | Role w przypadku Fillmore'a | Relacje tematyczne |
|---|---|---|
| Temat | Agent | Agent |
| Działanie | ||
| Obiekt | Obiektywny/Faktyczny | Temat / Pacjent |
| Cel | Celownik | Bramka |
| Źródło | Źródło | Źródło |
| Instrument | Instrumentalny | Instrument |
| Zamiar | Służący określonemu celowi | |
| Lokalizacja | Miejscownik | Lokalizacja |
| komitatywny | Akompaniament |
Model cyklu zapytań (ICM) został wprowadzony w celu kierowania pozyskiwaniem informacji między inżynierami a zainteresowanymi stronami w inżynierii wymagań. ICM składa się z pytań kto , co , gdzie , dlaczego , jak i kiedy . Wszystkie pytania z wyjątkiem kiedy , które wymagają logiki temporalnej do reprezentowania takich zjawisk, zostały dostosowane do meta-modelu w parametryzacji semantycznej za pomocą logiki opisu (DL).
| Rola DL w metamodelu | Pytanie ICM |
|---|---|
| isSubjectOf.Activity | Kto wykonuje czynność? |
| isObjectOf.Activity | Na czym jest wykonywana czynność? |
| jestCel.Aktywności | Z kim przeprowadzana jest transakcja? |
| jestCel.Działania | Dlaczego czynność jest wykonywana? |
| isInstrumentOf.Activity | Jak przebiega akcja? |
| isLocationOf.Activity | Gdzie jest wykonywana akcja? |
Wstęp z przykładem
Proces parametryzacji semantycznej opiera się na logice opisu , w której TBox składa się ze słów w słowniku , w tym rzeczowników, czasowników i przymiotników, a ABox jest podzielony na dwa zestawy twierdzeń: 1) te twierdzenia, które pochodzą ze słów w stwierdzenie języka naturalnego, zwane ugruntowaniem , oraz 2) te twierdzenia, które są wywnioskowane przez (ludzkiego) modelarza, zwane meta-modelem . Rozważ następującą nieustrukturyzowaną instrukcję języka naturalnego (UNLS) (patrz Breaux i in., Aby zapoznać się z szerszą dyskusją):
- UNLS 1.0
- Klient 1,1 nie może dzielić się 2,2 kodem dostępu 3,3 klienta 1,1 z kimś 4,4 , który nie jest dostawcą 5,4 .
Modelarz najpierw identyfikuje polisemy i synonimy intensjonalne i ekstensjonalne, oznaczone indeksami dolnymi: pierwszy indeks 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 tego samego osobnika w ABox. Ten krok indeksowania wyrównuje słowa w instrukcji i pojęcia w słowniku. Następnie modelarz identyfikuje pojęcia ze słownika, aby skomponować meta-model. Poniższa tabela ilustruje pełne wyrażenie DL, które wynika z zastosowania parametryzacji semantycznej.
| Uziemienie ( G ) | Metamodel ( M ) |
|---|---|
|
Klient ( s. 1 ) ⨅ Udział ( s. 2 ) ⨅ isAccessCodeOf ( s . 3 , str. 1 ) ⨅ Ktoś ( s. 4 ) ⨅ Dostawca ( s. 4 ) |
Czynność ( s. 5 ) ⨅ maPodmiot( s. 5 , s. 1 ) ⨅ maDziałanie( s. 5 , s . 2 ) ⨅ maPrzedmiot( s. 5 , s. 3 ) ⨅ maCel( s. 5 , s. 4 ) ⨅jestPowstrzymanie( s. 5 , s. 1 ) |