Sie semantyczna

W psychologii w latach szedziesitych Quillian i Collins po raz pierwszy uyli go do modelowania uycia taksonomii w pamici semantycznej .

Sieci te byy nastpnie wykorzystywane na przykad do zarzdzania tezaurusami , modelowania znaczenia tekstu lub w robotyce do modelowania stanów systemu w celu opracowania planów dziaania.

Przykady

Sie taksonomiczna

Taka sie semantyczna wykorzystuje dwa typy wzów  :

• wzy oznaczone staymi poj (reprezentujce kategorie taksonomiczne);
• wzy oznaczone staymi obiektami (reprezentujce instancje poj lub waciwoci poj - patrz cite zielone prostokty i podune niebieskie prostokty na obrazie),

i co najmniej trzy rodzaje uków czcych wzy:

• uki agregacji (zwane równie linkami est1 (is a) ),
• uki kompozycji (zwane równie czami a (ma) ),
• uki instancji (zwane równie: linkami 'sortDe' (jest rodzajem) ).

Mog istnie inne konkretne linki. Na przykad, aby uy tezaurusa , dodajemy do linków hierarchicznych synonimiczne cza poprzeczne i powizane z , co pozwoli unikn ciszy (nie znaleziono potencjalnych odpowiedzi).

Operacja

Okrelone cieki w sieci s zwizane z pytaniem, na przykad poprzez propagacj znaczników, cieki, których interpretacja dostarcza odpowiedzi.

Aby okreli, czy obiekt reprezentowany przez wze A jest czonkiem zbioru reprezentowanego przez wze B, musimy przeledzi wszystkie uki idce od punktu A w gór (uk 'is1' i uki 'sortOf'), aby sprawdzi, czy poznaj wze B.

Oznaczmy (zacznij nadejcie cza) uk sieci semantycznej. Nastpnie (Medor to 1 pies), a nastpnie (pies w rodzaju czworonoga) utwórz ciek (Medor (est1) pies (rodzaj) czworonoga), któr przyswoimy do wirtualnego poczenia (Medor to 1 czworonóg): Medor to pies , mówimy czworonony dziedziczy po tej kategorii waciwo bycia czworonogiem.

Aby okreli warto waciwoci P obiektu reprezentowanego przez wze A, podamy za ukami biegncymi od A w gór (jak poprzednio), a znajdziemy wze majcy t waciwo P (funkcja uku).

Na pytanie (ruch Kiki) Nastpujce (Kiki est1 merle), (rodzaj kosa), (ruch ptaków leci) prowadzi do (ruch much Kiki) (zasada dziedziczenia).

Na pytanie (Lola Mouvt),

• sekwencja (Lola to stru), (ptak typu strusia) i (ruchomy ptak leci) porywa (ruch Loli leci). Dziedziczenie generuje tutaj szum (za odpowied), poniewa dziedziczenie jest pewne tylko dla ogólnych waciwoci ptaka (tutaj ma pióra lub jakby jajorodne ) i tylko heurystyczne dla typowych waciwoci (takich jak ruch much ).
• jeli sie ma teraz uk (wycig strusi mouvt), uzyskuje si zatrzymanie tego pierwszego uku mouvt (wycig Lola mouvt). Priorytet okrelonych waciwoci nad waciwociami ogólnymi lub typowymi lub priorytet dla waciwoci najbardziej lokalnych umoliwia zatem zarzdzanie wyjtkami od zasady dziedziczenia .

Znaczenie tekstu

Utrzymujemy ide uków oznaczajcych binarn relacj midzy punktem wyjcia a punktem przyjazdu.

Przyjmujemy ukryte nazwy:

• dla podmiotów okrelonych przez parafrazy;

Na przykad nazwijmy 001 $ duym kasztanowcem za domem: jego reprezentacja bdzie utworzona przez wze 001 $ i uki (001 $ za 1 kasztanowiec), (duy kasztan za 001 $), (001 $ za domem ).

• do uwzgldnienia n-arynowych relacji.

