Engineering a State-of-the-art CLP(FD) System
Speaker: Dr Neng-Fa Zhou, City University of New York, USA
When: 2005-11-08 10:00:00
Venue: 78-420
Host: Prof Xiaofang Zhou
Abstract:CLP(FD), the constraint logic programming language over finite
domains, is useful for solving a large number of real-life
optimization problems, such as scheduling, CAD, configuration,
graphical user interface design, and protein structure
predication. In this talk, I'll present a state-of-the-art
finite-domain constraint solver implemented in the B-Prolog
system. This talk consists of three parts. In the first part, I'll
talk about a new language, called AR (Action Rules), designed for
programming interactive agents. The hybrid execution model of AR,
which combines event-driven and goal-oriented execution, facilitates
programming constraint propagators. In the second part, I'll
present the machine architecture for AR and a very efficient
finite-domain constraint solver implemented in AR. In the third
part, I'll demonstrate a constraint-based graphics library, called
CGLIB, together with several applications developed using the solver
and CGLIB.
Biography:http://www.sci.brooklyn.cuny.edu/~zhou/
Neng-Fa Zhou is an Associate Professor of Computer Science at the
City Universiry of New York (Brooklyn College and Graduate Center),
and currently a visiting academic at Monash University and the
University of Melbourne. His research interests include programming
languages, compiler construction, constraint logic programming,
probabilistic learning, agent-based interactive systems,
optimization and problem solving, and graphics programming and
graphical user interfaces. He has authored over fifteen papers
published in top conferences and journals in his areas, and his
B-Prolog system is one of the most popular CLP systems in both
academy and industry.
Type: EEI
Contact:Prof Xiaofang Zhou, seminar host (zxf@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)