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