【摘要】：我们的巴西旅行者看来能够得到关于其他巴西人所使用语言的一个可靠的一般化。这些语句称为函数依赖关系或称决定关系。这种情况在特定种类的应用中出现得如此普遍，因此用一个专门的句法来书写它们。我们采用了Davies的符号：与往常一样，这只是一个句法上的便利，但是也清楚地说明了决定关系就是谓词之间的一种关系：国籍决定语言。决定电导率和密度的相关属性可以类似地表示为：
19.4 使用相关信息进行学习
我们的巴西旅行者看来能够得到关于其他巴西人所使用语言的一个可靠的一般化。这个推理来自她的背景知识，即一个给定国家中的人们（通常）说相同的语言。我们可以用一阶逻辑把它表示如下 [9]：
（字面解释：“如果x和y有相同的国籍n，而且x说的语言是l，那么y说的语言也是l。”）不难证明，从语句和观察
Nationality(Fernando, Brazil)∧Language(Fernando, Protuguese)
能够蕴涵得到下面的结论（参见习题19.1）：
诸如（19.6）这样的语句表达了相关性的一个严格形式：给定国籍，语言也就完全决定了。（换句话说：语言是关于国籍的一个函数）。这些语句称为函数依赖关系或称决定关系。这种情况在特定种类的应用中出现得如此普遍（例如，对数据库的设计进行详细说明），因此用一个专门的句法来书写它们。我们采用了Davies（1985）的符号：
与往常一样，这只是一个句法上的便利，但是也清楚地说明了决定关系就是谓词之间的一种关系：国籍决定语言。决定电导率和密度的相关属性可以类似地表示为：
相应的一般化也可以逻辑上根据决定关系和观察得到。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
