Pojmový graf
Pojmový graf je zápis pro logiku založenou na existenciálních grafech Charlesa Sanders Peirce a sémantické sítě umělé inteligence. V prvním publikovaném referátu na CGs, John F. Sowa používal je, aby reprezentoval pojmová schémata používaná v systémech databáze. První kniha o CGs aplikovala je na široký rozsah témat v umělé inteligenci, informatiky a poznávací vědy. Lineární notace, volal Conceptual graf formát výměny, byl standardizován v ISO standardu pro Common logiku.
Diagram vpravo je příklad formy displeje pro pojmový graf. Každá bedna je nazývána uzlem pojetí a každý ovál je nazýván uzlem vztahu. V CGIF, tento CG by byl reprezentovaný následným prohlášením:
Nepřehlédněte: Tato stránka obsahuje strojový překlad textu z anglické encyklopedie Wikipedia. Pokud budou některé pasáže špatně srozumitelné, zkuste se podívat i na text v originále, který najdete pod odkazem Conceptual graph. Překlad byl vytvořen pomocí překladače Eurotran.
[Cat Elsie] [sedět * x] [podložka * y] (agent? x Elsie) (umístění? x? y)
V CGIF, hranaté závorky oplotí informace uvnitř uzlů pojetí, a parentheses oplotit informace uvnitř uzlů vztahu. Dopisy x a y, který být nazýván coreference popiskami, přehlídka jak pojetí a uzly vztahu jsou spojeni. V obyčejné logické výměně formátovat (CLIF), ty dopisy jsou mapovány k proměnným, jak v následném prohlášení:
(existuje (( x sedět) (y podložka )) (a (Cat Elsie) (agent x Elsie) (umístění x y )))
Jak tento příklad se ukáže, hvězdičky na popiskách coreference * x a * y v CGIF mapě k existentially počítal proměnné v CLIF a otazníky na ? x a ? y mapa k vázaným proměnným v CLIF. Univerzálie quantifier, reprezentovaný @ každý * z v CGIF, by byl reprezentoval forall (z) v CLIF.
Viz též
- Mapa pojetí
- pojmové schéma
- sémantická síť
- reprezentace znalostí
- Diagram pavouka
- Zdrojová popisová kostra (RDF)
Odkazy
- Sowa, John F. (1984), koncepční konstrukce: Zpracování informací v mysli a stroji, Addison-Wesley, číst, Ma, 1984.
- Sowa, John F. (1976), “pojmové grafy pro rozhraní databáze”, IBM žurnál výzkumu a vývoj 20 (4), 336 – 357, červenec 1976. PDF soubor.
Externí odkazy
Lidi
Tam je živé celosvětové pojmové grafy zkoumají komunitu, který začal sérií sedmi každoročních seminářů, které se setkaly od 1986 k 1992. V roce 1993, semináře byly povýšené na mezinárodní konference na koncepčních konstrukcích (ICCS), který byli drženi každoročně v Evropě, Austrálii a severní Americe. Od středních devadesátých lét, ICCS společenství rozšířilo jeho možnost zahrnovat formální pojetí analýza (FCA) a jiné nástroje a jazyky pro reprezentovat a uvažovat o pojetích. Následovat je vzorek některých současně aktivních výzkumníků na pojmových grafech, mnoho z koho kombinovat CGs s FCA a jiné notace pro logiku.
|
|