Logic 具体领域究竟可以用来描述什么？_Logic

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

logic

Logic 具体领域究竟可以用来描述什么？,logic,Logic,我已经读过“具体领域”的正式定义，但我还是不太明白有人能用更简单的术语解释一下吗，最好是举一些例子该定义可在作者：乌尔里希·赫斯塔特、鲍里斯·莫蒂克、乌尔里克·萨特勒。第1页，定义1。我自己对谓词逻辑不是很在行，但我对你的问题很感兴趣，所以我阅读了《描述逻辑手册》第6.2.1部分，对具体域的概念有了相当好的概述，其中也有一些例子我是一个新用户，无法发布链接，但你可以通过在谷歌上搜索“具体域”（lookforbooks.Google.com）找到这本书我希望这有帮助，我发现正式定义也很难

我已经读过“具体领域”的正式定义，但我还是不太明白

有人能用更简单的术语解释一下吗，最好是举一些例子

该定义可在

作者：乌尔里希·赫斯塔特、鲍里斯·莫蒂克、乌尔里克·萨特勒。第1页，定义1。

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

我是一个新用户，无法发布链接，但你可以通过在谷歌上搜索“具体域”（lookforbooks.Google.com）找到这本书

我希望这有帮助，我发现正式定义也很难得到！第6.2.1部分的开头有助于本书的介绍

祝你好运

链接到那些你声称读过的正式定义将是一个加号。谢谢。我仍然不完全明白，但书中的信息很有帮助。Buuut，我想我还是会留下问题的；）