Buchbergerさんの分

The purpose of this research is to improve the usability and to widen
the scope of the prototype of a software system for distributed
constraint solving in a functional-logic programming language
environment. The system is based on an implementation of
"deterministic lazy conditional narrowing" in the computer algebra
system Mathematica augmented by facilities for expressing systems of
(linear, polynomial, differential, and partial differential) equations
over the complex numbers. In the course of the execution of the
program, the interpreter collects these constraints and forwards them
to appropriate external solvers that can handle them. Parallelization
annotations in the program guide the distribution and scheduling of
the constraint sets.

We will brushup the system by developing "electronic tutorials" that
describe its various aspects in the form of application examples that
are embedded in Mathematica notebooks (browsable hypermedia documents
with executable contents). In the same way, the internal structure of
the system will be documented by "literal programs". In order to
improve the applicability of the system, we will integrate more
constraint solvers, improve the efficiency of the system with respect
to concurrent execution, and extend the calculus to handle more
general kinds of constraints and to incorporate some higher-order
features.


Darlingtonさんの分

The proposed project involves applying constraint logic programming
technologies to develop a natural problem specification framework for
large scale multi-objective decision making under uncertainty.  This
tool will enable decision makers to define, control and refine the
whole decision making procedure through a user oriented and
declarative modelling mechanism. This project will also investigate a
new method for supporting decision making within a stochastic
environment.

The major components of the proposed integrated and holistic solution
to the modelling problem will comprise ---

1) A CLP based framework that allows the natural specification of
   complex modelling and decision making procedures.

2) A methodology for translating such logic-based specifications into
   an integer programming formulation.

3) The modelling language will interface with a set of parallel
   constraint solvers. The generated constraints will be solved using
   underlying constraint solvers. New constraint solvers for
   stochastic IP will be developed based on the novel algebraic IP
   solver developed in the first phase of the project.

4) The whole system will be developed to facilitate incremental
   expansion.

Pontelliさんの分

The purpose of this research is to complete the development of the
WEB-KLIC environment and improve the quality of the user manual.

The methodology we will adopt in the brushup phase of the WEB-KLIC
project is based on refinements of the existing software and
documentation.

During the FY 97 we have developed and tested the lower layers of the
WEB-KLIC system. The goal of the here proposed brushup phase is to add
abstract APIs and simple extensions to make the use of WEB-KLIC more
abstract and more accessible to a wider community of developers. In
particular we propose to

(1) introduce an abstract API to the CGI facilities of WEB-KLIC

(2) port the browser interface facilities from NCSA Mosaic to Netscape
    and create an abstract API to express client-side computations;

(3) add two new sections (a Tutorial section and an Internals section)
    to the User Manual.