17 Mar 2005
CS 3243 - Logical Inference
16
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
