[Prev][Next][Index][Thread]

Re: about current state of the art of LL in AI...


Here are some more responses: 

pdl.

----------

From: Vijay Saraswat <vj@research.att.com>
Date: Sat, 4 Oct 1997 06:20:16 -0400 (EDT)
To: vladimir@cs.ualberta.ca
CC: jpalacio@mia.uv.mx, linear@CS.Stanford.EDU
In-reply-to: message from Vladimir Alexiev on Fri, 3 Oct 1997 16:57:51 -0700
Subject: Re: about current state of the art of LL in AI...

Let me add the work that Dalrymple, Lamping and I have been doing
(with various collaborators) on using Linear cc as the vehicle
for assembling meanings of natural language utterances, in a
context where the parsing is done using Kaplan and Bresnan's LFG
(Lexical Functional Grammars).

  http://www.parc.xerox.com/istl/groups/nltt/semantics

This approach  is being pursued by several other authors now, and
a book (edited collection of papers) is being worked on. 


----------


Date: Mon, 6 Oct 1997 11:36:10 +0200
From: Serena.Cerrito@lri.fr (Serena Cerrito)
To: jpalacio@mia.uv.mx, vladimir@cs.ualberta.ca
Subject: Re: about current state of the art of LL in AI...
Cc: bidoit@labri.u-bordeaux.fr, chris@lri.fr, linear@CS.Stanford.EDU

Concering the question:

> To: Vladimir Alexiev <vladimir@cs.ualberta.ca>
> From: jpalacio@mia.uv.mx
> could you tell me aboput the current state of the art relating Linear Logic
> in Artificial Intelligence? I want to keep this line of research as much as
> possible.
and the answer:

This question is probably better addressed to the linear mailing list, so I am
forwarding it there.....
....
Database updates based on the previous work (Vauzeilles+?).
.......


here it is another reference about LL and Database Updates:

N.Bidoit, S. Cerrito and Ch. Froidevaux, ``A Linear Logic Approach to
Consistency Preseving Updates", Journal of Logic and Computation, vol.6
No.3, pp. 439-463, 1996





						Serena Cerrito


----------

From: "David J. Pym" <David.Pym@dcs.qmw.ac.uk>
Subject: Re: about current state of the art of LL in AI...
To: vladimir@cs.ualberta.ca (Vladimir Alexiev), linear@CS.Stanford.EDU
Date: Mon, 6 Oct 1997 11:19:38 +0100 (BST)
Cc: jpalacio@mia.uv.mx, lygon@cs.mu.oz.au
In-Reply-To: <199710032357.QAA09517@Odin.Stanford.EDU> from "Vladimir Alexiev" at Oct 3, 97 04:57:51 pm
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit


Hello, 

James Harland, Michael Winikoff and I designed and built the linear
logic programming language Lygon. Although the main point of the work
was/is to push through a theory of logic programming from semantic and 
proof-theoretic foundations (Pym/Harland, J. Logic Computat. 1994) to
implmentation (Winikoff's Ph.D. thesis, University of Melbourne) to
applications (Harland/Pym/Winikoff, AMAST 96), the intended
applications were always state-and-action problems.

Many other references and examples of AI-related applications, 
as well as a free distribution, can be found on the Lygon web page, 

		http://www.cs.rmit.edu.au/lygon

which is subject to development. 

All aspects of this work, foundations/implementations/applications,  
are continuing. 

I hope this information is of some interest to you. 

All best wishes, 

	David Pym 

        Queen Mary College, 
        University of London