Comment représenter cette phrase dans la logique de description?

Question

Comment décrire cela dans la logique de description?

« chaque être humain est mâle ou femelle »

Merci

Answer 1

Avec le calcul propositionnel, ce serait décrit comme:

& forall; xH (x) ⊃ (M (x) ∨ F (x)) ∧ (¬ (M (x) ∧ F (x)))

où:

H(x) = x is human 
M(x) = x is male 
F(x) = x is female 

Dans la logique de description, il est un peu différent:

human ⊆ (male ∪ female) ∩ ¬(male ∩ female) 

Answer 2

n'ont pas la possibilité de commenter encore comme un débutant, mais je crois que vous voulez utiliser un « exclusif ou ». .. là encore, je suppose que cela dépend de votre univers du discours;)

Answer 3

Les réponses fournies ici n'utilisent pas la syntaxe Description Logic (qui est sans variable). En supposant que vous voulez que la description réelle syntaxe logique qui est utilisée dans les documents scientifiques sur la description Logiques, vérifier ceci:

human \sqsubseteq (male \sqcup female) \sqcap \neg (male \sqcap female) 

Il est écrit en LaTeX, vous pouvez utiliser un éditeur d'équations en ligne LaTeX, par exemple this pour rendre cette expression.