arxivcs.AImath.OC2026-07-17
Logic, Optimization, and Artificial Intelligence
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 optimization provides a powerful technology for computing inferences. Their combination has taken o…