🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #3777

Re: The meaning of "declarative"

#3777
From: Francois-Michel Lang
Date: Tue, 15 Nov 1988 16:38
25 lines
1974 bytes
In article <648@quintus.UUCP> ok@quintus.UUCP (Richard A. O'Keefe) writes:
...
	Let's look at the monkey-and-bananas program which started this
	discussion.  It's just a depth-first search, where states have the
	form	state(MonkeyHoriz,MonkeyVert,BoxVert,HasBananas).
...
	There is an easy way of fixing this, and while it looks like a hack it
	is actually a principled strategy which competes well with breadth-first
	search.  That is ITERATIVE DEEPENING.  To keep this message short:
...
	I suggest that you consult a good AI text to find out when iterative
	deepening is appropriate.  In this particular case, the iterative
	deepening version works well no matter how you shuffle the rules.
...

Can somebody point to a reference for "iterative deepening"?
I have looked in the indexes of a half-dozen or so standard AI textbooks
and found nothing.  I know this is a term and a search strategy
that Richard discusses.  Richard, did you come up with the name?
If not, do you know who did, or where the strategy is referred to
as such (other than your messages and tutorial notes)?
----------------------------------------------------------------------------
Francois-Michel Lang
Paoli Research Center, Unisys Corporation lang@prc.unisys.com (215) 648-7256
Dept of Comp & Info Science, U of PA      lang@cis.upenn.edu  (215) 898-9511
Technical Details
Message-ID: <8326@burdvax.PRC.Unisys.COM>
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!ncrlnk!ncrcae!hubcap!gatech!udel!burdvax!macbeth!lang
References: <ALF.88Oct2184429@hathor.sics.se > <818@etive.ed.ac.uk> <590@dcl-csvax.comp.lancs.ac.uk> <859@etive.ed.ac.uk> <256@aipna.ed.ac.uk> <41315@linus.UUCP> <602@quintus.UUCP> <41581@linus.UUCP> <648@quintus.UUCP>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!ncrlnk!ncrcae!hubcap!gatech!udel!burdvax!macbeth!lang
From: lang@macbeth.PRC.Unisys.COM (Francois-Michel Lang)
Newsgroups: comp.lang.prolog
Subject: Re: The meaning of "declarative"
Message-ID: <8326@burdvax.PRC.Unisys.COM>
Date: 15 Nov 88 16:38:41 GMT
References: <ALF.88Oct2184429@hathor.sics.se > <818@etive.ed.ac.uk> <590@dcl-csvax.comp.lancs.ac.uk> <859@etive.ed.ac.uk> <256@aipna.ed.ac.uk> <41315@linus.UUCP> <602@quintus.UUCP> <41581@linus.UUCP> <648@quintus.UUCP>
Sender: news@PRC.Unisys.COM
Organization: Unisys Corporation, Paoli Research Center; Paoli, PA
Lines: 25