semantic-web - この文を記述論理でどのように表現するか?

Question

これを記述ロジックでどのように記述しますか?

「すべての人間は男性か女性のどちらかです」

ありがとう

score 6 · Accepted Answer

これまでにここで提供された回答では、説明論理構文 (変数を使用しない) は使用されていません。記述ロジックに関する科学論文で使用されている実際の記述ロジック構文が必要であると仮定して、これを確認してください。

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

これは LaTeX で書かれており、オンラインの LaTeX 数式エディタを使用できます。たとえば、これを使用してこの式をレンダリングできます。

score 3 · Accepted Answer

命題論理では、これは次のように記述されます。

∀xH（x）⊃（M（x）∨F（x））∧（¬（M（x）∧F（x）））

どこ：

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

記述論理では、少し異なります。

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

score 1 · Accepted Answer

初心者としてまだコメントする能力はありませんが、「排他的または」を使用したいと思うと思います...もう一度言いますが、それはあなたの言説の宇宙次第だと思います;)

3 に答える 3