Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Paradigms of Artificial Intelligence Programming (1992)

github.com

Post reply on HN
Print view View original

61–70 of 83 posts

Re: Paradigms of Artificial Intelligence Programming (1992)

#61

Post by kmod »

MontyCarloHall wrote: post #27

It is interesting how almost none of these paradigms/principles are relevant to what we think of as AI today. Lisp, a language specifically formulated for AI applications, is now mostly relevant in the context of programming language theory (and essentially irrelevant to the statistical programming/linear algebra toolkits that underpin modern AI applications). Instead, Fortran and its descendants are actually what po…

I'd say this is because the term "AI" has been redefined, not because the same work is being done in a different way

Re: Paradigms of Artificial Intelligence Programming (1992)

#62

Post by larve »

zmgsabst wrote: post #53
mark_l_watson wrote: post #43

I wrote a small Common Lisp book for Springer Verlag about the same time that Peter wrote this fantastic book and I then met him shortly thereafter at a Lisp Users Vendors conference in San Diego. After 30 years of following his writing, Python notebooks, etc., I think that he just has a higher level view of software and algorithms. There is some talk on this thread about good old fashioned symbolic AI. I have mixed…

We’re building that paradigm right now, in the math community. Homotopy type theory tells us that semantic information from a symbolic logic can also be represented by the topology of diagrams. But this is a two way relationship: the topological structure of diagrams also corresponds to some synthetic type theory. The conjecture is that the topology of, eg, word2vec point clouds will correspond to some synthetic type…

Off topic, but what does diagrams mean in this context?

Re: Paradigms of Artificial Intelligence Programming (1992)

#63

Post by zerr »

MAXPOOL wrote: post #32

One of the top 5 programming books. Old AI is today's bleeding edge computer engineering. There is an enourmous amount of free lunches for computer engineers and software startups in the old school artificial intelligence. * modern SAT solver performance is impressive. They can solve huge problems. * Writing a complex systems configurator with Prolog or Datalog can be like magic. * Expert systems. There has never bee…

I've got an impression that it is a breadth introduction book to various interesting topics in symbolic computation. It doesn't go deep.

Re: Paradigms of Artificial Intelligence Programming (1992)

#64

Post by zmgsabst »

larve wrote: post #62
zmgsabst wrote: post #53

Earlier quoted context omitted.

We’re building that paradigm right now, in the math community. Homotopy type theory tells us that semantic information from a symbolic logic can also be represented by the topology of diagrams. But this is a two way relationship: the topological structure of diagrams also corresponds to some synthetic type theory. The conjecture is that the topology of, eg, word2vec point clouds will correspond to some synthetic type…

Off topic, but what does diagrams mean in this context?

Diagrams in the category theory sense.

https://en.wikipedia.org/wiki/Diagram_(category_theory)

And for some context, a brief talk by Michael Shulman.

https://www.youtube.com/watch?v=zUPBEQe4Ti8

Re: Paradigms of Artificial Intelligence Programming (1992)

#65

Post by snek_case »

jaggirs wrote: post #60
MAXPOOL wrote: post #32

One of the top 5 programming books. Old AI is today's bleeding edge computer engineering. There is an enourmous amount of free lunches for computer engineers and software startups in the old school artificial intelligence. * modern SAT solver performance is impressive. They can solve huge problems. * Writing a complex systems configurator with Prolog or Datalog can be like magic. * Expert systems. There has never bee…

SAT for initializing nn parameters? Can you elaborate on this a bit, it seems interesting.

Also curious to hear more about this...

Re: Paradigms of Artificial Intelligence Programming (1992)

#66

Post by lispm »

zerr wrote: post #63
MAXPOOL wrote: post #32

One of the top 5 programming books. Old AI is today's bleeding edge computer engineering. There is an enourmous amount of free lunches for computer engineers and software startups in the old school artificial intelligence. * modern SAT solver performance is impressive. They can solve huge problems. * Writing a complex systems configurator with Prolog or Datalog can be like magic. * Expert systems. There has never bee…

I've got an impression that it is a breadth introduction book to various interesting topics in symbolic computation. It doesn't go deep.

It just implements a computer algebra system, a Prolog, a Scheme and a bunch of other stuff. On its way it teaches advanced Lisp programming.

Re: Paradigms of Artificial Intelligence Programming (1992)

#67

Post by eternalban »

Jtsummers wrote: post #52
eternalban wrote: post #35

Apparently Perlis devoted some time to making epigrams. I like #119 (and have amended it in line with #122 and recent developments in Canada, et al) : Programming is an unnatural act, but so far it is still mostly legal . https://web.archive.org/web/19990117034445/http://www-pu.inf... p.s. Actually applying Perlis's epigrams to epigrams, we inevitably reach the conclusion that epigrams stifle thought yet #125 still h…

Wrong thread?

This is how PoAIP book [ch. 1] starts:

"You think you know when you learn, are more sure when you can write, even more when you can teach, but certain when you can program. —Alan Perlis "

So I was curious as to who is Alan Perlis. Sorry, assumed others had also accessed the pdf :{}

Re: Paradigms of Artificial Intelligence Programming (1992)

#68

Post by zerr »

lispm wrote: post #66
zerr wrote: post #63

Earlier quoted context omitted.

I've got an impression that it is a breadth introduction book to various interesting topics in symbolic computation. It doesn't go deep.

It just implements a computer algebra system, a Prolog, a Scheme and a bunch of other stuff. On its way it teaches advanced Lisp programming.

Yes, basic/toy versions.

Re: Paradigms of Artificial Intelligence Programming (1992)

#70

Post by lispm »

zerr wrote: post #68
lispm wrote: post #66

Earlier quoted context omitted.

It just implements a computer algebra system, a Prolog, a Scheme and a bunch of other stuff. On its way it teaches advanced Lisp programming.

Yes, basic/toy versions.

For a book I find the description of the development process and the level of implementation to be quite good.

A great opportunity for the reader to expand them.

I've seen for example the Scheme implementation from PAIP expanded and integrated into a CMS.

Post reply on HN