Re: Is Prolog good for AI? (was: Minsky still posting)

From: Matthew Huntbach (mmh_at_dcs.qmul.ac.uk)
Date: 03/22/05

  • Next message: Jan Wielemaker: "Re: Minsky still posting" 
    Date: Tue, 22 Mar 2005 12:35:40 +0000

    On Mon, 21 Mar 2005, alex goldman wrote:
    > Matthew Huntbach wrote:

    >> So, yes, good, Prolog has a role in ILP. But there is more to AI than
    >> ILP.

    > Since you are/were interested in ILP and also seem to be in the business of
    > inventing new, better Prologs, I'll take this opportunity to ask: what are
    > your thoughts, if any, on Mercury, Goedel, lambda-Prolog and their
    > potential suitability for ILP?

    No, I am not in the business of "inventing new, better Prologs". I
    have made that quite clear in my articles. So far as I am concerned
    at the moment I am interested in making use of the simple little
    concurrency notation that owes its origin to the Fifth Generation
    Project, but which is neither Prolog, nor "executable logic" in
    the way that the founders of Prolog wanted it to be. Other people
    may be interested in languages which are closer than Prolog is to
    being "executable predicate logic" or which add on extra programming
    features to Prolog. I am not, or at least while I might be interested
    in seeing what these people are doing, it's not what I'm doing now
    nor what I am planning to do at any time in the future.

    In fact I'm completely and utterly fed up with finding my work
    dismissed because people assume, because it had some remote origin
    in the logic programming world, that it must be about "new, better
    Prolog".

    Matthew Huntbach

  • Next message: Jan Wielemaker: "Re: Minsky still posting"

    Relevant Pages

    • Re: ILP not in Prolog?!
      ... overstock book site a few days ago, there was book on ILP from MIT press on ... ILP systems generate Prolog programs, ... > they use Prolog programs as background knowledge, ...
      (comp.lang.prolog)
    • Re: removing the largest item from the list
      ... >> I don't think Prolog is competing to be a mainstream language ... >> because I think it has flaws that mean it can't be. ... Matthew Huntbach ...
      (comp.lang.prolog)
    • Re: Global variables
      ... varibles to do things like accumulate answers, ... >>> Sorry I'm rather new to prolog and was wandering if it was possible to ... >> Matthew Huntbach ... > And to complement Matthews reply: the answer to your question is yes. ...
      (comp.lang.prolog)
    • Re: Is Prolog good for AI? (was: Minsky still posting)
      ... My line of reasoning is as follows: ... > inductive learning systems to date are based on ILP and use Prolog. ... hype where the latest fashionable technique is assumed to be the ... Matthew Huntbach ...
      (comp.lang.prolog)
    • Re: ILP not in Prolog?!
      ... ILP systems generate Prolog programs, they use Prolog programs as background knowledge, training data is provided in Prolog, and the induction phase itself uses many facilities built into Prolog. ...
      (comp.lang.prolog)