BIG successes of Lisp (was ...)

[mike420]

In the context of LATEX, some Pythonista asked what the big
successes of Lisp were. I think there were at least three *big*
successes.

a. orbitz.com web site uses Lisp for algorithms, etc.
b. Yahoo store was originally written in Lisp.
c. Emacs

The issues with these will probably come up, so I might as well
mention them myself (which will also make this a more balanced
post)

a. AFAIK Orbitz frequently has to be shut down for maintenance
(read "full garbage collection" - I'm just guessing: with
generational garbage collection, you still have to do full
garbage collection once in a while, and on a system like that
it can take a while)

b. AFAIK, Yahoo Store was eventually rewritten in a non-Lisp.
Why? I'd tell you, but then I'd have to kill you :)

c. Emacs has a reputation for being slow and bloated. But then
it's not written in Common Lisp.

Are ViaWeb and Orbitz bigger successes than LATEX? Do they
have more users? It depends. Does viewing a PDF file made
with LATEX make you a user of LATEX? Does visiting Yahoo
store make you a user of ViaWeb?

For the sake of being balanced: there were also some *big*
failures, such as Lisp Machines. They failed because
they could not compete with UNIX (SUN, SGI) in a time when
performance, multi-userism and uptime were of prime importance.
(Older LispM's just leaked memory until they were shut down,
newer versions overcame that problem but others remained)

Another big failure that is often _attributed_ to Lisp is AI,
of course. But I don't think one should blame a language
for AI not happening. Marvin Mins ky, for example,
blames Robotics and Neural Networks for that.

[Stephen Horne]

On Tue, 14 Oct 2003 07:45:40 GMT, Alex Martelli <al***@aleax.it >
wrote:

Stephen Horne wrote:
...

I remember the context where I first encountered Bayes theorem. It was
in AI - expert systems, to be precise - along with my first encounter
OK, but Reverend Bayes developed it well before "AI" was even conceived,
around the middle 18th century; considering Bayes' theorem to be part
of AI makes just about as much sense as considering addition in the
same light, if "expert systems" had been the first context in which
you had ever seen numbers being summed.

OK, but you can't say that a system isn't artificial intelligence just
because it uses Bayes theorem or any other method either - it isn't
about who first described the formula or algorithm or whatever.
I recall T-shirts boldly emblazoned
with "P(A|B) = P(B|A) P(A) / P(B)" worn at computational linguistics
conferences as a deliberately inflammatory gesture, too:-).

;-)

Funny how a current popular application of this approach (spam
filtering) is not considered to be an expert system, or even to be AI
at all. But AI was never meant to be in your face. Software acts more

I don't see how using Bayes' Theorem, or any other fundamental tool
of probability and statistics, connects a program to "AI", any more
than using fundamental techniques of arithmetic or geometry would.

Well, I don't see how a neural net can be considered intelligent
whether trained using back propogation, forward propogation or a
genetic algorithm. Or a search algorithm, whether breadth first, depth
first, prioritised, using heuristics, or applying backtracking I don't
care. Or any of the usual parsing algorithms that get applied in
natural language and linguistics (Early etc). I know how all of these
work so therefore they cannot be considered intelligent ;-)

Certainly the trivial rule-based expert systems consisting of a huge
list of if statements are, IMO, about as unintelligent as you can get.

It's a matter of the problem it is trying to solve rather than simply
saying 'algorithm x is intelligent, algorithm y is not'. An
intelligent, knowledge-based judgement of whether an e-mail is or is
not spam is to me the work of an expert system. The problem being that
once people know how it is done, they stop thinking of it as
intelligent.

Perhaps AI should be defined as 'any means of solving a problem which
the observer does not understand' ;-)

Actually, I remember an article once with the tongue-in-cheek claim
that 'artificial stupidity' and IIRC 'artificial bloody mindedness'
would be the natural successors to AI. And that paperclip thing in
Word did not exist until about 10 years later!
--
Steve Horne

steve at ninereeds dot fsnet dot co dot uk

[Stephen Horne]

On Tue, 14 Oct 2003 07:45:40 GMT, Alex Martelli <al***@aleax.it >
wrote:

Personally, I first met Rev. Bayes in high school, together with the
rest of the foundations of elementary probability theory, but then I
did admittedly go to a particularly good high school; neither of my
kids got decent probability theory in high school, though both of
them met it in their first college year (in totally different fields,
neither of them connected with "AI" -- financial economics for my
son, telecom engineering for my daughter).

Sorry - missed this bit on the first read.

I never limited my education to what the school was willing to tell
me, partly because having Asperger syndrome myself meant that the
library was the best refuge from bullies during break times.

I figure I first encountered Bayes in the context of expert systems
when I was about 14 or 15. I imagine that fits roughly into the high
school junior category, but I'm not American so I don't know for sure.
--
Steve Horne

steve at ninereeds dot fsnet dot co dot uk

[Paolo Amoroso]

mike420 wrote in message news:<BY******* *************** *************** *@ziplip.com>.. .

