Some questions

Hi

 

Got some more questions- I will ask them based on the person-age example
provided in the demos.

 

1.	I make the following assertions

	a.	assert (= (age john) (age fred))
	b.	assert (age john 20)
	c.	assert (age fred 30)

There are no exceptions raised even though c violates a.

I want to make sure that given (a), I should not be able to assert (c).
Is there any way to do that?

 

2.	What is the level of complexity of mathematical relations that
can be dealt with in powerloom? Can I use sines, cosines, logs, etc
while defining propositions?

 

3.	Please explain this behavior. I defined a proposition by the
name fbb (see code below) to which an ask query returns unknown. When I
ask the same proposition without naming it, I get a false; which should
have been the case anyways.

 

PL-USER |= (retrieve all (age jawa ?a))

 

There is 1 solution:

  #1: ?A=30

 

PL-USER |= (retrieve all (age ruby ?a))

 

There is 1 solution:

  #1: ?A=10

 

PL-USER |= (defproposition fbb (> (- (age jawa) (age ruby) ) 20 ))

 

|P|(> (- (AGE JAWA) (AGE RUBY)) 20)

 

PL-USER |= (ask fbb)

 

UNKNOWN

 

PL-USER |= (ask (> (- (age jawa) (age ruby) ) 20 ))

 

FALSE

 

 
Honeywell

Email           :   [email protected]
<mailto:[email protected]> 

                         [email protected]

Mobile         :   +91 - 9845844025

_______________________________________________
powerloom-forum mailing list
[email protected]
http://mailman.isi.edu/mailman/listinfo/powerloom-forum