Logic, Optimization, and Artificial Intelligence

J. N. Hooker

Logic and optimization can, in combination, make valuable contributions to rule-based AI. Logic is the obvious medium for encoding a rule base and drawing inferences from it, while…