In the context of LATEX, some Pythonista asked what the big
successes of Lisp were. I think there were at least three *big*
See:

http://alu.cliki.net/Success%20Stories

a. AFAIK Orbitz frequently has to be shut down for maintenance
(read "full garbage collection" - I'm just guessing: with

They don't use garbage collection, they do explicit memory allocation
from pools. More details were given in the ILC 2002 talk "ITA Software
and Orbitz: Lisp in the Online Travel World" by Rodney Daughtrey:

http://www.international-lisp-confer...Daughtrey.html

The talk's slides are included in the ILC 2002 proceedings available
from Franz, Inc. As for shutdown for maintenance, the slides seem to
suggest that they use online patching.
Paolo

[Edi Weitz]

On Mon, 13 Oct 2003 16:23:46 -0700 (PDT), mi*****@ziplip. com wrote:

a. AFAIK Orbitz frequently has to be shut down for maintenance
Where do you "know" that from? Have you any quotes or numbers to back
up your claims or are you just trying to spread FUD?
(read "full garbage collection" -
Others have debunked this already.
I'm just guessing:

Please leave the guessing to people who are better at it.

Edi.

[Alex Martelli]

Stephen Horne wrote:

On Tue, 14 Oct 2003 07:45:40 GMT, Alex Martelli <al***@aleax.it >
wrote:

Personally, I first met Rev. Bayes in high school, together with the
rest of the foundations of elementary probability theory, but then I
did admittedly go to a particularly good high school; neither of my
kids got decent probability theory in high school, though both of
them met it in their first college year (in totally different fields,
neither of them connected with "AI" -- financial economics for my
son, telecom engineering for my daughter).
Sorry - missed this bit on the first read.

I never limited my education to what the school was willing to tell

Heh, me neither, of course.
me, partly because having Asperger syndrome myself meant that the
library was the best refuge from bullies during break times.
Not for me, as it was non-smoking and I started smoking very young;-).

But my house was always cluttered with books, anyway. However,
interestingly enough, I had not met Bayes' theorem _by that name_,
only in the somewhat confusing presentation known as "restricted
choice" in bridge theory -- problem is, Borel et Cheron's "Theorie
Mathematique du Bridge" was out of print for years, until (I think)
Mona Lisa Press finally printed it again (in English translation --
the French original came out again a while later as a part of the
reprint of all of Borel's works, but always was much costlier), so
my high school got there first (when I was 16). My kids' exposure
to probability theory was much earlier of course (since I taught
them bridge when they were toddlers, and Bayes' Theorem pretty
obviously goes with it).

I figure I first encountered Bayes in the context of expert systems
when I was about 14 or 15. I imagine that fits roughly into the high
school junior category, but I'm not American so I don't know for sure.

I'm not American either -- I say "high school" to mean what in Italy
is known as a "Liceo" (roughly the same age range, 14-18).
Alex

[Alex Martelli]

Stephen Horne wrote:
...

Perhaps AI should be defined as 'any means of solving a problem which
the observer does not understand' ;-)

Clarke's law...?-)

The AAAI defines AI as:

"the scientific understanding of the mechanisms underlying thought and
intelligent behavior and their embodiment in machines."

But just about any mathematical theory is an abstraction of "mechanisms
underlying thought": unless we want to yell "AI" about any program doing
computation (or, for that matter, memorizing information and fetching it
back again, also simplified versions of "mechanisms underlying thought"),
this had better be a TAD more nuanced. I think a key quote on the AAAI
pages is from Grosz and Davis: "computer systems must have more than
processing power -- they must have intelligence". This should rule out
from their definition of "intelligen ce" any "brute-force" mechanism
that IS just processing power. Chess playing machines such as Deep
Blue, bridge playing programs such as GIB and Jack (between the two
of them, winners of the world computer bridge championship's last 5 or
6 editions, regularly grinding into the dust programs described by their
creators as "based on artificial intelligence techniques" such as
expert systems), dictation-taking programs such as those made by IBM
and Dragon Systems in the '80s (I don't know if the technology has
changed drastically since I left the field then, though I doubt it),
are based on brute-force techniques, and their excellent performance
comes strictly from processing power. For example, IBM's speech
recognition technology descended directly from the field of signal
processing -- hidden Markov models, Viterbi algoriths, Bayes all over
the battlefield, and so on. No "AI heritage" anywhere in sight...
Alex

[Ivan Toshkov]

pr***********@c omcast.net wrote:

mi*****@ziplip. com writes:

In the context of LATEX, some Pythonista asked what the big
successes of Lisp were. I think there were at least three *big*
successes.

a. orbitz.com web site uses Lisp for algorithms, etc.
b. Yahoo store was originally written in Lisp.
c. Emacs

The issues with these will probably come up, so I might as well
mention them myself (which will also make this a more balanced
post)

a. AFAIK Orbitz frequently has to be shut down for maintenance
(read "full garbage collection" - I'm just guessing: with
generationa l garbage collection, you still have to do full
garbage collection once in a while, and on a system like that
it can take a while)

You are misinformed. Orbitz runs a `server farm' of hundreds of
computers each running the ITA faring engine. Should any of these
machines need to GC, there are hundreds of others waiting to service
users.

Besides, when I read the description of orbiz, I was with the
impression, that they prealocated the memory for just that reason: to
remove the need for garbage collection.

--
Ivan Toshkov

email: fi********@last-name.org

[Joe Marshall]

Christian Lynbech <ch************ ***@ericsson.co m> writes:

It is still a question of heated debate what actually killed the lisp
machine industry.

I have so far not seen anybody disputing that they were a marvel of
technical excellence, sporting stuff like colour displays, graphical
user interfaces and laser printers way ahead of anybody else.

It's clear to me that LMI killed itself by an attempt to rush the
LMI-Lambda to market before it was reasonably debugged. A lot of LMI
machines were DOA. It's amazing how fast you can lose customers that
way.

As far as Symbolics goes... I *think* they just saturated the market.

[robert]

Alex Martelli <al***@aleax.it > wrote in message news:<EQ******* *************** @news2.tin.it>. ..

Stephen Horne wrote:
...

I remember the context where I first encountered Bayes theorem. It was
in AI - expert systems, to be precise - along with my first encounter
OK, but Reverend Bayes developed it well before "AI" was even conceived,
around the middle 18th century; considering Bayes' theorem to be part
of AI makes just about as much sense as considering addition in the
same light, if "expert systems" had been the first context in which
you had ever seen numbers being summed. In the '80s, when at IBM
Research we developed the first large-vocabulary real-time dictation
taking systems, I remember continuous attacks coming from the Artificial
Intelligentsia due to the fact that we were using NO "AI" techniques --
rather, stuff named after Bayes, Markov and Viterbi, all dead white
mathematicians (it sure didn't help that our languages were PL/I, Rexx,
Fortran, and the like -- no, particularly, that our system _worked_,
the most unforgivable of sins:-). I recall T-shirts boldly emblazoned
with "P(A|B) = P(B|A) P(A) / P(B)" worn at computational linguistics
conferences as a deliberately inflammatory gesture, too:-).

Personally, I first met Rev. Bayes in high school, together with the
rest of the foundations of elementary probability theory, but then I
did admittedly go to a particularly good high school; neither of my
kids got decent probability theory in high school, though both of
them met it in their first college year (in totally different fields,
neither of them connected with "AI" -- financial economics for my
son, telecom engineering for my daughter).

Funny how a current popular application of this approach (spam
filtering) is not considered to be an expert system, or even to be AI
at all. But AI was never meant to be in your face. Software acts more

I don't see how using Bayes' Theorem, or any other fundamental tool
of probability and statistics, connects a program to "AI", any more
than using fundamental techniques of arithmetic or geometry would.

i boldly disagree. back when i first heard about AI (the '70s, i'd say),
the term had a very specific meaning: probablistic decision making with
feedback. a medical diagnosis system would be the archetypal example.
my recollection of why few ever got made was: feedback collection was not
always easy (did the patient die because the diagnosis was wrong? and
what is the correct diagnosis? and did we get all the symtoms right?, etc),
and humans were unwilling to accept the notion of machine determined
decision making. the machine, like humans before it, would learn from its
mistakes. this was socially unacceptable.

everything else is just rule processing. whether done with declarative
typeless languages like Lisp or Prolog, or the more familiar imperative
typed languages like Java/C++ is a matter of preference. i'm currently
working with a Prolog derivative, and don't find it a better way. fact
is, i find typeless languages (declarative or imperative) a bad thing for
large system building.

robert


Alex

[Isaac To]

>>>>> "Alex" == Alex Martelli <al***@aleax.it > writes:

Alex> Chess playing machines such as Deep Blue, bridge playing programs
Alex> such as GIB and Jack ..., dictation-taking programs such as those
Alex> made by IBM and Dragon Systems in the '80s (I don't know if the
Alex> technology has changed drastically since I left the field then,
Alex> though I doubt it), are based on brute-force techniques, and their
Alex> excellent performance comes strictly from processing power.

Nearly no program would rely only on non-brute-force techniques. On the
other hand, all the machines that you have named uses some non-brute-force
techniques to improve performance. How you can say that they are using
"only" brute-force techniques is something I don't quite understand. But
even then, I can't see why this has anything to do with whether the machines
are intelligent or not. We cannot judge whether a machine is intelligent or
not by just looking at the method used to solve it. A computer is best at
number crunching, and it is simply natural for any program to put a lot more
weights than most human beings on number crunching. You can't say a machine
is unintelligent just because much of it power comes from there. Of course,
you might say that the problem does not require a lot of intelligence.

Whether a system is intelligent must be determined by the result. When you
feed a chess configuration to the big blue computer, which any average
player of chess would make a move that will guarantee checkmate, but the
Deep Blue computer gives you a move that will lead to stalemate, you know
that it is not very intelligent (it did happen).

Regards,
Isaac.