Wysiging soos op 07:07, 20 September 2015 wysig Naudefj (besprekings \| bydraes) Burokrate, Administrateurs 71 387 edits No edit summary ← Ouer wysiging		Wysiging soos op 15:56, 24 September 2015 wysig maak ongedaan Petterual (besprekings \| bydraes) 77 edits k Redaksioneel Etiket: Visuele teksverwerker Nuwer wysiging →
Lyn 36: === Ander voorbeelde === Dit is ook moontlik om logiese beskrywings met semantiese netwerke soos die ~~eksistensiêle~~eksistensiële grafieke van Charles S. Peirce of die aanverwante konseptuele grafieke van John F. Sowa<ref name="Sowa">John F. Sowa (1987).</ref> voor te stel. Hierdie formalismes het 'n uitdrukkingsvermoë wat gelyk is aan aan dié van [[Predikaatlogika\|eerste-orde predikaatlogika]] of dit selfs oorskrei. Anders as WordNet of ander leksikale of blaainetwerke, kan semantiese netwerke wat hierdie voorstellings gebruik, aangewend vir betroubare outomatiese logiese afleiding. Sommige outomatiese bewysvoerders benut die grafiek-teoretiese eienskappe van die netwerke tydens verwerking. 'n Ander voorbeeld van semantiese netwerke is Gellish modelle. Gellish Formal English met sy Gellish Formal English woordeboek, is 'n formele taal wat as 'n netwerk van relasies tussen konsepte en name van konsepte gedefinieer is. Gellish Formal English is 'n formele subversameling van natuurlike Engels, net soos wat Gellish Formeel Nederlands 'n formele subversameling van Nederlands is. Weergawes in ander tale, soos byvoorbeeld Gellish Formeel Nederlands, bevat soortgelyke inhoud as Formal English en ondersteun so Nederlands-Engels outomatiese vertaling. Algemeen gesproke bestaan Gellish netwerke uit kennismodelle wat in die Gellish taal uitgedruk is.

Semantiese netwerk: Verskil tussen weergawes