Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!news.kei.com!bloom-beacon.mit.edu!news!news.media.mit.edu.!push
From: push@media.mit.edu (Pushpinder Singh)
Subject: Re: why Ginsberg grouses
In-Reply-To: william@beirut.berkeley.edu's message of 27 Jun 1995 03:40:56 GMT
Message-ID: <PUSH.95Jun27143719@bruckner.media.mit.edu>
Sender: news@media.mit.edu (USENET News System)
Organization: M.I.T. Media Laboratory
References: <gat-220695100838@milo.jpl.nasa.gov> <3snb1a$5t1@pith.uoregon.edu>
	<3snfa2$5ro@agate.berkeley.edu> <push-2606952133040001@mind.mit.edu>
	<3snuk8$ldt@agate.berkeley.edu>
Date: Tue, 27 Jun 1995 19:37:19 GMT
Lines: 17


>What do you mean by higher order relations?

By a higher order relations I refer to things like the similarity between
the structure of two collections of statements.  For instance, you might
have the collections

flows(water, pipe)
block(pipe) -> not flows(water, pipe)

flows(electrons, wire)
open(wire) -> not flows(electrons, wire)

I can make the inference that blocking a pipe is like opening a wire, but
only because I can make statements about statements.

-push
