Problem using instance-of
Kalle Fischer <[email protected]> Sat, 18 Sep 2010 13:24:47 +0200
| Newsgroups | gmane.comp.ai.powerloom |
|---|---|
| Message-ID | <[email protected]> |
Hello,
I am new to using PowerLoom and have some troubles with and exception
that is thrown whenever I want to find all instances of one certain type
of concept. I figured, since it is the only kind of concept for which
this happens, that it is most probably something in my definition of
that concept of one of the sub-concepts.
(DEFCONCEPT WIND-SWELL (?S SWELL)
:<=> (AND (HAS-CONDITION ?S ?SP) (SHORT-PERIOD ?SP) ) )
(DEFCONCEPT GROUND-SWELL (?S SWELL)
:<=> (AND (HAS-CONDITION ?S ?LP) (LONG-PERIOD ?LP)) )
(DEFCONCEPT SHORT-PERIOD (?P PERIOD)
:<=> (OR (= (HAS-PERIOD ?P) 7) (< (HAS-PERIOD ?P) 7) ) )
(DEFCONCEPT LONG-PERIOD (?P PERIOD)
:<=> (OR (> (HAS-PERIOD ?P) 13) (= (HAS-PERIOD ?P) 13) ) )
(DEFCONCEPT PERIOD (SWELL-CONDITION)
:=> (EXISTS ?I (AND (INTEGER ?I) (HAS-PERIOD ?SELF ?I)) ) )
(DEFCONCEPT SWELL (SURF-CONDITION)
:=> (EXISTS ?P (AND (PERIOD ?P) (HAS-CONDITION ?SELF ?P)) )
:=> (EXISTS ?O (AND (ORIGIN ?O) (HAS-PROP ?SELF ?O)) )
:=> (EXISTS ?SD (AND (SWELL-DIRECTION ?SD) (HAS-CONDITION ?SELF ?SD)) )
:=> (EXISTS ?S (AND (SIZE ?S) (HAS-PROP ?SELF ?S)) )
:=> (EXISTS ?E (AND (EFFECT ?E) (HAS-EFFECT ?SELF ?E)) ) )
Those are all the concepts that are involved here and I only have one
instance in my file. I am still getting used to the LISP way of thinking
so don't worry hurting my feelings by telling me that what I did there
is absolute nonsense. This is the exception being thrown:
>> Error: Invocation Target Exception in funcall of function:
public static edu.isi.powerloom.logic.QueryIterator
edu.isi.powerloom.logic.Logic.retrieveEvaluatorWrapper(edu.isi.stella.Cons)
((ALL (INSTANCE-OF ?S @SWELL)))
java.lang.ClassCastException: edu.isi.powerloom.logic.Description
cannot be cast to edu.isi.powerloom.logic.NamedDescription
edu.isi.powerloom.logic.Description cannot be cast to
edu.isi.powerloom.logic.NamedDescription
java.lang.ClassCastException: edu.isi.powerloom.logic.Description cannot
be cast to edu.isi.powerloom.logic.NamedDescription
at
edu.isi.powerloom.logic.Proposition.extractCollectionArgument(Proposition.java:3639)
at
edu.isi.powerloom.logic.ControlFrame.tryScanCollectionProof(ControlFrame.java:1447)
at
edu.isi.powerloom.logic.ControlFrame.executeProofStrategy(ControlFrame.java:2298)
at
edu.isi.powerloom.logic.ControlFrame.continueCurrentOrNextStrategy(ControlFrame.java:2501)
at
edu.isi.powerloom.logic.ControlFrame.continueStrategiesProofs(ControlFrame.java:2619)
at
edu.isi.powerloom.logic.ControlFrame.evaluateNextMove(ControlFrame.java:4526)
at
edu.isi.powerloom.logic.QueryIterator.executeBackwardChainingProofP(QueryIterator.java:1878)
at edu.isi.powerloom.logic.QueryIterator.nextP(QueryIterator.java:1357)
at edu.isi.powerloom.logic.Logic.callRetrieve(Logic.java:16537)
at edu.isi.powerloom.logic.Logic.retrieve(Logic.java:16646)
at
edu.isi.powerloom.logic.Logic.retrieveEvaluatorWrapper(Logic.java:16654)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
at java.lang.reflect.Method.invoke(Method.java:597)
at edu.isi.stella.javalib.Native.funcall(Native.java:608)
at edu.isi.stella.Cons.evaluateConsTree(Cons.java:8256)
at edu.isi.stella.Stella_Object.evaluate(Stella_Object.java:4341)
at edu.isi.powerloom.logic.Logic.evaluateLogicCommand(Logic.java:31393)
at edu.isi.powerloom.logic.Logic.logicCommandLoop(Logic.java:31292)
at edu.isi.powerloom.logic.Logic.powerloom(Logic.java:37136)
at edu.isi.powerloom.PLI.main(PLI.java:4850)
Thanks already,
Kalle