Re: Hypothetical Reasoning in PowerLoom

You can ask the question the way you had it, you just need to use a higher
inference level, since in its default setting, PowerLoom does not try to do OR
introduction (which is needed to prove entailments).  For example:

(ask (=> (= (population newyork ) 100) (>= (peopleUnhappy newyork) 25))
     :inference-level :refutation)
TRUE

Asking the question in a submodule was a good workaround, in the latest
version of PowerLoom (to be released sometime this afternoon - I think), you
can also use

(push-world)
...some hypothetical reasoning...
(pop-world)

to introduce ephemeral hypothetical worlds to do some reasoning.  That way you
don't have to define a module.

Hans

>>>>> lee martie <[email protected]> writes:

> The solution I came up with was to put hypothetical facts in a submodule and
> ask my hypothetical question in the submodule.

> Thanks.
> Lee


> On 10/16/2010 10:42 PM, lee martie wrote:
>> I am trying to do some hypothetical reasoning in Powerloom but I
>> can not figure out how.
>> 
>> Can anyone give me a simple example of the commands I need to use?
>> 
>> For example if I have:
>> 
>> (defconcept city)
>> 
>> (assert (city newyork))
>> 
>> 
>> (deffunction peopleHappy ( (?c city)) :->  (?i INTEGER)  )
>> (deffunction peopleUnHappy ( (?c city)) :->  (?i integer) )
>> (deffunction population ( (? city) ) :->  (?n integer) )
>> 
>> 
>> (defrule unhappy (=>     (>  (population ?x) 75)
>> 
>> (>= (peopleUnhappy ?x) (- (population ?x) 75) )
>> )
>> )
>> 
>> I would like to ask the following question hypothetically:
>> (ask (=>  (= (population newyork ) 100) (>= (peopleUnhappy newyork) 25) ) )
>> 
>> Anyone know how I can do this?
>> 
>> 
>> Thanks for your time and help.
>> Lee Martie
>> 
>> _______________________________________________
>> powerloom-forum mailing list
>> [email protected]
>> http://mailman.isi.edu/mailman/listinfo/powerloom-forum
>> 

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