Re: about current state of the art of LL in AI...
Subject: Re: about current state of the art of LL in AI...
From: Vladimir Alexiev <email@example.com>
Date: Fri, 3 Oct 1997 16:57:51 -0700
Delivery-Date: Fri, 03 Oct 1997 18:58:09 -0500
In-reply-to: <Pine.SUN.3.95q.970923210617.840A-100000@hades> (message from Jose Juan Palacios Perez on Tue, 23 Sep 1997 21:12:33 -0600 (CST))
[For new readers that may wonder why this showed up in their
mailboxes... note that the LINEAR mailing list is mirrored to
> To: Vladimir Alexiev <firstname.lastname@example.org>
> From: email@example.com
> 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
This question is probably better addressed to the linear mailing list, so I am
forwarding it there. Here are the things that come to my mind. Probably you
already know about some of them. You can find bibliographic references at
or http://www.cs.cmu.edu/%7Eiliano/linearbib/linearbib.html. In my opinion,
there is still very little done in this area, and there's potential for much
- Deductive planning (Masseron+Tollu+Vauzielles; Holdoebler and others at
- Hierarchies with exceptions (Fouquere+Vauzielles).
- Database updates based on the previous work (Vauzeilles+?).
- Explanations (abduction) (Arima).
- NLP (Hodas+Miller), categorial grammars (Morill).
- Connection between LL and Fuzzy logic (Barr
- There's a lot of work on LL LP, which isn't necessarily related to AI, but
it provides programming languages with potential applications to AI that are
more sophisticated than Prolog. Some of these languages are (no doubt I am
- LO (Andreoli+Pareschi). Work moved in the direction of multiset-based
coordination languages and agents
- hlcc (Sarawsat+Lincoln).
- ACL (Kobayashi+Yonezawa).
- LLP (http://bach.seg.kobe-u.ac.jp/llp/).
- Lolli (Hodas+Miller), Forum (Miller).
- Lygon (Winikoff+...).
Of the traditional (and more widely used :-) prolog-based systems, BinProlog
seems to pay most attention to LL developments.