logic - 具体领域究竟可以用来描述什么？

Question

我已经阅读了“具体域”的正式定义，但我仍然不太明白。

有人可以用更简单的术语向我解释一下，最好是一些例子吗？

该定义可在 Ullrich Hustadt、Boris Motik、Ulrike Sattler的“ Reasoning in Description Logics with a Concrete Domain in the Resolution of Resolution”中找到。第 1 页，定义 1。

Answer 1

我自己对谓词逻辑不是很好，但对你的问题很感兴趣，所以我阅读并从“描述逻辑手册”的第 6.2.1 部分中对具体域的概念有了相当好的概述，它有一些例子也。

我是新用户，无法发布链接，但您可以通过在 Google 上搜索“具体域”找到这本书（查找 books.google.com）。

我希望它有所帮助，我发现正式的定义也很难得到！6.2.1 部分的开头很适合作为本书的介绍。

祝你好运！