{"id":"arxiv/2607.15532","url":"https://arxiv.org/abs/2607.15532","tags":["cs.AI","math.OC"],"score":0,"title":"Logic, Optimization, and Artificial Intelligence","domain":"cs.AI","source":"arxiv","authors":["J. N. Hooker"],"reviews":0,"subject":"cs.AI","summary":"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 on new relevance amid a growing concern for transparency in AI. which is important for reproducibility, explainability, trustworthiness, and fairness. Rule-based AI provides a natural solution to transparency that is becoming increasingly practical due to today's highly advanced optimization methods. This article…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-17","reactions":{}}