5
Wie beschreibt man das in der Beschreibungslogik?Wie wird dieser Satz in der Beschreibungslogik dargestellt?
„jeder Mensch ist entweder männlich oder weiblich“
Dank
A
Antwort
3
Mit Aussagenlogik, würde dies wie folgt beschrieben werdenF (x)) ∧ (¬ (M (x) ∧ F (x)))
wo:
H(x) = x is human
M(x) = x is male
F(x) = x is female
In Beschreibung Logik, es ist ein wenig anders:
human ⊆ (male ∪ female) ∩ ¬(male ∩ female)
+0
-1 diese & Johns Antwort: Prädikatenlogik ist keine Beschreibungslogik. Insbesondere gibt es keine unbeschränkte Quantifizierung in der Beschreibungslogik: Die Quantifizierung erfolgt über Rollen, was nicht die gleiche Sache ist. –
1
haben nicht die Fähigkeit, noch als Neuling zu kommentieren, aber ich glaube, Sie würden eine „exklusiv oder“ verwenden möchten. ; xH (x) ⊃ (M (x) 01
& forall:; .. dann wieder, ich denke, es auf dem Diskursuniversum abhängt)
5
Die Antworten, die hier angegeben werden, verwenden nicht die beschreibende Logik-Syntax (die frei von Variablen ist). Angenommen, Sie die tatsächliche Beschreibung Logic Syntax mögen, die in wissenschaftlichen Arbeiten über Beschreibungslogiken verwendet wird, check this out:
human \sqsubseteq (male \sqcup female) \sqcap \neg (male \sqcap female)
Sein in LaTeX geschrieben, Sie einen Online-LaTeX Formel-Editor verwenden können, beispielsweise this, um diesen Ausdruck zu rendern.
+0
+1 für die allgemeine Rechtmäßigkeit im Streben nach Recht. –
huh? ............. –