[jboss-svn-commits] JBL Code SVN: r26743 - in labs/jbossrules/branches/DroolsChance/drools-examples: drools-examples-drl and 5 other directories.
jboss-svn-commits at lists.jboss.org
jboss-svn-commits at lists.jboss.org
Wed May 27 04:50:12 EDT 2009
Author: dsotty
Date: 2009-05-27 04:50:12 -0400 (Wed, 27 May 2009)
New Revision: 26743
Added:
labs/jbossrules/branches/DroolsChance/drools-examples/.classpath
labs/jbossrules/branches/DroolsChance/drools-examples/.project
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.classpath
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.project
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.settings/
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.settings/org.eclipse.jdt.core.prefs
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.settings/org.maven.ide.eclipse.prefs
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/BaseTest.log
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ComplexFormulaTest.log
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/FuzzyTest0.log
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/FuzzyTest1.log
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ImpliesTest0.log
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ImpliesTest1.log
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/RuleMLTest.log
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/pom.xml
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/BaseTest.ruleml.xml
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/ComplexFormulaTest.ruleml.xml
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/FuzzyTest0.ruleml.xml
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/FuzzyTest1.ruleml.xml
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/ImpliesTest0.ruleml.xml
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/RuleMLModel.xml
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/RuleMLTest.ruleml.xml
labs/jbossrules/branches/DroolsChance/drools-examples/pom.xml
Modified:
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/java/org/drools/chance/AbstractChanceTest.java
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/java/org/drools/chance/RuleMLTest.java
labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/rules/org/drools/chance/RuleMLTest.drl
Log:
Eclipse configs
Added: labs/jbossrules/branches/DroolsChance/drools-examples/.classpath
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/.classpath (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/.classpath 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+ <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/>
+ <classpathentry kind="con" path="org.maven.ide.eclipse.MAVEN2_CLASSPATH_CONTAINER"/>
+ <classpathentry kind="output" path="target/classes"/>
+</classpath>
Added: labs/jbossrules/branches/DroolsChance/drools-examples/.project
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/.project (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/.project 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,23 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+ <name>drools-examples</name>
+ <comment></comment>
+ <projects>
+ </projects>
+ <buildSpec>
+ <buildCommand>
+ <name>org.eclipse.jdt.core.javabuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ <buildCommand>
+ <name>org.maven.ide.eclipse.maven2Builder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ </buildSpec>
+ <natures>
+ <nature>org.eclipse.jdt.core.javanature</nature>
+ <nature>org.maven.ide.eclipse.maven2Nature</nature>
+ </natures>
+</projectDescription>
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.classpath
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.classpath (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.classpath 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+ <classpathentry kind="src" path="src/main/java"/>
+ <classpathentry excluding="fuzzy/|impl/" kind="src" path="src/main/rules/org/drools/chance"/>
+ <classpathentry kind="src" path="src/main/rules/org/drools/chance/fuzzy"/>
+ <classpathentry kind="src" path="src/main/rules/org/drools/chance/impl"/>
+ <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+ <classpathentry kind="con" path="org.maven.ide.eclipse.MAVEN2_CLASSPATH_CONTAINER"/>
+ <classpathentry kind="output" path="target/classes"/>
+</classpath>
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.project
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.project (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.project 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,17 @@
+<projectDescription>
+ <name>drools-examples-drl</name>
+ <comment>A rule production system</comment>
+ <projects/>
+ <buildSpec>
+ <buildCommand>
+ <name>org.eclipse.jdt.core.javabuilder</name>
+ </buildCommand>
+ <buildCommand>
+ <name>org.maven.ide.eclipse.maven2Builder</name>
+ </buildCommand>
+ </buildSpec>
+ <natures>
+ <nature>org.eclipse.jdt.core.javanature</nature>
+ <nature>org.maven.ide.eclipse.maven2Nature</nature>
+ </natures>
+</projectDescription>
\ No newline at end of file
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.settings/org.eclipse.jdt.core.prefs
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.settings/org.eclipse.jdt.core.prefs (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.settings/org.eclipse.jdt.core.prefs 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,5 @@
+#Fri May 22 11:51:10 BST 2009
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.source=1.5
+org.eclipse.jdt.core.compiler.compliance=1.5
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.settings/org.maven.ide.eclipse.prefs
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.settings/org.maven.ide.eclipse.prefs (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/.settings/org.maven.ide.eclipse.prefs 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,8 @@
+#Fri May 22 11:51:09 BST 2009
+activeProfiles=
+eclipse.preferences.version=1
+fullBuildGoals=process-test-resources
+includeModules=false
+resolveWorkspaceProjects=true
+resourceFilterGoals=process-resources resources\:testResources
+version=1
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/BaseTest.log
===================================================================
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ComplexFormulaTest.log
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ComplexFormulaTest.log (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ComplexFormulaTest.log 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,27 @@
+Degrees test Eval Record info(1.0) for args L : Message 1
+AND{
+(1 at 25) : 0.08620529 dotAnd(maxOr(dotAnd(==(class,org.drools.chance.Message),Integer ==(org.drools.chance.Message.status,0),Integer ==(org.drools.chance.Message.status,1)),dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,2))),-dotAnd(dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,3)),dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,4))),dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,5))) [EVAL 0.08620529,]
+(1 at 26) : 1.0 TestOpDegs [EVAL 0.0,PRIOR 1.0,]
+}
+
+(1 at 27) : 0.08620529 minAnd(dotAnd(maxOr(dotAnd(==(class,org.drools.chance.Message),Integer ==(org.drools.chance.Message.status,0),Integer ==(org.drools.chance.Message.status,1)),dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,2))),-dotAnd(dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,3)),dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,4))),dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,5))),TestOpDegs) [EVAL 0.08620529,]
+ (1 at 25) : 0.08620529 dotAnd(maxOr(dotAnd(==(class,org.drools.chance.Message),Integer ==(org.drools.chance.Message.status,0),Integer ==(org.drools.chance.Message.status,1)),dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,2))),-dotAnd(dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,3)),dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,4))),dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,5))) [EVAL 0.08620529,]
+ (1 at 11) : 0.56920236 maxOr(dotAnd(==(class,org.drools.chance.Message),Integer ==(org.drools.chance.Message.status,0),Integer ==(org.drools.chance.Message.status,1)),dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,2))) [EVAL 0.56920236,]
+ (1 at 1) : 0.0 dotAnd(==(class,org.drools.chance.Message),Integer ==(org.drools.chance.Message.status,0),Integer ==(org.drools.chance.Message.status,1)) [EVAL 0.0,]
+ (1 at 3) : 1.0 ==(class,org.drools.chance.Message) [EVAL 1.0,]
+ (1 at 4) : 1.0 Integer ==(org.drools.chance.Message.status,0) [EVAL 1.0,]
+ (1 at 5) : 0.0 Integer ==(org.drools.chance.Message.status,1) [EVAL 0.0,]
+ (1 at 1) : 0.56920236 dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,2)) [EVAL 0.56920236,]
+ (1 at 3) : 1.0 ==(class,org.drools.chance.Message) [EVAL 1.0,]
+ (1 at 9) : 0.56920236 random(org.drools.chance.Message.status,2) [EVAL 0.56920236,]
+ (1 at 20) : 0.9093653 -dotAnd(dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,3)),dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,4))) [EVAL 0.9093653,]
+ (1 at 1) : 0.33255377 dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,3)) [EVAL 0.33255377,]
+ (1 at 3) : 1.0 ==(class,org.drools.chance.Message) [EVAL 1.0,]
+ (1 at 14) : 0.33255377 random(org.drools.chance.Message.status,3) [EVAL 0.33255377,]
+ (1 at 1) : 0.27254146 dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,4)) [EVAL 0.27254146,]
+ (1 at 3) : 1.0 ==(class,org.drools.chance.Message) [EVAL 1.0,]
+ (1 at 18) : 0.27254146 random(org.drools.chance.Message.status,4) [EVAL 0.27254146,]
+ (1 at 1) : 0.16654395 dotAnd(==(class,org.drools.chance.Message),random(org.drools.chance.Message.status,5)) [EVAL 0.16654395,]
+ (1 at 3) : 1.0 ==(class,org.drools.chance.Message) [EVAL 1.0,]
+ (1 at 23) : 0.16654395 random(org.drools.chance.Message.status,5) [EVAL 0.16654395,]
+ (1 at 26) : 1.0 TestOpDegs [EVAL 0.0,PRIOR 1.0,]
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/FuzzyTest0.log
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/FuzzyTest0.log (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/FuzzyTest0.log 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,12 @@
+
+
+Room is hot in degree 0.75
+Evaluator is called directly
+
+
+Room is hot in degree 0.75
+Evaluator from temp domain, requires a method in Room
+
+
+Room is warm in degree 0.25
+Evaluator from temp domain, runtime call (no method in room)
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/FuzzyTest1.log
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/FuzzyTest1.log (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/FuzzyTest1.log 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,18 @@
+
+
+ ********** Set speed to stop ******
+
+0.0
+
+ ********** Set speed to slow ******
+
+0.75
+
+ ********** Set speed to fast ******
+
+0.25
+
+
+
+ULTIMATE ANSWER : FAN speed is 62.5
+
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ImpliesTest0.log
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ImpliesTest0.log (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ImpliesTest0.log 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,17 @@
+Implication Eval Record info(1.0) for args L : Foo1 1 Foo2 1
+AND{
+(0 at 11) : 1.0 dotAnd(lukImp(dotAnd(==(class,org.drools.chance.impliesTest.Foo1),random(org.drools.chance.impliesTest.Foo1.this,null)),dotAnd(==(class,org.drools.chance.impliesTest.Foo2),random(org.drools.chance.impliesTest.Foo2.this,null)))) [EVAL 1.0,]
+(0 at 12) : 1.0 TestImplication [EVAL 0.0,PRIOR 1.0,]
+}
+
+(0 at 13) : 1.0 minAnd(dotAnd(lukImp(dotAnd(==(class,org.drools.chance.impliesTest.Foo1),random(org.drools.chance.impliesTest.Foo1.this,null)),dotAnd(==(class,org.drools.chance.impliesTest.Foo2),random(org.drools.chance.impliesTest.Foo2.this,null)))),TestImplication) [EVAL 1.0,]
+ (0 at 11) : 1.0 dotAnd(lukImp(dotAnd(==(class,org.drools.chance.impliesTest.Foo1),random(org.drools.chance.impliesTest.Foo1.this,null)),dotAnd(==(class,org.drools.chance.impliesTest.Foo2),random(org.drools.chance.impliesTest.Foo2.this,null)))) [EVAL 1.0,]
+ (0 at 10) : 1.0 lukImp(dotAnd(==(class,org.drools.chance.impliesTest.Foo1),random(org.drools.chance.impliesTest.Foo1.this,null)),dotAnd(==(class,org.drools.chance.impliesTest.Foo2),random(org.drools.chance.impliesTest.Foo2.this,null))) [EVAL 1.0,]
+ (1 at 1) : 0.055090718 dotAnd(==(class,org.drools.chance.impliesTest.Foo1),random(org.drools.chance.impliesTest.Foo1.this,null)) [EVAL 0.055090718,]
+ (1 at 3) : 1.0 ==(class,org.drools.chance.impliesTest.Foo1) [EVAL 1.0,]
+ (1 at 4) : 0.055090718 random(org.drools.chance.impliesTest.Foo1.this,null) [EVAL 0.055090718,]
+ (1 at 1) : 0.43586797 dotAnd(==(class,org.drools.chance.impliesTest.Foo2),random(org.drools.chance.impliesTest.Foo2.this,null)) [EVAL 0.43586797,]
+ (1 at 7) : 1.0 ==(class,org.drools.chance.impliesTest.Foo2) [EVAL 1.0,]
+ (1 at 8) : 0.43586797 random(org.drools.chance.impliesTest.Foo2.this,null) [EVAL 0.43586797,]
+ (0 at 12) : 1.0 TestImplication [EVAL 0.0,PRIOR 1.0,]
+
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ImpliesTest1.log
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ImpliesTest1.log (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/ImpliesTest1.log 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,323 @@
+Penguinity exception test for 1 : [0.0,1.0]
+Implication B-> will be killed by the negated of [0.0,1.0]
+Consequence F will be set to the negated of [0.0,1.0]
+
+
+
+Penguinity exception test for 2 : [0.0,1.0]
+Implication B-> will be killed by the negated of [0.0,1.0]
+Consequence F will be set to the negated of [0.0,1.0]
+
+
+
+Penguinity exception test for 3 : [1.0,1.0]
+Implication B-> will be killed by the negated of [1.0,1.0]
+Consequence F will be set to the negated of [1.0,1.0]
+
+
+
+Penguinity exception test for 4 : [0.0,1.0]
+Implication B-> will be killed by the negated of [0.0,1.0]
+Consequence F will be set to the negated of [0.0,1.0]
+
+
+
+Induct_BirdsFly Eval Record info(1.0) for args L : Bird 32
+AND{
+(32 at 20) : [0.75,0.75] i_xand(i_forAny()) [EVAL [0.75,0.75],]
+(0 at 21) : [1.0,1.0] Induct_BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+}
+
+(32 at 22) : [0.75,0.75] i_dblMP(i_xand(i_forAny())Induct_BirdsFly) [EVAL [0.75,0.75],]
+ (32 at 20) : [0.75,0.75] i_xand(i_forAny()) [EVAL [0.75,0.75],]
+ (0 at 19) : [0.75,0.75] i_forAny() [EVAL [0.75,0.75],]
+ (32 at -1) : [1.0,1.0] i_xand(i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)))) [EVAL [1.0,1.0],]
+ (32 at 17) : [1.0,1.0] i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id))) [EVAL [1.0,1.0],]
+ (32 at 12) : [1.0,1.0] i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))) [EVAL [1.0,1.0],]
+ (32 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (32 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (32 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b)) [EVAL [1.0,1.0],]
+ (32 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (32 at 10) : [1.0,1.0] Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true) [EVAL [1.0,1.0],]
+ (32 at 11) : [1.0,1.0] Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b) [EVAL [1.0,1.0],]
+ (32 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)) [EVAL [1.0,1.0],]
+ (32 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (32 at 15) : [1.0,1.0] Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null) [EVAL [1.0,1.0],]
+ (32 at 16) : [1.0,1.0] Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id) [EVAL [1.0,1.0],]
+ (33 at -1) : [1.0,1.0] i_xand(i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)))) [EVAL [1.0,1.0],]
+ (33 at 17) : [1.0,1.0] i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id))) [EVAL [1.0,1.0],]
+ (33 at 12) : [1.0,1.0] i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))) [EVAL [1.0,1.0],]
+ (33 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (33 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (33 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b)) [EVAL [1.0,1.0],]
+ (33 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (33 at 10) : [1.0,1.0] Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true) [EVAL [1.0,1.0],]
+ (33 at 11) : [1.0,1.0] Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b) [EVAL [1.0,1.0],]
+ (33 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)) [EVAL [1.0,1.0],]
+ (33 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (33 at 15) : [1.0,1.0] Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null) [EVAL [1.0,1.0],]
+ (33 at 16) : [1.0,1.0] Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id) [EVAL [1.0,1.0],]
+ (34 at -1) : [0.0,0.0] i_xand(i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)))) [EVAL [0.0,0.0],]
+ (34 at 17) : [0.0,0.0] i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id))) [EVAL [0.0,0.0],]
+ (34 at 12) : [0.0,0.0] i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))) [EVAL [0.0,0.0],]
+ (34 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (34 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (34 at 1) : [0.0,0.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b)) [EVAL [0.0,0.0],]
+ (34 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (34 at 10) : [0.0,0.0] Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true) [EVAL [0.0,0.0],]
+ (34 at 11) : [1.0,1.0] Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b) [EVAL [1.0,1.0],]
+ (34 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)) [EVAL [1.0,1.0],]
+ (34 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (34 at 15) : [1.0,1.0] Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null) [EVAL [1.0,1.0],]
+ (34 at 16) : [1.0,1.0] Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id) [EVAL [1.0,1.0],]
+ (35 at -1) : [1.0,1.0] i_xand(i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)))) [EVAL [1.0,1.0],]
+ (35 at 17) : [1.0,1.0] i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id))) [EVAL [1.0,1.0],]
+ (35 at 12) : [1.0,1.0] i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))) [EVAL [1.0,1.0],]
+ (35 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (35 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (35 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b)) [EVAL [1.0,1.0],]
+ (35 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (35 at 10) : [1.0,1.0] Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true) [EVAL [1.0,1.0],]
+ (35 at 11) : [1.0,1.0] Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b) [EVAL [1.0,1.0],]
+ (35 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)) [EVAL [1.0,1.0],]
+ (35 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (35 at 15) : [1.0,1.0] Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null) [EVAL [1.0,1.0],]
+ (35 at 16) : [1.0,1.0] Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id) [EVAL [1.0,1.0],]
+ (0 at 21) : [1.0,1.0] Induct_BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+
+
+
+*************************************************************************************
+Penguinity exception test for 99 : [0.0,1.0]
+Implication B-> will be killed by the negated of [0.0,1.0]
+Consequence F will be set to the negated of [0.0,1.0]
+
+
+
+Contrib from Implication B->F for bird 99 : degree [0.75,1.0]
+
+
+Eval Record info(1.0) for args L : Bird 130
+AND{
+(130 at 26) : [1.0,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))) [EVAL [1.0,1.0],]
+(130 at 27) : [0.75,0.75] Deduct_BirdsFly [Exception_BirdsFly [0.0,1.0],Induct_BirdsFly [0.75,0.75],EVAL [0.0,1.0],PRIOR [0.0,1.0],]
+}
+
+(130 at 28) : [0.75,1.0] i_modPon(i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))),Deduct_BirdsFly) [EVAL [0.75,1.0],]
+ (130 at 26) : [1.0,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))) [EVAL [1.0,1.0],]
+ (130 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (130 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (130 at 27) : [0.75,0.75] Deduct_BirdsFly [Exception_BirdsFly [0.0,1.0],Induct_BirdsFly [0.75,0.75],EVAL [0.0,1.0],PRIOR [0.0,1.0],]
+
+
+Bird 99 : FLIES at degree [0.75,1.0]
+++++CONCLUSION : Eval Record info(1.0) for args L : Bird 130
+AND{
+(130 at 40) : [0.75,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))) [EVAL [0.75,1.0],]
+(130 at 41) : [1.0,1.0] BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+}
+
+(130 at 42) : [0.75,1.0] i_dblMP(i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))),BirdsFly) [EVAL [0.75,1.0],]
+ (130 at 40) : [0.75,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))) [EVAL [0.75,1.0],]
+ (130 at 1) : [0.75,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null)) [EVAL [0.75,1.0],]
+ (130 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (130 at 38) : [0.75,1.0] flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null) [Deduct_BirdsFly [0.75,1.0],Exception_BirdsFly [0.0,1.0],EVAL [0.0,1.0],]
+ (130 at 41) : [1.0,1.0] BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+
+
+
+*************************************************************************************
+Penguinity exception test for -10 : [1.0,1.0]
+Implication B-> will be killed by the negated of [1.0,1.0]
+Consequence F will be set to the negated of [1.0,1.0]
+
+
+
+Contrib from Implication B->F for bird -10 : degree [0.0,1.0]
+
+
+Eval Record info(1.0) for args L : Bird 21
+AND{
+(21 at 26) : [1.0,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))) [EVAL [1.0,1.0],]
+(21 at 27) : [0.0,0.0] Deduct_BirdsFly [Exception_BirdsFly [0.0,0.0],Induct_BirdsFly [0.75,0.75],EVAL [0.0,1.0],PRIOR [0.0,1.0],]
+}
+
+(21 at 28) : [0.0,1.0] i_modPon(i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))),Deduct_BirdsFly) [EVAL [0.0,1.0],]
+ (21 at 26) : [1.0,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))) [EVAL [1.0,1.0],]
+ (21 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (21 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (21 at 27) : [0.0,0.0] Deduct_BirdsFly [Exception_BirdsFly [0.0,0.0],Induct_BirdsFly [0.75,0.75],EVAL [0.0,1.0],PRIOR [0.0,1.0],]
+
+
+Bird -10 : FLIES at degree [0.0,0.0]
+++++CONCLUSION : Eval Record info(1.0) for args L : Bird 21
+AND{
+(21 at 40) : [0.0,0.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))) [EVAL [0.0,0.0],]
+(21 at 41) : [1.0,1.0] BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+}
+
+(21 at 42) : [0.0,0.0] i_dblMP(i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))),BirdsFly) [EVAL [0.0,0.0],]
+ (21 at 40) : [0.0,0.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))) [EVAL [0.0,0.0],]
+ (21 at 1) : [0.0,0.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null)) [EVAL [0.0,0.0],]
+ (21 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (21 at 38) : [0.0,0.0] flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null) [Deduct_BirdsFly [0.0,1.0],Exception_BirdsFly [0.0,0.0],EVAL [0.0,1.0],]
+ (21 at 41) : [1.0,1.0] BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+
+
+
+*************************************************************************************
+Penguinity exception test for 1000 : [0.0,1.0]
+Implication B-> will be killed by the negated of [0.0,1.0]
+Consequence F will be set to the negated of [0.0,1.0]
+
+
+
+Induct_BirdsFly Eval Record info(1.0) for args L : Bird 32
+AND{
+(32 at 20) : [0.8,0.8] i_xand(i_forAny()) [EVAL [0.8,0.8],]
+(0 at 21) : [1.0,1.0] Induct_BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+}
+
+(32 at 22) : [0.8,0.8] i_dblMP(i_xand(i_forAny())Induct_BirdsFly) [EVAL [0.8,0.8],]
+ (32 at 20) : [0.8,0.8] i_xand(i_forAny()) [EVAL [0.8,0.8],]
+ (1031 at 19) : [0.8,0.8] i_forAny() [EVAL [0.8,0.8],]
+ (32 at -1) : [1.0,1.0] i_xand(i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)))) [EVAL [1.0,1.0],]
+ (32 at 17) : [1.0,1.0] i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id))) [EVAL [1.0,1.0],]
+ (32 at 12) : [1.0,1.0] i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))) [EVAL [1.0,1.0],]
+ (32 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (32 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (32 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b)) [EVAL [1.0,1.0],]
+ (32 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (32 at 10) : [1.0,1.0] Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true) [EVAL [1.0,1.0],]
+ (32 at 11) : [1.0,1.0] Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b) [EVAL [1.0,1.0],]
+ (32 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)) [EVAL [1.0,1.0],]
+ (32 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (32 at 15) : [1.0,1.0] Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null) [EVAL [1.0,1.0],]
+ (32 at 16) : [1.0,1.0] Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id) [EVAL [1.0,1.0],]
+ (33 at -1) : [1.0,1.0] i_xand(i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)))) [EVAL [1.0,1.0],]
+ (33 at 17) : [1.0,1.0] i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id))) [EVAL [1.0,1.0],]
+ (33 at 12) : [1.0,1.0] i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))) [EVAL [1.0,1.0],]
+ (33 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (33 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (33 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b)) [EVAL [1.0,1.0],]
+ (33 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (33 at 10) : [1.0,1.0] Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true) [EVAL [1.0,1.0],]
+ (33 at 11) : [1.0,1.0] Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b) [EVAL [1.0,1.0],]
+ (33 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)) [EVAL [1.0,1.0],]
+ (33 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (33 at 15) : [1.0,1.0] Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null) [EVAL [1.0,1.0],]
+ (33 at 16) : [1.0,1.0] Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id) [EVAL [1.0,1.0],]
+ (34 at -1) : [0.0,0.0] i_xand(i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)))) [EVAL [0.0,0.0],]
+ (34 at 17) : [0.0,0.0] i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id))) [EVAL [0.0,0.0],]
+ (34 at 12) : [0.0,0.0] i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))) [EVAL [0.0,0.0],]
+ (34 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (34 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (34 at 1) : [0.0,0.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b)) [EVAL [0.0,0.0],]
+ (34 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (34 at 10) : [0.0,0.0] Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true) [EVAL [0.0,0.0],]
+ (34 at 11) : [1.0,1.0] Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b) [EVAL [1.0,1.0],]
+ (34 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)) [EVAL [1.0,1.0],]
+ (34 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (34 at 15) : [1.0,1.0] Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null) [EVAL [1.0,1.0],]
+ (34 at 16) : [1.0,1.0] Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id) [EVAL [1.0,1.0],]
+ (35 at -1) : [1.0,1.0] i_xand(i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)))) [EVAL [1.0,1.0],]
+ (35 at 17) : [1.0,1.0] i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id))) [EVAL [1.0,1.0],]
+ (35 at 12) : [1.0,1.0] i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))) [EVAL [1.0,1.0],]
+ (35 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (35 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (35 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b)) [EVAL [1.0,1.0],]
+ (35 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (35 at 10) : [1.0,1.0] Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true) [EVAL [1.0,1.0],]
+ (35 at 11) : [1.0,1.0] Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b) [EVAL [1.0,1.0],]
+ (35 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)) [EVAL [1.0,1.0],]
+ (35 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (35 at 15) : [1.0,1.0] Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null) [EVAL [1.0,1.0],]
+ (35 at 16) : [1.0,1.0] Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id) [EVAL [1.0,1.0],]
+ (1031 at -1) : [1.0,1.0] i_xand(i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)))) [EVAL [1.0,1.0],]
+ (1031 at 17) : [1.0,1.0] i_discount(i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id))) [EVAL [1.0,1.0],]
+ (1031 at 12) : [1.0,1.0] i_ximp(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)),i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b))) [EVAL [1.0,1.0],]
+ (1031 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (1031 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (1031 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true),Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b)) [EVAL [1.0,1.0],]
+ (1031 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (1031 at 10) : [1.0,1.0] Boolean ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,true) [EVAL [1.0,1.0],]
+ (1031 at 11) : [1.0,1.0] Object ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,$b) [EVAL [1.0,1.0],]
+ (1031 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null),Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id)) [EVAL [1.0,1.0],]
+ (1031 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (1031 at 15) : [1.0,1.0] Boolean !=(org.drools.chance.impliesTest.ImpliesTest1$Bird.isFlier,null) [EVAL [1.0,1.0],]
+ (1031 at 16) : [1.0,1.0] Integer ==(org.drools.chance.impliesTest.ImpliesTest1$Bird.id,id) [EVAL [1.0,1.0],]
+ (0 at 21) : [1.0,1.0] Induct_BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+
+
+Contrib from Implication B->F for bird 1000 : degree [0.75,1.0]
+
+
+Eval Record info(1.0) for args L : Bird 1031
+AND{
+(1031 at 26) : [1.0,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))) [EVAL [1.0,1.0],]
+(1031 at 27) : [0.75,0.75] Deduct_BirdsFly [Exception_BirdsFly [0.0,1.0],Induct_BirdsFly [0.75,0.75],EVAL [0.0,1.0],PRIOR [0.0,1.0],]
+}
+
+(1031 at 28) : [0.75,1.0] i_modPon(i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))),Deduct_BirdsFly) [EVAL [0.75,1.0],]
+ (1031 at 26) : [1.0,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))) [EVAL [1.0,1.0],]
+ (1031 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (1031 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (1031 at 27) : [0.75,0.75] Deduct_BirdsFly [Exception_BirdsFly [0.0,1.0],Induct_BirdsFly [0.75,0.75],EVAL [0.0,1.0],PRIOR [0.0,1.0],]
+
+
+Bird 1000 : FLIES at degree [1.0,1.0]
+++++CONCLUSION : Eval Record info(1.0) for args L : Bird 1031
+AND{
+(1031 at 40) : [1.0,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))) [EVAL [1.0,1.0],]
+(1031 at 41) : [1.0,1.0] BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+}
+
+(1031 at 42) : [1.0,1.0] i_dblMP(i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))),BirdsFly) [EVAL [1.0,1.0],]
+ (1031 at 40) : [1.0,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))) [EVAL [1.0,1.0],]
+ (1031 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null)) [EVAL [1.0,1.0],]
+ (1031 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (1031 at 38) : [1.0,1.0] flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null) [Deduct_BirdsFly [0.75,1.0],Exception_BirdsFly [0.0,1.0],EVAL [1.0,1.0],]
+ (1031 at 41) : [1.0,1.0] BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+
+
+
+*************************************************************************************
+Penguinity exception test for 100 : [0.0,1.0]
+Implication B-> will be killed by the negated of [0.0,1.0]
+Consequence F will be set to the negated of [0.0,1.0]
+
+
+
+Contrib from Implication B->F for bird 100 : degree [0.8,1.0]
+
+
+Eval Record info(1.0) for args L : Bird 131
+AND{
+(131 at 26) : [1.0,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))) [EVAL [1.0,1.0],]
+(131 at 27) : [0.8,0.8] Deduct_BirdsFly [Exception_BirdsFly [0.0,1.0],Induct_BirdsFly [0.8,0.8],EVAL [0.0,1.0],PRIOR [0.0,1.0],]
+}
+
+(131 at 28) : [0.8,1.0] i_modPon(i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))),Deduct_BirdsFly) [EVAL [0.8,1.0],]
+ (131 at 26) : [1.0,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird))) [EVAL [1.0,1.0],]
+ (131 at 1) : [1.0,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird)) [EVAL [1.0,1.0],]
+ (131 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (131 at 27) : [0.8,0.8] Deduct_BirdsFly [Exception_BirdsFly [0.0,1.0],Induct_BirdsFly [0.8,0.8],EVAL [0.0,1.0],PRIOR [0.0,1.0],]
+
+
+Bird 100 : FLIES at degree [0.79999995,1.0]
+++++CONCLUSION : Eval Record info(1.0) for args L : Bird 131
+AND{
+(131 at 40) : [0.79999995,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))) [EVAL [0.79999995,1.0],]
+(131 at 41) : [1.0,1.0] BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+}
+
+(131 at 42) : [0.79999995,1.0] i_dblMP(i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))),BirdsFly) [EVAL [0.79999995,1.0],]
+ (131 at 40) : [0.79999995,1.0] i_xand(i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null))) [EVAL [0.79999995,1.0],]
+ (131 at 1) : [0.79999995,1.0] i_xand(==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird),flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null)) [EVAL [0.79999995,1.0],]
+ (131 at 6) : [1.0,1.0] ==(class,org.drools.chance.impliesTest.ImpliesTest1$Bird) [EVAL [1.0,1.0],]
+ (131 at 38) : [0.8,1.0] flies(org.drools.chance.impliesTest.ImpliesTest1$Bird.this,null) [Deduct_BirdsFly [0.8,1.0],Exception_BirdsFly [0.0,1.0],EVAL [0.0,1.0],]
+ (131 at 41) : [1.0,1.0] BirdsFly [EVAL [0.0,1.0],PRIOR [1.0,1.0],]
+
+
+
+*************************************************************************************
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/log/RuleMLTest.log
===================================================================
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/pom.xml
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/pom.xml (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/pom.xml 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,104 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
+
+ <modelVersion>4.0.0</modelVersion>
+ <parent>
+ <artifactId>drools</artifactId>
+ <groupId>org.drools</groupId>
+ <version>5.0.0.SNAPSHOT</version>
+ </parent>
+
+ <!--
+ TODO make this packing pom and make 2 submodules: example-waltz and example-manners
+ (and possibly example-common too)
+ -->
+ <artifactId>drools-examples-drl</artifactId>
+ <packaging>jar</packaging>
+ <name>Drools :: Examples DRL</name>
+
+ <dependencies>
+ <!-- Internal dependencies -->
+ <dependency>
+ <groupId>org.drools</groupId>
+ <artifactId>drools-core</artifactId>
+ </dependency>
+ <dependency>
+ <groupId>org.drools</groupId>
+ <artifactId>drools-compiler</artifactId>
+ </dependency>
+ <dependency>
+ <groupId>org.drools</groupId>
+ <artifactId>drools-decisiontables</artifactId>
+ </dependency>
+ <dependency>
+ <groupId>org.drools</groupId>
+ <artifactId>drools-templates</artifactId>
+ </dependency>
+
+ <!-- External dependencies -->
+ <dependency>
+ <groupId>foxtrot</groupId>
+ <artifactId>foxtrot</artifactId>
+ </dependency>
+ <dependency>
+ <groupId>com.jgoodies</groupId>
+ <artifactId>forms</artifactId>
+ </dependency>
+ </dependencies>
+
+ <properties>
+ <project.mainClass>org.drools.benchmark.waltz.WaltzBenchmark</project.mainClass>
+ </properties>
+ <build>
+ <resources>
+ <resource>
+ <directory>src/main/resources</directory>
+ </resource>
+ <resource>
+ <directory>src/main/rules</directory>
+ </resource>
+ </resources>
+ <plugins>
+ <plugin>
+ <groupId>org.apache.maven.plugins</groupId>
+ <artifactId>maven-eclipse-plugin</artifactId>
+ <configuration>
+ <additionalBuildcommands>
+ <buildcommand>org.drools.eclipse.droolsbuilder</buildcommand>
+ </additionalBuildcommands>
+ </configuration>
+ </plugin>
+ <plugin>
+ <groupId>org.apache.maven.plugins</groupId>
+ <artifactId>maven-jar-plugin</artifactId>
+ <configuration>
+ <archive>
+ <manifest>
+ <mainClass>${project.mainClass}</mainClass>
+ <addClasspath>true</addClasspath>
+ </manifest>
+ </archive>
+ </configuration>
+ </plugin>
+
+ <plugin>
+ <groupId>org.codehaus.mojo</groupId>
+ <artifactId>exec-maven-plugin</artifactId>
+ <version>1.0.2</version>
+ <configuration>
+ <executable>java</executable>
+ <!-- only waltz12 is configured at the moment -->
+ <!-- TODO waltz50, manners64 and manners128 -->
+ <arguments>
+ <argument>-Xms1024M</argument>
+ <argument>-Xmx1024M</argument>
+ <argument>-cp</argument>
+ <classpath/>
+ <argument>${project.mainClass}</argument>
+ <argument>waltz12.dat</argument>
+ </arguments>
+ </configuration>
+ </plugin>
+ </plugins>
+ </build>
+</project>
Modified: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/java/org/drools/chance/AbstractChanceTest.java
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/java/org/drools/chance/AbstractChanceTest.java 2009-05-27 07:56:56 UTC (rev 26742)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/java/org/drools/chance/AbstractChanceTest.java 2009-05-27 08:50:12 UTC (rev 26743)
@@ -100,7 +100,7 @@
DrlParser parser = new DrlParser();
PackageDescr pkD = parser.parse(drl);
- System.out.println(getDumper().dump(pkD,"xml/"+this.getClass().getSimpleName()+".ruleml.xml"));
+ System.out.println(getDumper().dump(pkD,this.getKBuilderConf(),"xml/"+this.getClass().getSimpleName()+".ruleml.xml"));
} catch (Exception e) {
e.printStackTrace();
throw new RuntimeException("XML Dumping failed");
Modified: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/java/org/drools/chance/RuleMLTest.java
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/java/org/drools/chance/RuleMLTest.java 2009-05-27 07:56:56 UTC (rev 26742)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/java/org/drools/chance/RuleMLTest.java 2009-05-27 08:50:12 UTC (rev 26743)
@@ -48,14 +48,13 @@
RuleMLTest test = new RuleMLTest();
test.setRuleFileName("RuleMLTest.drl");
- test.setSilent(true);
- test.run();
-
+ test.setSilent(! true);
+ test.run();
}
public void act() {
-
+
}
Modified: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/rules/org/drools/chance/RuleMLTest.drl
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/rules/org/drools/chance/RuleMLTest.drl 2009-05-27 07:56:56 UTC (rev 26742)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/src/main/rules/org/drools/chance/RuleMLTest.drl 2009-05-27 08:50:12 UTC (rev 26743)
@@ -11,13 +11,30 @@
message : String
end
-
-rule "Simple"
-
+rule "RuleId"
prior ( 0.7 )
when
- $m : Message( $s : status == 0 || message == "Hello" ) @(id="MsgId")
+ $m : Message(
+ $s : status
+ == @(id="idBndOp" prior="0.4" args="tolerance(0.1)" kind="b" cut="true")
+ 0
+ ||
+ (
+ message
+ == @(id="idFreeOp" prior="0.4" kind="a" cut="true" )
+ "Hello"
+ &&
+ $msg : message
+ )
+ ) @(id="idCls" prior="0.1" args="z" kind="Prod" cut="true")
+
+
+ or @(id="idCE" prior="0.4" kind="Max" cut="true")
+
+ Message(
+ $sjoin : status > $s
+ ) @(id="idCls2" prior="0.4" kind="Lukas" cut="true")
then
System.out.println();
end
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/BaseTest.ruleml.xml
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/BaseTest.ruleml.xml (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/BaseTest.ruleml.xml 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,293 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<RuleML xmlns="http://www.ruleml.org/0.91/xsd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.ruleml.org/0.91/xsd http://www.ruleml.org/0.91/xsd/naffologeq.xsd">
+ <Assert>
+ <Rulebase>
+ <oid>
+ <Data>org.drools.chance</Data>
+ </oid>
+ <Forall>
+ <formula>
+ <Implies direction="forward">
+ <oid>
+ <Data>Trigger</Data>
+ </oid>
+ <body>
+ <And>
+ <Atom>
+ <op>
+ <Rel>eval</Rel>
+ </op>
+ <Expr in="yes">
+ <Fun>eval</Fun>
+ <Data>true || false</Data>
+ </Expr>
+ </Atom>
+ </And>
+ </body>
+ <head>
+ <Atom>
+ <Rel/>
+ <Data>writer.write("\n A Message with status = 0 will hold the message Hello!");
+ Message m = new Message();
+ m.setStatus(0);
+
+ drools.inject(m,"org.drools.chance.Message.message","equals","Hello!",true);</Data>
+ </Atom>
+ </head>
+ </Implies>
+ </formula>
+ </Forall>
+ <Forall>
+ <declare>
+ <Var type="org.drools.chance.Message">Synch.$msgRef</Var>
+ </declare>
+ <formula>
+ <Implies direction="forward">
+ <oid>
+ <Data>Synch</Data>
+ </oid>
+ <body>
+ <And>
+ <Atom>
+ <oid>
+ <Var>Synch.$msgRef</Var>
+ </oid>
+ <Rel>Message</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>isA</Rel>
+ </op>
+ <slot>
+ <Ind>class</Ind>
+ <Var/>
+ </slot>
+ <Ind type="java.lang.Class">org.drools.chance.Message</Ind>
+ </Atom>
+ <Atom>
+ <op>
+ <Rel>equals</Rel>
+ </op>
+ <slot>
+ <Ind>message</Ind>
+ <Var/>
+ </slot>
+ <Ind type="java.lang.String">Hello!</Ind>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </And>
+ </body>
+ <head>
+ <Atom>
+ <Rel/>
+ <Data>writer.write("\n\nSynched rule fires at "+drools.getConsequenceDegree());
+ writer.write("\nDeclared message is "+$msgRef.getMessage()+ " but is thought to be Hello!");
+ writer.write("\n"+drools.getEvaluation().expand()+"\n\n");
+
+
+ Person p = new Person();
+ p.setName("davide");
+ //p.setAge(27);
+
+
+ Book b = new Book();
+ b.setTitle("Drools Manual");
+ //b.setOwner(p);
+ writer.write("\n Now stating Davide owns a Drools Manual");
+
+ //FIXME Until lexical analysis is done properly, args must be defined in two steps
+ Object[] args = new Object[] { p , b };
+ drools.inject(args,"org.drools.chance.Book.owner","equals","$p");</Data>
+ </Atom>
+ </head>
+ </Implies>
+ </formula>
+ </Forall>
+ <Forall>
+ <declare>
+ <Var type="org.drools.chance.Book">BetaSynch.$b</Var>
+ </declare>
+ <declare>
+ <Var type="int">BetaSynch.$p.$a</Var>
+ </declare>
+ <declare>
+ <Var type="java.lang.String">BetaSynch.$p.$n</Var>
+ </declare>
+ <declare>
+ <Var type="org.drools.chance.Person">BetaSynch.$p</Var>
+ </declare>
+ <formula>
+ <Implies direction="forward">
+ <oid>
+ <Data>BetaSynch</Data>
+ </oid>
+ <body>
+ <And>
+ <Atom>
+ <oid>
+ <Var>BetaSynch.$p</Var>
+ </oid>
+ <Rel>Person</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>isA</Rel>
+ </op>
+ <slot>
+ <Ind>class</Ind>
+ <Var/>
+ </slot>
+ <Ind type="java.lang.Class">org.drools.chance.Person</Ind>
+ </Atom>
+ <Atom>
+ <op>
+ <Rel>==</Rel>
+ </op>
+ <slot>
+ <Ind>name</Ind>
+ <Var>BetaSynch.$p.$n</Var>
+ </slot>
+ <Ind type="java.lang.String">davide</Ind>
+ </Atom>
+ <Or>
+ <Atom>
+ <op>
+ <Rel>></Rel>
+ </op>
+ <slot>
+ <Ind>age</Ind>
+ <Var>BetaSynch.$p.$a</Var>
+ </slot>
+ <Ind type="java.lang.Number">25</Ind>
+ </Atom>
+ <Atom>
+ <op>
+ <Rel><</Rel>
+ </op>
+ <slot>
+ <Ind>age</Ind>
+ <Var>BetaSynch.$p.$a</Var>
+ </slot>
+ <Ind type="java.lang.Number">18</Ind>
+ </Atom>
+ </Or>
+ </And>
+ </Reify>
+ </Atom>
+ <Atom>
+ <oid>
+ <Var>BetaSynch.$b</Var>
+ </oid>
+ <Rel>Book</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>isA</Rel>
+ </op>
+ <slot>
+ <Ind>class</Ind>
+ <Var/>
+ </slot>
+ <Ind type="java.lang.Class">org.drools.chance.Book</Ind>
+ </Atom>
+ <Atom>
+ <op>
+ <Rel>equals</Rel>
+ </op>
+ <slot>
+ <Ind>owner</Ind>
+ <Var/>
+ </slot>
+ <Var>BetaSynch.$p</Var>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </And>
+ </body>
+ <head>
+ <Atom>
+ <Rel/>
+ <Data>writer.write("\n\n\nBook has no a-priori known owner\n");
+ writer.write("Book.owner = "+$b.getOwner()+"\n");
+ writer.write("but is ack'd as being "+$n+"("+$a+")\n");
+ writer.write("Info comes from rule, evaluation is "+drools.getConsequenceDegree()+"\n");
+ writer.write("\n"+drools.getEvaluation().expand()+"\n");
+
+
+
+ writer.write("\n\nSo, an exceptional exercise will be done\n\n");
+ Exercise e = new Exercise();
+ e.setTopic("Rule Programming");
+ drools.inject(e,"Exceptional");</Data>
+ </Atom>
+ </head>
+ </Implies>
+ </formula>
+ </Forall>
+ <Forall>
+ <declare>
+ <Var type="java.lang.String">Exceptional.$e.$t</Var>
+ </declare>
+ <declare>
+ <Var type="org.drools.chance.Exercise">Exceptional.$e</Var>
+ </declare>
+ <formula>
+ <Implies direction="forward">
+ <oid>
+ <Data>Exceptional</Data>
+ </oid>
+ <degree>
+ <Data>(0)</Data>
+ </degree>
+ <body>
+ <And>
+ <Atom>
+ <oid>
+ <Var>Exceptional.$e</Var>
+ </oid>
+ <Rel>Exercise</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>isA</Rel>
+ </op>
+ <slot>
+ <Ind>class</Ind>
+ <Var/>
+ </slot>
+ <Ind type="java.lang.Class">org.drools.chance.Exercise</Ind>
+ </Atom>
+ <Atom>
+ <op>
+ <Rel/>
+ </op>
+ <slot>
+ <Ind>topic</Ind>
+ <Var>Exceptional.$e.$t</Var>
+ </slot>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </And>
+ </body>
+ <head>
+ <Atom>
+ <Rel/>
+ <Data>writer.write("\nEx "+ $t +" can be done? Answer is " + drools.getConsequenceDegree());
+ writer.write(drools.getEvaluation().expand());</Data>
+ </Atom>
+ </head>
+ </Implies>
+ </formula>
+ </Forall>
+ </Rulebase>
+ </Assert>
+</RuleML>
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/ComplexFormulaTest.ruleml.xml
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/ComplexFormulaTest.ruleml.xml (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/ComplexFormulaTest.ruleml.xml 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,169 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<RuleML xmlns="http://www.ruleml.org/0.91/xsd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.ruleml.org/0.91/xsd http://www.ruleml.org/0.91/xsd/naffologeq.xsd">
+ <Assert>
+ <Rulebase>
+ <oid>
+ <Data>org.drools.chance</Data>
+ </oid>
+ <Implies direction="forward">
+ <oid>
+ <Data>TestOpDegs</Data>
+ </oid>
+ <body>
+ <And>
+ <Or>
+ <Atom>
+ <Rel>Message</Rel>
+ <Equals oriented="yes">
+ <lhs>
+ <Var>TestOpDegs.Message</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>==</Rel>
+ </op>
+ <slot>
+ <Ind>status</Ind>
+ <Var>TestOpDegs.Message</Var>
+ </slot>
+ <Data xsi:type="xs:decimal">0</Data>
+ </Atom>
+ <Atom>
+ <op>
+ <Rel>==</Rel>
+ </op>
+ <slot>
+ <Ind>status</Ind>
+ <Var>TestOpDegs.Message</Var>
+ </slot>
+ <Data xsi:type="xs:decimal">1</Data>
+ </Atom>
+ </And>
+ </Reify>
+ </rhs>
+ </Equals>
+ </Atom>
+ <Atom>
+ <Rel>Message</Rel>
+ <Equals oriented="yes">
+ <lhs>
+ <Var>TestOpDegs.Message</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <And>
+ <Neg>
+ <Atom>
+ <op>
+ <Rel>random</Rel>
+ </op>
+ <slot>
+ <Ind>status</Ind>
+ <Var>TestOpDegs.Message</Var>
+ </slot>
+ <Data xsi:type="xs:decimal">2</Data>
+ </Atom>
+ </Neg>
+ </And>
+ </Reify>
+ </rhs>
+ </Equals>
+ </Atom>
+ </Or>
+ <Neg>
+ <And>
+ <Atom>
+ <Rel>Message</Rel>
+ <Equals oriented="yes">
+ <lhs>
+ <Var>TestOpDegs.Message</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>random</Rel>
+ </op>
+ <slot>
+ <Ind>status</Ind>
+ <Var>TestOpDegs.Message</Var>
+ </slot>
+ <Data xsi:type="xs:decimal">3</Data>
+ </Atom>
+ </And>
+ </Reify>
+ </rhs>
+ </Equals>
+ </Atom>
+ <Atom>
+ <Rel>Message</Rel>
+ <Equals oriented="yes">
+ <lhs>
+ <Var>TestOpDegs.Message</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>random</Rel>
+ </op>
+ <slot>
+ <Ind>status</Ind>
+ <Var>TestOpDegs.Message</Var>
+ </slot>
+ <Data xsi:type="xs:decimal">4</Data>
+ </Atom>
+ </And>
+ </Reify>
+ </rhs>
+ </Equals>
+ </Atom>
+ </And>
+ </Neg>
+ <Atom>
+ <Rel>Message</Rel>
+ <Equals oriented="yes">
+ <lhs>
+ <Var>TestOpDegs.Message</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>random</Rel>
+ </op>
+ <slot>
+ <Ind>status</Ind>
+ <Var>TestOpDegs.Message</Var>
+ </slot>
+ <Data xsi:type="xs:decimal">5</Data>
+ </Atom>
+ </And>
+ </Reify>
+ </rhs>
+ </Equals>
+ </Atom>
+ </And>
+ </body>
+ <head>
+ <Atom>
+ <Rel/>
+ <Data>
+ System.out.println("Degrees test " + drools.getEvaluation().expand());
+
+ writer.write("Degrees test " + drools.getEvaluation().expand());
+
+ System.out.println("Final output " + drools.getConsequenceDegree());
+</Data>
+ </Atom>
+ </head>
+ </Implies>
+ </Rulebase>
+ </Assert>
+</RuleML>
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/FuzzyTest0.ruleml.xml
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/FuzzyTest0.ruleml.xml (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/FuzzyTest0.ruleml.xml 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,114 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<RuleML xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="http://www.ruleml.org/0.91/xsd/naffologeq.xsd" xsi:schemaLocation="http://www.ruleml.org/0.91/xsd http://www.ruleml.org/0.91/xsd/naffologeq.xsd">
+ <Assert>
+ <RuleBase>
+ <oid>
+ <Data xs:type="xsi:string">org.drools.examples.chance.fuzzyTest</Data>
+ </oid>
+ <Implies direction="forward">
+ <oid>
+ <Data>Hot v1</Data>
+ </oid>
+ <body>
+ <And>
+ <Atom>
+ <Rel>Room</Rel>
+ <Equals oriented="yes">
+ <lhs>
+ <Var>Hot v1.$r</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>hot</Rel>
+ </op>
+ <slot>
+ <Ind>temperature</Ind>
+ <Var>Hot v1.$r</Var>
+ </slot>
+ </Atom>
+ </And>
+ </Reify>
+ </rhs>
+ </Equals>
+ </Atom>
+ </And>
+ </body>
+ <head/>
+ </Implies>
+ <Implies direction="forward">
+ <oid>
+ <Data>Hot v2</Data>
+ </oid>
+ <body>
+ <And>
+ <Atom>
+ <Rel>Room</Rel>
+ <Equals oriented="yes">
+ <lhs>
+ <Var>Hot v2.$r</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>seems</Rel>
+ </op>
+ <slot>
+ <Ind>temperature</Ind>
+ <Var>Hot v2.$r</Var>
+ </slot>
+ <Expr>
+ <Fun>getHot</Fun>
+ <Var>Hot v2.$r</Var>
+ </Expr>
+ </Atom>
+ </And>
+ </Reify>
+ </rhs>
+ </Equals>
+ </Atom>
+ </And>
+ </body>
+ <head/>
+ </Implies>
+ <Implies direction="forward">
+ <oid>
+ <Data>Hot v3</Data>
+ </oid>
+ <body>
+ <And>
+ <Atom>
+ <Rel>Room</Rel>
+ <Equals oriented="yes">
+ <lhs>
+ <Var>Hot v3.$r</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>seems</Rel>
+ </op>
+ <slot>
+ <Ind>temperature</Ind>
+ <Var>Hot v3.$r</Var>
+ </slot>
+ <Data xsi:type="xs:string">warm</Data>
+ </Atom>
+ </And>
+ </Reify>
+ </rhs>
+ </Equals>
+ </Atom>
+ </And>
+ </body>
+ <head/>
+ </Implies>
+ </RuleBase>
+ </Assert>
+</RuleML>
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/FuzzyTest1.ruleml.xml
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/FuzzyTest1.ruleml.xml (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/FuzzyTest1.ruleml.xml 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,239 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<RuleML xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.ruleml.org/0.91/xsd http://www.ruleml.org/0.91/xsd/naffologeq.xsd">
+ <Assert>
+ <RuleBase>
+ <oid>org.drools.examples.chance</oid>
+ <Implies direction="forward">
+ <oid>Cold</oid>
+ <body>
+ <And>
+ <op>
+ <Atom>
+ <Var>Cold.$r</Var>
+ </Atom>
+ </op>
+ </And>
+ </body>
+ <head/>
+ </Implies>
+ <Implies direction="forward">
+ <oid>Warm</oid>
+ <body>
+ <And>
+ <op>
+ <Atom>
+ <Var>Warm.$r</Var>
+ </Atom>
+ </op>
+ </And>
+ </body>
+ <head/>
+ </Implies>
+ <Implies direction="forward">
+ <oid>Hot</oid>
+ <body>
+ <And>
+ <op>
+ <Atom>
+ <Var>Hot.$r</Var>
+ </Atom>
+ </op>
+ </And>
+ </body>
+ <head/>
+ </Implies>
+ <Implies direction="forward">
+ <oid>Fan1</oid>
+ <body>
+ <And>
+ <op>
+ <Atom>
+ <Var>Fan1.$f</Var>
+ </Atom>
+ </op>
+ </And>
+ </body>
+ <head/>
+ </Implies>
+ <Implies direction="forward">
+ <oid>Fan2</oid>
+ <body>
+ <And>
+ <op>
+ <Atom>
+ <Var>Fan2.$f</Var>
+ </Atom>
+ </op>
+ </And>
+ </body>
+ <head/>
+ </Implies>
+ <Implies direction="forward">
+ <oid>Fan3</oid>
+ <body>
+ <And>
+ <op>
+ <Atom>
+ <Var>Fan3.$f</Var>
+ </Atom>
+ </op>
+ </And>
+ </body>
+ <head/>
+ </Implies>
+ <Equals>
+ <lhs>
+ <Var>Fan3.$f</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <Atom>
+ <Rel>Fan</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>seems</Rel>
+ </op>
+ <slot>
+ <Ind>speed</Ind>
+ <Var>Fan3.$f</Var>
+ </slot>
+ <Data xsi:type="xs:string">stop</Data>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </Reify>
+ </rhs>
+ </Equals>
+ <Equals>
+ <lhs>
+ <Var>Fan1.$f</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <Atom>
+ <Rel>Fan</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>seems</Rel>
+ </op>
+ <slot>
+ <Ind>speed</Ind>
+ <Var>Fan1.$f</Var>
+ </slot>
+ <Data xsi:type="xs:string">fast</Data>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </Reify>
+ </rhs>
+ </Equals>
+ <Equals>
+ <lhs>
+ <Var>Warm.$r</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <Atom>
+ <Rel>Room</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>warm</Rel>
+ </op>
+ <slot>
+ <Ind>temperature</Ind>
+ <Var>Warm.$r</Var>
+ </slot>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </Reify>
+ </rhs>
+ </Equals>
+ <Equals>
+ <lhs>
+ <Var>Hot.$r</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <Atom>
+ <Rel>Room</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>hot</Rel>
+ </op>
+ <slot>
+ <Ind>temperature</Ind>
+ <Var>Hot.$r</Var>
+ </slot>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </Reify>
+ </rhs>
+ </Equals>
+ <Equals>
+ <lhs>
+ <Var>Fan2.$f</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <Atom>
+ <Rel>Fan</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>seems</Rel>
+ </op>
+ <slot>
+ <Ind>speed</Ind>
+ <Var>Fan2.$f</Var>
+ </slot>
+ <Data xsi:type="xs:string">slow</Data>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </Reify>
+ </rhs>
+ </Equals>
+ <Equals>
+ <lhs>
+ <Var>Cold.$r</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <Atom>
+ <Rel>Room</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>cold</Rel>
+ </op>
+ <slot>
+ <Ind>temperature</Ind>
+ <Var>Cold.$r</Var>
+ </slot>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </Reify>
+ </rhs>
+ </Equals>
+ </RuleBase>
+ </Assert>
+</RuleML>
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/ImpliesTest0.ruleml.xml
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/ImpliesTest0.ruleml.xml (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/ImpliesTest0.ruleml.xml 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,78 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<RuleML xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.ruleml.org/0.91/xsd http://www.ruleml.org/0.91/xsd/naffologeq.xsd">
+ <Assert>
+ <RuleBase>
+ <oid>org.drools.chance.impliesTest</oid>
+ <Implies direction="forward">
+ <oid>TestImplication</oid>
+ <body>
+ <And>
+ <Implies>
+ <op>
+ <Atom>
+ <Var>TestImplication.Foo1</Var>
+ </Atom>
+ </op>
+ <op>
+ <Atom>
+ <Var>TestImplication.Foo2</Var>
+ </Atom>
+ </op>
+ </Implies>
+ </And>
+ </body>
+ <head/>
+ </Implies>
+ <Equals>
+ <lhs>
+ <Var>TestImplication.Foo1</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <Atom>
+ <Rel>Foo1</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>random</Rel>
+ </op>
+ <slot>
+ <Ind>this</Ind>
+ <Var>TestImplication.Foo1</Var>
+ </slot>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </Reify>
+ </rhs>
+ </Equals>
+ <Equals>
+ <lhs>
+ <Var>TestImplication.Foo2</Var>
+ </lhs>
+ <rhs>
+ <Reify>
+ <Atom>
+ <Rel>Foo2</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <op>
+ <Rel>random</Rel>
+ </op>
+ <slot>
+ <Ind>this</Ind>
+ <Var>TestImplication.Foo2</Var>
+ </slot>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </Reify>
+ </rhs>
+ </Equals>
+ </RuleBase>
+ </Assert>
+</RuleML>
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/RuleMLModel.xml
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/RuleMLModel.xml (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/RuleMLModel.xml 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,42 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<RuleML xmlns="http://www.ruleml.org/0.91/xsd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.ruleml.org/0.91/xsd http://www.ruleml.org/0.91/xsd/naffologeq.xsd">
+ <oid><Data>test</Data></oid>
+ <Assert>
+ <Rulebase>
+ <oid><Data>org.drools.chance</Data></oid>
+ <Implies direction="forward">
+ <oid>
+ <Data xsi:type="xs:ID">Sample</Data>
+ </oid>
+ <degree>
+ <Data>( 0.7 )</Data>
+ </degree>
+
+ <body>
+ <And>
+ <Atom>
+ <oid>
+ <Var>$m</Var>
+ </oid>
+ <op>
+ <Rel>Message</Rel>
+ </op>
+ </Atom>
+
+ </And>
+ </body>
+
+ <head>
+ <Atom>
+ <op>
+ <Rel></Rel>
+ </op>
+ <Data>System.out.println();</Data>
+ </Atom>
+ </head>
+
+ </Implies>
+ </Rulebase>
+ </Assert>
+
+</RuleML>
Added: labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/RuleMLTest.ruleml.xml
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/RuleMLTest.ruleml.xml (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/drools-examples-drl/xml/RuleMLTest.ruleml.xml 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,207 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<RuleML xmlns="http://www.ruleml.org/0.91/xsd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.ruleml.org/0.91/xsd http://www.ruleml.org/0.91/xsd/naffologeq.xsd">
+ <oid>
+ <Data>org.drools.DRL</Data>
+ </oid>
+ <Assert>
+ <Rulebase>
+ <oid>
+ <Data>org.drools.chance</Data>
+ </oid>
+ <Forall>
+ <declare>
+ <Var type="int">RuleId.Message.$sjoin</Var>
+ </declare>
+ <declare>
+ <Var type="java.lang.String">RuleId.$m.$msg</Var>
+ </declare>
+ <declare>
+ <Var type="org.drools.chance.Message">RuleId.$m</Var>
+ </declare>
+ <declare>
+ <Var type="int">RuleId.$m.$s</Var>
+ </declare>
+ <declare>
+ <Var type="org.drools.chance.Message">RuleId.Message</Var>
+ </declare>
+ <formula>
+ <Implies direction="forward">
+ <oid>
+ <Data>RuleId</Data>
+ </oid>
+ <!--
+<degree>
+ <Data>( 0.7 )</Data>
+</degree>
+-->
+ <body>
+ <And>
+ <Or>
+ <oid>
+ <Data>idCE</Data>
+ </oid>
+ <!--unsupported attribute -
+<cut/>
+-->
+ <!--unsupported attribute -
+<kind>kind:Max</kind>
+-->
+ <!--
+<degree>
+ <Data>0.4</Data>
+</degree>
+-->
+ <Atom>
+ <oid>
+ <Var>RuleId.$m</Var>
+ </oid>
+ <Rel>Message</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <oid>
+ <Data>idCls</Data>
+ </oid>
+ <!--unsupported attribute -
+<cut/>
+-->
+ <!--unsupported attribute -
+<kind>args:z</kind>
+-->
+ <!--
+<degree>
+ <Data>0.1</Data>
+</degree>
+-->
+ <op>
+ <Rel>isA</Rel>
+ </op>
+ <slot>
+ <Ind>class</Ind>
+ <Var/>
+ </slot>
+ <Ind type="java.lang.Class">org.drools.chance.Message</Ind>
+ </Atom>
+ <Or>
+ <Atom>
+ <oid>
+ <Data>idBndOp</Data>
+ </oid>
+ <!--unsupported attribute -
+<cut/>
+-->
+ <!--unsupported attribute -
+<kind>args:tolerance(0.1)</kind>
+-->
+ <!--
+<degree>
+ <Data>0.4</Data>
+</degree>
+-->
+ <op>
+ <Rel>==</Rel>
+ </op>
+ <slot>
+ <Ind>status</Ind>
+ <Var>RuleId.$m.$s</Var>
+ </slot>
+ <Ind type="java.lang.Number">0</Ind>
+ </Atom>
+ <And>
+ <Atom>
+ <oid>
+ <Data>idFreeOp</Data>
+ </oid>
+ <!--unsupported attribute -
+<cut/>
+-->
+ <!--unsupported attribute -
+<kind>kind:a</kind>
+-->
+ <!--
+<degree>
+ <Data>0.4</Data>
+</degree>
+-->
+ <op>
+ <Rel>==</Rel>
+ </op>
+ <slot>
+ <Ind>message</Ind>
+ <Var/>
+ </slot>
+ <Ind type="java.lang.String">Hello</Ind>
+ </Atom>
+ <Atom>
+ <op>
+ <Rel/>
+ </op>
+ <slot>
+ <Ind>message</Ind>
+ <Var>RuleId.$m.$msg</Var>
+ </slot>
+ </Atom>
+ </And>
+ </Or>
+ </And>
+ </Reify>
+ </Atom>
+ <Atom>
+ <oid>
+ <Var>RuleId.Message</Var>
+ </oid>
+ <Rel>Message</Rel>
+ <Reify>
+ <And>
+ <Atom>
+ <oid>
+ <Data>idCls2</Data>
+ </oid>
+ <!--unsupported attribute -
+<cut/>
+-->
+ <!--unsupported attribute -
+<kind>kind:Lukas</kind>
+-->
+ <!--
+<degree>
+ <Data>0.4</Data>
+</degree>
+-->
+ <op>
+ <Rel>isA</Rel>
+ </op>
+ <slot>
+ <Ind>class</Ind>
+ <Var/>
+ </slot>
+ <Ind type="java.lang.Class">org.drools.chance.Message</Ind>
+ </Atom>
+ <Atom>
+ <op>
+ <Rel>></Rel>
+ </op>
+ <slot>
+ <Ind>status</Ind>
+ <Var>RuleId.Message.$sjoin</Var>
+ </slot>
+ <Var>RuleId.$m.$s</Var>
+ </Atom>
+ </And>
+ </Reify>
+ </Atom>
+ </Or>
+ </And>
+ </body>
+ <head>
+ <Atom>
+ <Rel/>
+ <Data>System.out.println();</Data>
+ </Atom>
+ </head>
+ </Implies>
+ </formula>
+ </Forall>
+ </Rulebase>
+ </Assert>
+</RuleML>
Added: labs/jbossrules/branches/DroolsChance/drools-examples/pom.xml
===================================================================
--- labs/jbossrules/branches/DroolsChance/drools-examples/pom.xml (rev 0)
+++ labs/jbossrules/branches/DroolsChance/drools-examples/pom.xml 2009-05-27 08:50:12 UTC (rev 26743)
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
+
+ <modelVersion>4.0.0</modelVersion>
+ <parent>
+ <artifactId>drools</artifactId>
+ <groupId>org.drools</groupId>
+ <version>5.0.0.SNAPSHOT</version>
+ </parent>
+
+ <artifactId>drools-examples</artifactId>
+ <packaging>pom</packaging>
+ <name>Drools :: Examples</name>
+
+ <modules>
+ <module>drools-examples-drl</module>
+ </modules>
+
+</project>
More information about the jboss-svn-commits
mailing list