5
Как описать это в логике описания?Как представить это предложение в логике описания?
«каждый человек является мужчиной или женщиной»
Благодаря
A
ответ
3
с исчислением, это будет описано как:
& FORALL; хно (х) ⊃ (М (х)Р (х)) ∧ (¬ (М (х) ∧ Р (х)))
где:
H(x) = x is human
M(x) = x is male
F(x) = x is female
В описании логики, это немного другое:
human ⊆ (male ∪ female) ∩ ¬(male ∩ female)
+0
-1 это и ответ Джона: логика предикатов - это не логика описания. В частности, в описательной логике нет такой вещи, как неограниченная количественная оценка: количественная оценка - над ролями, которая не является той же самой. –
1
не имеет возможностей пока комментировать как новичок, но я верю, что вы хотели бы использовать «исключающего или». .. опять же, я думаю, это зависит от вашей вселенной дискурса;)
5
В приведенных здесь ответах не используется синтаксис описания логики (который не имеет переменной). Предполагая, что вы хотите фактическое описание синтаксиса логики, которая используется в научных статьях о Описании логиках, проверить это:
human \sqsubseteq (male \sqcup female) \sqcap \neg (male \sqcap female)
Ее написанной в LaTeX, вы можете использовать онлайн LaTeX редактор формул, например, this, чтобы сделать это выражение.
+0
+1 для общей правоты в погоне за правомерностью. –
huh? ............. –