Optimization Methods for Logical Inference

Logic has recently become a basic modelling tool alongside mathematics, and the two styles of modelling are beginning to combine. Thus the need for logical inference models, particularly those that involve quantitative methods, is growing. As generated in operations research and computer science, the methods of combinatorial optimization can be powerful tools for understanding and solving logical inference problems which arise in Artificial Intelligence (AI) and other fields.