25 February 2004
CS 3243 - Logical Agents (part 2)
13
Applying inference rules
Equivalent to a search problem
nKB state =
node
nInference
rule application = edge
KB:
B, A Ù D Ù C,
B, A Ù D Ù C,
B Þ F
KB:
B, A Ù D Ù C,
B, A Ù D Ù C,
B Þ F, A
KB:
B, A Ù D Ù C,
B, A Ù D Ù C,
B Þ F, F
