Re[2]: Cute Fable - good point!

• Messages sorted by:[ date ][ thread ][ subject ][ author ]

R. Kyle Jones had occasion to say :
Tom>
Tom>At 12:58 AM 10/5/95 -0500, you wrote:
Tom>>Ten years or so ago, when I was in grad school studying AI and math, I
Tom>>studied Prolog, and the algorithm underlying its inference engine, on
Tom>>which I later published an article [DDJ April 1986].  That algorithm
Tom>>is the Resolution Principle of J. A. Robinson [1965].  It subsumes all
Tom>>the sylogisms of Aristotle, and also the one Aristotle missed, which
Tom>>was later discovered by George Boole.  The completeness theorem for
Tom>>resolution is based upon the concept of a Hebrand Universe.  A Hebrand
Tom>>universe is a space of possibilities.  Ehud Shapiro wrote in his "The
Tom>>Art of Prolog" book that the "meaning" of a program is all the valid
Tom>>ground clauses derivable from that program -- all of the correct
Tom>>possible results of executing that program.  This really turned on a
Tom>>light in my mind, because I recognized that Shapiro was echoing:
Tom>>
Tom>>    2Pe 1:20 Knowing this first, that no prophecy of the 
Tom>>             scripture is of any private interpretation.
Tom>>
Tom>>A scripture can, and frequently does, have multiple valid
Tom>>interpretations.
Tom>
Tom>Interesting.  Would it be possible for me to get a copy of the article?
Tom>

	Me as well, because that would be something worth the reading!



  ---------------------- Thomas J. Griffin III -----------------------
	\ M \  	 "Jesus saith unto him, I am the way, the truth, and
 	 \ T \ 	the life: no man cometh unto the Father, but by me."
	  \ U \			John 14:6
  ------> griffin@mtu.edu  and  http://www.me.mtu.edu/~griffin <------