Szemantikus hálózat

A szemantikus hálózat egy megjelölt grafikon, amely a tudás ábrázolására szolgál .

A pszichológia, az 1960-as, Quillian és Collins először használta, hogy a modell használata taxonómiák a szemantikus emlékezet .

Ezeket a hálózatokat használták például a tezauruszok kezelésére , a szöveg jelentésének modellezésére, vagy a robotikában a rendszer állapotainak modellezésére a cselekvési tervek kidolgozása érdekében.

Példák

Rendszertani hálózat

Egy ilyen szemantikus hálózat kétféle csomópontot alkalmaz :

csomópontok fogalommegállókkal (taxonómiai kategóriákat jelölve )
objektumállandók által jelölt csomópontok (amelyek a fogalmak példányait vagy a fogalmak tulajdonságait jelentik - lásd a képen metszett zöld téglalapokat és hosszúkás kék téglalapokat),

és legalább három típusú ív összeköti a csomópontokat:

az összesítés ívei (más néven linkek „est1” (a) ),
kompozíciós ívek (más néven „a” linkek (van a) ),
a példányosítás ívei (más néven: linkek „sortDe” (egyfajta) ).

Lehetnek más specifikus linkek is. Például egy szinonimaszótár használatához hozzáadjuk a szinonim transzverzális linkeket és társítjuk a hierarchikus linkekhez , amelyek elkerülik a hallgatásokat (a lehetséges válaszok nem találhatók).

Művelet

A hálózat meghatározott útjai egy kérdéshez társulnak, például markerek terjedésével, olyan utakkal, amelyek értelmezése adja a választ.

Annak megállapításához, hogy egy A csomópont által képviselt objektum egy halmaz tagja-e, amelyet B csomópont képvisel, követnünk kell az A-tól felfelé haladó összes ívet (ív 'is1' és ívek 'sortOf'), hogy lássuk, hogy találkozzon a B csomóponttal

Jelöljük (a link megérkezésének megkezdését) a szemantikus hálózat ívét. Ezután (Medor 1 kutya), majd (kutya fajta négylábú) alkot egy utat (Medor (est1) kutya (fajta) négylábú), amelyet asszimilálunk egy virtuális linkre (Medor 1 négylábú): Medor kutya , azt mondjuk, négylábú " örökli ebből a kategóriából a négylábúság tulajdonságát.

Az A csomópont által képviselt objektum P tulajdonságának értékének meghatározásához az A-tól felfelé haladó íveket követjük (mint korábban), amíg meg nem találjuk ezt a P tulajdonságú csomópontot (ívfüggvény).

A kérdésre (Kiki mozgás?) A következő (Kiki est1 merle), (feketerigó fajta madár), (madármozgás repül) vezet (Kiki mozgás repül) (öröklődés elve) felé. A kérdésre (Lola Mouvt?),

a szekvencia (Lola egy strucc), (strucc fajta madár) és (mozgó madárlegyek) belek (Lola mozgás repül). Az öröklés itt zajt generál (téves válasz), mert az öröklés csak a madár általános tulajdonságaiban biztos (itt tollai vagy egyfajta petesejtjei vannak ), és csak a heurisztikusak a tipikus tulajdonságaihoz (például a legyek ).
ha a hálózatnak van íja (mouvt strucc faj), akkor az első ív mouvt leállítását kapjuk (Lola mouvt faj). A specifikus tulajdonságok elsőbbsége az általános vagy tipikus tulajdonságokkal szemben, vagy az elsőbbség a legtöbb helyi tulajdonsággal szemben lehetővé teszi az öröklés elve alóli kivételek kezelését .

Szöveg jelentése

Megtartjuk az ívek gondolatát, amelyek bináris összefüggést jelentenek az indulási és az érkezési pont között.

Rejtett neveket fogadunk el:

parafrázisokkal meghatározott entitások esetében;

Nevezzük például a 001 dollárt "a ház mögötti nagy gesztenyefának": reprezentációját egy $ 001 csomópont és az ívek ($ 001 is1 gesztenyefa), ($ 001 nagy méret), ($ 001 a ház mögött) alkotják. ).

n-ary kapcsolatok elszámolására.

Tehát "John kölcsönadta Peter könyvét Máriának" válik (John 070 dollárt kölcsönöz) (070 dollár 1 könyv) (070 dollár prop Peter) (070 dollár Máriához), ahol 070 dollár a kölcsön tárgya.

Opcionálisan particionált hálózatokat is használnak, amelyekben egy csomópont most izolált szemantikai (al) hálózatot jelöl ki.

"John úgy véli, hogy Peter idősebb Marynél" fog kinézni (John hisz R17 dollárban), ahol az R17 dollár tartalmazza John hitét, a stílus (Pierre életkor R17,1 USD), (Marie életkor R17,2 USD), ( $ R17.1> $ R17.2), szemben a valós helyzettel , például (Pierre 28 éves), (Marie 29 éves).
egy fa leírása évszakonként évszakonként alhálózat formájában is megjelenhet;
esetleg a problémák egymás utáni finomításával történő megoldására.

Művelet

A kérdések egy explicit változókat tartalmazó szemantikus hálózattá redukálódnak, amelyek a válasz megfogalmazására szolgálnak, és a dummy változók csak a kérdés felépítésének kifejezésére szolgálnak. Tehát: „Hol lakik Mária vőlegénye? ”Lesz (* 1 él? 1) (* 1 vőlegényA Marie), ahol? 1 a keresett hely nevét, * 1 pedig a vőlegény nevét jelenti, a szükséges közvetítő nem kért.

Ezután megkeressük, hogy a kérdés-grafikon a hálózat részgráfja-e, figyelembe véve az öröklődéseket és kivételeket.

Nehézségek

Először idézzük a szókincs bőségét: ha Schank úgy gondolja, hogy 14 általános igével megelégedhet, a franciának 8000 igéje van ... miközben ajánlja az ismétlések elkerülését.

És az általános ismeretek, a józan ész, a pragmatika kérdése is ... Például a genealógiai hálózat kódolásának és kiaknázásának képesnek kell lennie arra, hogy szembenézzen az anyai bácsi féltestvérének kérdésével, tehát a sok másodlagos kapcsolat kérdésével. a kapcsolatokból kitöltött elsődlegekből levonható.

Dinamikus hálózat

Ezekre a hálózatokra a nem őket módosító kérdések mellett olyan operátorokat alkalmazunk, amelyek az íveket összekapcsolják vagy leválasztják (felsorolják) az íveket a műveletek szimulálására. Ezek az operátorok meghatározott általános formában „ha nyújtott kötődnek list1 függetleníteni list2 ”.

Termelés

Lisp-ben asszociatív listákat fogunk használni. Létrehozhatunk például egy hálózatot három objektummal:

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

A assoc funkció alkalmazott kanári lehetővé teszi, hogy kivonat értékét társított kulcs: így

(assoc 'couleur canari) → (couleur jaune).

A Prologban:

% 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.

Lásd is

Bibliográfia

WA Woods, mi a link: A szemantikus hálózatok alapjai , Bolt, Beranek és Newman, 1975
R. Jackendoff, Szemantikus struktúrák , The MIT Press, Cambridge Mass, 1990
JF Sowa, Semantic Networks , Stuart C Shapiro. A mesterséges intelligencia enciklopédiája, 1987.

Külső linkek

P. Saint-Dizier, Szemantikus hálózatok , Sémanticlopédie .