你会如何在 Prolog 中表达事实的互斥？

Question

假设您正在使用家谱数据库。一些记录丢失。你可能知道叫“John”的人是男性，叫“Mary”的人是女性，等等。

male(X)   :- first_name(X, "John").
female(X) :- first_name(X, "Mary").

对于具有异国情调或外国名字的人，他们的性别可能不清楚，但一定是两者之一。婚姻（本世纪之前）是在异性之间。

female(X) :- wed(X, Y), male  (Y).
male  (X) :- wed(X, Y), female(Y).

知道某人的性别是男性还是女性（即使您不知道是哪一个）是破译身份和关系的重要信息。

你会如何在 Prolog 中编码这些知识？

---

female(X) :- person(X), not(male(X)).

是不正确的，因为它使您得出结论，除非可以证明他们是男性，否则每个人都是女性。

Answer 1

不正确，因为它使您得出结论，除非可以证明每个人都是男性，否则每个人都是女性

这种推理，稍加提炼，是不不正确的。每个人都是潜在的女性，除非他们被证明是男性。他们还会是什么？

possibly_female(Person) :-
    person(Person),
    \+ proven_male(Person).
possibly_female(Person) :-
    proven_female(Person).

possibly_male(Person) :-
    person(Person),
    \+ proven_female(Person).
possibly_male(Person) :-
    proven_male(Person).

虽然，取决于您想要做什么，而不是使用已知/可能的性别划分，使用男性/女性/未知的三向划分可能更简单：

unknown_gender(Person) :-
    person(Person),
    \+ proven_female(Person),
    \+ proven_male(Person).

（关于性别二元论的许多警告适用于现实世界，但可以说，如果您真的基于二元假设对历史数据库进行建模，那么使用该模型是合理的。）

Answer 2

你对很多事情都做了很多假设。正因为如此，这个问题比它需要的要复杂得多。

你说，在你的情况下，“不知道是男性”对于“是女性”来说是不够的。但你也说，“不知道是男性并且嫁给了男性”就足够了。

在一些假设的程序中（我们在你的问题中没有，所以它不是真正可重现的）你可能会写：

is_female(X) :- female(X).
is_female(X) :- \+ is_male(X), married_to(X, Y), is_male(Y).

有些东西来自于填写你问题中的空白。 is_female/1 是否需要female/1 和？这取决于。等等