Rule not functioning

[KaminiAggarwal]

Hi Team,

I am working on a rule that doesn't seem to give expected results. The data and rule are as below:

Friends.add_data({
("P", "A"): Fact.TRUE,
("P", "B"): Fact.TRUE,
("Q", "C"): Fact.TRUE,
("Q", "D"): Fact.TRUE
})
Popular.add_data({
"A": Fact.TRUE,
"B": Fact.FALSE,
"C": Fact.FALSE,
"D": Fact.FALSE
})

Rule: P is a Star only if ALL friends of P are popular.

rule = Forall(x, Implies(Forall(y, And(Friends(x, y), Popular(y))), Star(x)))

Here is the code:

from lnn import Predicate, Variable, Forall, Fact, Model, And, Implies, World

Friends = Predicate('Friends', arity=2)
Popular = Predicate('Popular')
Star = Predicate('Star')

x, y = Variable('x'), Variable('y')

Friends.add_data({
("P", "A"): Fact.TRUE,
("P", "B"): Fact.TRUE,
("Q", "C"): Fact.TRUE,
("Q", "D"): Fact.TRUE
})

Popular.add_data({
"A": Fact.TRUE,
"B": Fact.FALSE,
"C": Fact.FALSE,
"D": Fact.FALSE
})

rule = Forall(x, Implies(Forall(y, And(Friends(x, y), Popular(y))), Star(x)))

model = Model()
model.add_knowledge(Friends, Popular, Star, rule)

model.infer()

model.print()

The result here gives me Star("P") True and Star("Q") = True for all values of popular of a person.

Expected result from above:
Star("P") False and Star("Q") = False ( Since only A is popular)

If both A and B are popular:
Star("P") True and Star("Q") = False

If all are popular:
Star("P") True and Star("Q") = True

[github-actions]

This issue has been automatically marked as stale because it has not had recent activity in the past 90 days.

Note: This repository is archived and in maintenance mode. We are only accepting:

• Security fixes
• Critical bug fixes
• Documentation corrections

If this issue is still relevant, please comment to keep it open. Otherwise, it will be closed in 14 days.

Thank you for your contributions to LNN!