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
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
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
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)
RSS Feed1 | |
|---|---|
3 | |
4 | |
2 | |
2 | |
5 | |
3 | |
3 | |
2 | |
4 | |
1 | |
6 | |
2 | |
2 | |
4 | |
6 | |
3 | |
1 | |
2 | |
5 | |
12 | |
6 | |
1 | |
3 | |
4 | |
4 | |
7 | |
16 | |
10 | |
22 | |
26 | |
28 | |
2 | |
3 | |
4 | |
4 | |
11 | |
17 | |
13 | |
1 | |
20 | |
20 | |
4 | |
4 | |
11 | |
5 | |
1 | |
2 | |
27 | |
20 | |
9 | |
7 | |
2 | |
2 | |
12 | |
1 | |
1 | |
3 | |
6 | |
1 | |
17 | |
2 | |
5 | |
2 | |
8 | |
4 | |
10 | |
4 | |
13 |
