Automatic MILP solver configuration by learning problem similarities

Learning Arithmetic Problem Solver

In this paper we describe a problem solving system with a learning mechanism (Learning Arithmetic Problem Solver, LAPS), which can solve arithmetic problems written in natural languages. Since LAPS has knowledge about arithmetic problems in the form of rules, it can solve many different problems without alteration of the program. When LAPS cannot solve a given problem because of a shortage of k...

Domain Problem Solver Layer Domain Problem Solver

A fully automatic problem solver with human-style output

This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians. The program is part of a more general project, which we also discuss.

Automatic Learning of Textual Entailments with Cross-Pair Similarities

In this paper we define a novel similarity measure between examples of textual entailments and we use it as a kernel function in Support Vector Machines (SVMs). This allows us to automatically learn the rewrite rules that describe a non trivial set of entailment cases. The experiments with the data sets of the RTE 2005 challenge show an improvement of 4.4% over the state-of-the-art methods.

Problem Solver

The contract net protocol has been developed to specify problem-solving communication and control for nodes in a distributed problem solver. Task distribution is'affected by a negotiation process, a discussion carried on between nodes with tasks to be executed and nodes that may be able to execute those tasks. We present the specification of the protocol and demonstrate its use in the solution ...