人工智能中的微小冲突

Question

考虑知识库

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％肯定我理解最小的冲突。

Answer 1

  

KB的冲突是一组假设，给定KB意味着错误。

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

  

冲突集是一组可以在观察时不能完全正确的假设。

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

因此，此KB的最小冲突集恰好是：

  

{d}
  {E，F}
  {E，G}
  {E，H}

确定：

• 在任何这些集合中，所有可用的同时都不能成立。
• 这些集合中没有一个集合也存在冲突。

要完成答案，这是p→q

的真值表

Answer 2

据我所知，以前的答案不正确。

此KB的最小冲突集恰好是：

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

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