×

zbMATH — the first resource for mathematics

The G12 project: Mapping solver independent models to efficient solutions. (English) Zbl 1165.68517
Gabbrielli, Maurizio (ed.) et al., Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29208-X/pbk). Lecture Notes in Computer Science 3668, 9-13 (2005).
Summary: The G12 project recently started by National ICT Australia (NICTA) is an ambitious project to develop a software platform for solving large scale industrial combinatorial optimisation problems. The core design involves three languages: Zinc, Cadmium and Mercury (Group 12 of the periodic table). Zinc is a declarative modelling language for expressing problems, independent of any solving methodology. Cadmium is a mapping language for mapping Zinc models to underlying solvers and/or search strategies, including hybrid approaches. Finally, existing Mercury will be extended as a language for building extensible and hybridizable solvers. The same Zinc model, used with different Cadmium mappings, will allow us to experiment with different complete, local, or hybrid search approaches for the same problem. This talk will explain the G12 global design, the final G12 objectives, and our progress so far.
For the entire collection see [Zbl 1086.68004].

MSC:
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
90C27 Combinatorial optimization
Software:
G12; Zinc
PDF BibTeX XML Cite
Full Text: DOI