18 and 25 Feb 2004
CS 3243 - Logical Agents
30
Inference by enumeration
nDepth-first enumeration of all models is sound and complete
n
n
n
n
n
n
n
n
n
nFor n symbols, time complexity is O(2n), space complexity is O(n)