AI - 包含在州内的内容

Question

我正在接受人工智能的第一门课程，我必须在作业中定义一些问题（还没有解决它们，只提供一个定义）。 所以我必须定义boolean satisfiability problem ：

1. 什么是州？
2. 什么是初始状态？
3. 什么是最终状态？
4. 什么是运营商？

我的问题是：公式应该成为国家的一部分吗？

到目前为止的考虑因素：

• 操作员不会改变它，并且它在计算中是不变的，所以它不是。
• 如果我确实包含它，理论上，搜索空间会变得更大，因为更多的状态是可能的，但实际上公式不能改变，所以我得到一个大的状态，并且一个分支因素不是对应。
• 它从一个执行到下一个执行不同，所以它应该是状态的一部分。

Answer 1

在进行此类搜索时，您只需要将问题的不同部分真正考虑为状态，尽管在这种情况下我会说这实际上取决于您如何定义问题。

算法的给定运行的搜索空间取决于输入公式，但在此之后是固定的，即您正在搜索n个长度位向量的空间，其中n是公式中变量的数量。所以公式不是国家的一部分，因为它没有变化。

反诉声称你正在更大的公式 - 矢量对空间中搜索，但由于你不能将公式改为问题的一部分，这并没有真正增加搜索空间的大小。因此，我不会声称“如果我确实包含它，理论上搜索空间会变得更大”。它没有，可达状态是相同的，分支是相同的，需要探索来解决问题的空间是相同的。

鉴于此，我的回答是公式不是状态的一部分，而是定义状态空间的本质。因此，您的四个问题的答案将在某种程度上在功能上取决于公式，但状态仅取决于公式的长度。

希望有意义！

Answer 2

这只是未来读者的注意事项 - 不是答案

维克史密斯是正确的，另一种看待in theory there are more states这一事实的方法，但实际上并非（我的第二点），只是将其视为单独的束缚空间。例如，公式X or Y有一个束缚空间，not X and Y有另一个束缚空间，它们在表示中没有公共节点。

因此它可以从一个执行到另一个执行，但仍然具有相同的“可达”状态和相同的分支因子。每次执行都有不同的起始状态。