I have the following inference rule:
(defrule info-source-closes-over-subgroups
(forall (?x human-social-grouping)
(<= (info-source ?e ?x)
(exists (?g human-social-grouping)
(info-source ?e ?g)
(subgroup-of ?x ?g)))))
I have the following facts:
(ask (and (info-source south-american-ethnography-database (population south-america))
(human-social-grouping (population south-america))
(human-social-grouping tribe-b)
(subgroup-of tribe-b (population south-america))))
Nevertheless, Powerloom is unable to recognize that the
south-american-ethnography-database is an info-source for tribe-b:
STELLA(226): (ask (and (info-source south-american-ethnography-database (population south-america))
(human-social-grouping (population south-america))
(human-social-grouping tribe-b)
(subgroup-of tribe-b (population south-america))
(info-source south-american-ethnography-database tribe-b)))
(ask (and (info-source south-american-ethnography-database (population south-america))
(human-social-grouping (population south-america))
(human-social-grouping tribe-b)
(subgroup-of tribe-b (population south-america))
(info-source south-american-ethnography-database tribe-b)))
UNKNOWN
Is this an incompleteness, or am I doing something wrong?
Later: aha! the problem is the forall. I replaced the rule with
(defrule info-source-closes-over-subgroups
(<= (info-source ?e ?x)
(exists (?g human-social-grouping)
(info-source ?e ?g)
(subgroup-of ?x ?g))))
I would have thought that the forall with the quantified variable
would actually help PowerLoom focus, but it seems not so. Can you
provide some guidance about things like this?
Many thanks,
R
--
Robert P. Goldman
Senior Scientist
Smart Information Flow Technologies (d/b/a SIFT, LLC)
211 N. First St., Suite 300
Minneapolis, MN 55401
Voice: (612) 384-3454
Email: [email protected]
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.