Zatem Jan poyczy ksik Piotra Marii staje si (Jan poycza 070 $) (070 $ to 1 ksika) (070 $ prop Piotr) (070 $ od Marii), gdzie przedmiotem poyczki jest 070 $.

Opcjonalnie uywane s sieci partycjonowane, w których wze wyznacza teraz izolowan (pod) sie semantyczn.

• John wierzy, e Piotr jest starszy od Mary przybierze form (John uwaa, e $ R17), gdzie $ R17 zawiera przekonania Johna, stylu (wiek Pierre'a 17,1 $), (wiek Marie $ R17,2), ( R17,1 $> R17,2 $), w przeciwiestwie do rzeczywistej sytuacji , na przykad (Pierre, 28 lat), (Marie, 29 lat).
• opis drzewa na przestrzeni sezonów moe przybiera form podsieci na sezon;
• ewentualnie w celu rozwizania problemów przez kolejne udoskonalenia.

Operacja

Pytania s zredukowane do sieci semantycznej zawierajcej jawne zmienne, które posu do sformuowania odpowiedzi, a zmienne fikcyjne bd uywane tylko do wyraenia struktury pytania. A wic: Gdzie mieszka narzeczony Mary »Staje si (* 1 mieszka 1) (* 1 narzeczona A Marie), gdzie 1 to nazwa poszukiwanego miejsca, a * 1 imi narzeczonego, niezbdny porednik, którego nie dano.

Nastpnie szukamy, czy wykres pytajcy jest pod-grafem sieci, biorc pod uwag dziedziczenie i wyjtki.

Trudnoci

Zacytujmy najpierw obfito sownictwa: jeli Schank uwaa, e moe by usatysfakcjonowany 14 czasownikami rodzajowymi, francuski ma 8000 czasowników jednoczenie zalecajc unikanie powtórze.

A take kwestia wiedzy ogólnej, zdrowego rozsdku, pragmatyki ... Na przykad kodowanie i wykorzystywanie sieci genealogicznej musi by w stanie zmierzy si z kwesti przyrodniej siostry wuja ze strony matki , a zatem z kwesti wielu wtórnych relacji odliczane od wypenionych prawyborów relacji.

Sie dynamiczna

Do tych sieci stosujemy, oprócz pyta, które ich nie modyfikuj, operatorów czcych lub odczajcych (listy) uków do symulacji dziaa. Operatorzy te s okrelone w ogólnym ksztacie jeli umieszczono wi list1 Odwicie listy2  .

Produkcja

W Lisp bdziemy uywa list asocjacyjnych. Na przykad moemy stworzy sie z trzema obiektami:

(setq canari '((est1 oiseau)(couleur jaune)(taille petit))
      pingouin '((est1 oiseau)(mouvt nage))
      oiseau '((est1 vertébré)(avec ailes)(reproduction ovipare))
)

Funkcja assoc zastosowana do kanarka umoliwia wyodrbnienie wartoci skojarzonej z kluczem: w ten sposób

(assoc 'couleur canari)  (couleur jaune).

W Prologu mielibymy:

% création du réseau
def(canari, [[est1, oiseau], [couleur, jaune], [taille, petit]]].
def(pingouin, [[est1, oiseau], [mouvt, nage]]).
def(oiseau, [[est1, vertébré], [avec, ailes], [reproduction, ovipare]]).
% extracteur
assoc(Objet, Clé, Valeur) :- def(Objet, Prop), dans(Prop, Clé, Valeur).
dans([[X, Y]|Z], Clé, Valeur) :- Clé = X, Valeur is Y ; dans(Z, Clé, Valeur).
% 
 assoc(canari, couleur, C).
C= jaune.

Zobacz te

Bibliografia

• WA Woods, What's in a Link: Foundations for Semantic Networks , Bolt, Beranek and Newman, 1975
• R. Jackendoff, Struktury semantyczne , The MIT Press, Cambridge Mass, 1990
• JF Sowa, Semantic Networks , w: Stuart C Shapiro. Encyklopedia sztucznej inteligencji, 1987.

Linki zewntrzne

• P. Saint-Dizier, Sieci semantyczne , Sémanticlopédie .

Uwagi i odniesienia