Vikipedio:Projekto matematiko/Semantika reto

El Vikipedio

Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al
Semantika reto
(eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi.

Semantika reto estas ofte uzita kiel (formo, formi) de scia prezento. Ĝi estas orientita grafeo konsistanta de verticoj kiu prezenti (konceptoj, konceptas) kaj randoj kiu prezenti semantikaj rilatoj inter la (konceptoj, konceptas).

Semantika retoj estas komuna tipo de maŝino-legebla vortaro.

Gravaj semantikaj rilatoj:

_Meronymy_ (A estas parto de B)
_Holonymy_ (B havas A kiel parto de sin)

_Hyponymy_ (aŭ _troponymy_) (A estas malpreferi de B; A estas speco de B)
_Hypernymy_ (A estas _superordinate_ de B)

_Synonymy_ (A signifas la sama kiel B)
_Antonymy_ (A signifas la kontraŭa de B)

Ekzemplo de semantika reto estas _WordNet_, _lexical_ datumbazo de Angla.

Tia (retoj, retas) engaĝi honeste laksa semantiko (asocioj, asocias) (tiu, ke, kiu) estas _nonetheless_ utila por homo (folianta, foliumanta). Ĝi estas ebla al prezenti logika (priskriboj, priskribas) uzanta semantik retoj kiel la Ekzisteco (Grafikaĵoj, Grafeoj) de Karlo S. _Peirce_ aŭ la rilatanta Koncepta (Grafikaĵoj, Grafeoj) de Johano F. _Sowa_. Ĉi tiuj havi esprima povo egala al aŭ superanta norma predikato de la unua orda logiko. Malverŝajne _WordNet_ aŭ alia _lexical_ aŭ (folianta, foliumanta) (retoj, retas), semantik retoj uzanta ĉi tiuj povas esti uzita por fidinda aŭtomatis logika konkludo. Iu aŭtomatis _reasoners_ ekspluati la (grafikaĵo, grafeo)-teoria (esprimiloj, esprimas) de la (retoj, retas) dum procezante.

"Semantiko (Retoj, Retas)" estita unua inventis por komputiloj per _Richard_ H. _Richens_ de la Kembriĝo (Britio) Lingvo Esplori Unuo en (1956, Kategorio:1956) kiel "interlingvao" por maŝintradukado de naturaj lingvoj. Ili estis ellaborita per _Robert_ F. _Simmons_ je Sistema Evolua Korporacio, _Santa_ Moniko, Kalifornio en la frua 1960-aj jaroj kaj poste esprimis elstare en la laboro de Sinjoro _Ross_ _Quillian_ en (1966, Kategorio:1966).

Estas ellabori (klavas, tipoj) de semantik retoj koneksa kun korespondanta aro de programaro (iloj, ilas) por scia inĝenierado, ŝati la Semantika Reto Procezante Sistemo ( _SNePS_ ) de _Stuart_ C. _Shapiro_ aŭ la _MultiNet_ scienca paradigmo de _Hermann_ _Helbig_ (_MultiNet_ estas siglo por "_Multilayered_ Etendis Semantika Reto"). La lasta estas aparte konvenita por la semantika prezento de naturaj lingvaj esprimoj kaj uzita en kelkaj NLP aplikoj.

Unu povas konsideri mensa mapo al esti tre libera (formo, formi) varianto de semantik reto. Per uzanta (koloroj, koloras, kolorigas) kaj (bildoj, bildas) la emfazo estas sur generante semantiko (reto, neta) kiu elvokas homa kreivo.

En la 1960-aj jaroj al 1980-aj jaroj la ideo de semantiko ligi estita ellaborita en hipertekstaj sistemoj kiel la plej baza unuo, aŭ rando, en semantik reto. Ĉi tiuj (ideoj, ideas) estita ege influa, kaj tie havi estas multaj provas al adicii tipita ligi (semantiko, semantikoj, semantikas) al HTML kaj XML.