Up !
Illner Solutions




2. 5  Die Semantische Meta-Sprache SeMS


Illner Solutions hat 2005 zum ersten Mal die Semantische Meta-Sprache (SeMS) angegeben. Sie stellt eine einfache formale Sprache dar, mit der die Bedeutung von Sätzen besser abgebildet wird als durch Prädikatenlogik und andere.

SeMS stellt kein Logik-Kalkül? dar, sondern dient z.B. zum Vergleich von Bedeutungen und zur Übersetzung in andere Sprachen. Außerdem können in Kombination mit dem B-Netz aus [2.4] diverse Arten von sinnlosen Sätzen erkannt werden.






2. 5. 1  Das Ziel von SeMS
2. 5. 2  Elementaraussagen
2. 5. 3  Logische Verknüpfungen





2. 5. 1  Das Ziel von SeMS

Das Ziel dieser Unternehmung ist der Entwurf einer formalen Sprache, die die Bedeutung von Sätzen eindeutig beschreibt. Die Bedeutung ist unabhängig von der verwendeten natürlichen Sprache.
Wow !
Dies gelingt mit Hilfe der semantischen Relationen aus [2.2] und der Elementar-Relationen aus [2.3.2].


2. 5. 2  Elementaraussagen

Die Bedeutung von Aussagesätzen sind Aussagen. In [2.3.2] haben wir die beiden Typen von Elementarsätzen identifiziert.

b ( g ).
dies basiert auf der P-Relation, der Prädikation, der ist_ein-Relation.

Variante a) b1 ( b2 ).
Beispiel:
{| Rabe ist eine Vogelart. |}  =  F ( {| Rabe |} {| ist eine |} {| Vogelart |}. )
=  F ( rabe {| ist eine |} vogelart . )  =  vogelart ( rabe ).

Variante b) b ( k ).
Beispiel:
{| Hansi ist eine Rabe. |}  =  F ( {| Hansi |} {| ist ein |} {| Rabe |}. )
=  F ( Hansi {| ist ein |} rabe . )  =  rabe ( Hansi ).
Dies entspricht einem klassischen PROLOG-Fakt.
{| Dies ist eine Rabe. |}  =  F ( {| dies |} {| ist ein |} {| Rabe |}. )
=  F ( x {| ist ein |} rabe . )  =  rabe ( x ).

Variante c) b ( "g" ).
Beispiel:
{| "Rabe" ist ein Nomen. |}  =  F ( {| "Rabe" |} {| ist ein |} {| Nomen |}. )
=  F ( "Rabe" {| ist ein |} nomen . )  =  nomen ( "Rabe" ).


b1 [ b2 ].
dies basiert auf der O-Relation, dem Oberbegriff, der ein_ist_ein-Relation.

Beispiel:
{| Ein Rabe ist ein Vogel. |}  =  {| Raben sind Vögel. |}
=  F ( {| Rabe |} {| ein _ ist (ein) |} {| Vogel |}. )  =  vogel [ rabe ].
{| Ein Rabe ist schwarz. |}  =  {| Raben sind schwarz. |}
=  F ( {| Rabe |} {| ein _ ist (ein) |} {| schwarz |}. )  =  schwarz [ rabe ].


2. 5. 3  Logische Verknüpfungen

Die Elementaraussagen können mit logischen Verknüpfungen komplexere Aussagen bilden.

NICHT-Verknüpfung

¬ A

¬ b ( g ).
entspricht der Prädikatenlogik: b trifft nicht auf g zu.

Beispiel:
{| Rabe ist keine Fischart. |}  =  F ( {| Rabe |} {| ist keine |} {| Fischart |}. )
=  F ( rabe {| ist keine |} fischart . )  =  ¬ fischart ( rabe ).

¬ b1 [ b2 ].
entspricht dem Gegenteil bzgl. des Prädikats.

Beispiel:
{| Ein Rabe ist kein Fisch. |}  =  {| Raben sind keine Fische. |}  =  {| Nicht ein Rabe ist ein Fisch. |}
=  F ( {| Rabe |} {| ist kein |} {| Fisch |}. )  F ( rabe {| ist kein |} fisch . )  =  ¬ fisch [ rabe ].


UND-Verknüpfung

A1 und A2

b(g) und b(g)
Beispiel: ... a und b sind ... A und B. ...

b(g) und b[b]
Beispiel: A und B.

b[b] und b[b]
Beispiel: ... a und b sind ... A und B. ...

ODER-Verknüpfung

A1 oder A2

b(g) oder b(g)

b(g) oder b[b]

b[b] oder b[b]



Relativsätze
Der Vogel, der ...
Die Vögel, die ...



Erstmals kreiert am – Freitag, 30. Juli 2005
Letzrmals geändert am – Dienstag, 11. Februar 2020
Autor: Korgüll


Copyright 2005 – 2020  Illner Solutions