Re: Moving the Debate on Definitions Forward

David A. McAllester <dam@ai.mit.edu>

Mail folder: Interlingua Mail
Next message: David A. McAllester: "Nebel's approach to recursive definitions"
Previous message: Robert MacGregor: "definition-t vs. definition-k"
In-reply-to: Peter Norvig: "Re: Moving the Debate on Definitions Forward "

Date: Mon, 23 Jul 90 15:06 EDT
From: David A. McAllester <dam@ai.mit.edu>
Subject: Re: Moving the Debate on Definitions Forward 
To: norvig@teak.berkeley.edu, interlingua@vaxa.isi.edu
In-reply-to: <2857242106-5537126@spaulding>
Message-id: <19900723190647.0.DAM@CROCE.AI.MIT.EDU>

I am curious about Nebel's approach to recursive definitions.
All approaches I am familiar with involve axiom schemes for
mathematical induction (recursion and induction appear to be
closely related).  Is this also true of Nebel's approach?
Could Nebel's mechanism conclude that every descendent of a
human is human?

	David McAllester