Artificial intelligence 人工智能中的最小冲突

以知识库为例

false :- a.
false :- b,c.
a :- d.
b :- e.
c :- d,f.
c :- g.
c :- h.

假设{d，e，f，g，h}是一组假设，那么上述条款的最小冲突集是什么

我得到

{d}
{e,f}
{e,g}
{e,h}

对吗？不是100%确定我理解最小冲突

KB的冲突是一组假定值，给定KB意味着false

但这种平等的定义似乎更容易理解：

冲突集是一组假设值，在给定观察值的情况下，这些假设值不可能全部为真

而最小冲突是一种冲突，没有严格的子集也是冲突

因此，此知识库的最小冲突集正好是：

{d}
{e,g}
{e,h}

{d}
{e，f}
{e，g}
{e，h}

可以肯定的是：

• 在这些集合中的任何一个集合中，所有应变量都不能同时为真
• 这些集合中没有一个子集也是冲突的

为了完成答案，这里是p的真值表→ q

---

据我所知，先前的答案是不正确的

此知识库的最小冲突集正好是：

{d}
{e,g}
{e,h}

对于前面的答案e，f，d是一个冲突，但不是最小的，因为d子集是一个冲突。e、 f什么都不是