Prev Up Next
Go backward to Solution to part (b)
Go up to 1 Models and Logical Consequences (ground)
Go forward to Solution to part (d)

Solution to part (c)

Give two atoms that are logical consequences of the knowledge base.

Answer: Any two of e,f,c,b,a.

Computational Intelligence online material, ©David Poole, Alan Mackworth and Randy Goebel, 1998

Prev Up Next