Robert | 23 Jan 18:07 2004
Picon

FREE SATELLITE SYSTEMS

I just saw this and thought it was interesting.
You get FREE satellite systems for up to 5 rooms,
FREE professional installation and FREE dvd
player as a bonus. Check it out:
http://www.megamall.1afm.com/satellite.htm
Robert | 23 Jan 19:21 2004
Picon

FREE SATELLITE SYSTEMS

I just saw this and thought it was interesting.
You get FREE satellite systems for up to 5 rooms,
FREE professional installation and FREE dvd
player as a bonus. Check it out:
http://www.megamall.1afm.com/satellite.htm
or sign up as a affiliate and earn up to $100
per each sattelite systems given away FREE.
Use this link:
http://www.myaffiliateprogram.com/u/rapidsat/up.asp?i=4003
Suresh Kumar M | 28 Jan 12:35 2004
Picon

Higher Order Reasoning

Hi
	I came across this line while reading the manual, that "PowerLoom
supports limited form of higher order reasoing". Can somebody give
pointers to what exactly are these higher order features. It would
be great if  sample statements are given.

with regards,
Suresh Kumar M
Thomas Russ | 28 Jan 20:14 2004
Picon

Re: Higher Order Reasoning


On Jan 28, 2004, at 3:35 AM, Suresh Kumar M wrote:

> Hi
> 	I came across this line while reading the manual, that "PowerLoom
> supports limited form of higher order reasoing". Can somebody give
> pointers to what exactly are these higher order features. It would
> be great if  sample statements are given.

The main higher-order features that are supported are via 
FRAME-PREDICATES, the HOLDS relation and the IST relation.  The 
simplest form of higher-order reasoning would be something quantifying 
over a particular relation.

For example:

    (retrieve all (exists ?c (and (concept ?c) (holds ?c ?z))))

Here we are retrieving all objects for which there is a concept of 
which they are an instance.  We are existentially quantifying over 
concepts, and are thus second order.  Note that this will return 
essentially all objects in the KB.  In this particular case it isn't 
really an interesting query, but with some other constraints it may 
turn out to be useful.

We term the reasoning limited, since (for performance reasons among 
others) PowerLoom will not by itself want to generate all relations to 
try in a HOLDS clause.

The frame predicates are used to make assertions about relations and 
(Continue reading)


Gmane