Xref: utzoo comp.ai:1443 comp.lang.misc:1182 comp.lang.prolog:648 comp.misc:2076
Path: utzoo!mnetor!uunet!kddlab!icot32!nttlab!gama!etlcom!hasida
From: hasida@etlcom.etl.JUNET (Koiti Hasida)
Newsgroups: comp.ai,comp.lang.misc,comp.lang.prolog,comp.misc
Subject: Re: constraint satisfaction programming
Message-ID: <6605@etlcom.etl.JUNET>
Date: 10 Mar 88 02:52:21 GMT
References: <5070@pyr.gatech.EDU>
Organization: Electrotechnical Laboratory, Tsukuba Science City
Lines: 29
In-reply-to: parvis@pyr.gatech.EDU's message of 23 Feb 88 17:35:25 GMT

Posting-Front-End: GNU Emacs 18.47.144 of Wed Feb 10 1988 on etlcom (berkeley-unix)


In <5070@pyr.gatech.EDU>, Parvis Avini writes:
> I'm looking for some interesting research in the topic of constraint logic
> programming or constraint satisfaction programming. I'm already familiar with
> Jaffar's and Lassez' work and also with the Prolog III approach.

See my article, entitled 'Dependency Propagation', included in IJCAI87
Proceedings, though, I'm afraid, this is not very well-written; less
than half of it talks about constraint programming, and natural
language is what the rest of it is about. I should work out its
constraint programming part in a more complete form.

A crucial difference between my DP and others (CLP, Prolog III, etc.)
is that DP deals with constraints on combinatorial objects (i.e., the
term structures of logic) whereas the constraints considered in the
other approaches are about arithmetic objects (rational numbers or
real numbers). Another difference is that in DP we look upon
processing as constraint transformation. Since the constraint is the
program here, processing is a sort of program transformation.

Currently under way is an implementation of the interpreter according
to DP. This implementation is being done in language C. The first
phase of the work is supposed to be finished within one month or two,
and will be applied to a natural-language parser based on a
unification grammar formalism.

I hope this is of some interest to you.

HASIDA, Koiti ('HASIDA' is my family name)
Machine Inference Section