[DL-Learner SVN] SF.net SVN: dl-learner:[4153] trunk/test/fuzzydll/EvKnowledge

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 4153
          http://sourceforge.net/p/dl-learner/code/4153
Author:   farshadbadie
Date:     2013-11-19 21:14:09 +0000 (Tue, 19 Nov 2013)
Log Message:
-----------
EvKnowledgeFuzzyTrain

Added Paths:
-----------
    trunk/test/fuzzydll/EvKnowledge/EvKnowledge.conf
    trunk/test/fuzzydll/EvKnowledge/EvKnowledge.txt

Added: trunk/test/fuzzydll/EvKnowledge/EvKnowledge.conf
===================================================================

--- trunk/test/fuzzydll/EvKnowledge/EvKnowledge.conf	                        (rev 0)
+++ trunk/test/fuzzydll/EvKnowledge/EvKnowledge.conf	2013-11-19 21:14:09 UTC (rev 4153)
@@ -0,0 +1,29 @@
+/**
+ * SUCCESSFUL USER Example
+ *
+ * possible solution: 
+ *   User AND EXISTS hasSTG.VeryLow AND hasSCG.VeryLow AND hasSTR.VeryLow AND hasLPR.High AND hasPEG.High AND hasUNS.HIGH
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+// declare some prefixes to use as abbreviations
+prefixes = [ ("ex","http://example.com/EvKnowledge#") ]
+
+// knowledge source definition
+ks.type = "OWL File"
+ks.fileName = "EvKnowledge.owl"
+
+// reasoner
+reasoner.type = "fast instance checker"
+reasoner.sources = { ks }
+
+// learning problem
+lp.type = "posNegStandard"
+lp.positiveExamples = { "ex:", "ex:USER49", "ex:USER167" }
+lp.negativeExamples = { "ex:heinz", "ex:USER118", "ex:USER149" }
+
+// create learning algorithm to run
+alg1.type = "celoe"
+alg2.type = "pceloe"
+

Added: trunk/test/fuzzydll/EvKnowledge/EvKnowledge.txt
===================================================================
--- trunk/test/fuzzydll/EvKnowledge/EvKnowledge.txt	                        (rev 0)
+++ trunk/test/fuzzydll/EvKnowledge/EvKnowledge.txt	2013-11-19 21:14:09 UTC (rev 4153)
@@ -0,0 +1,129 @@
+
+- Train has changed to EvKnowledge
+- Car has changed to User
+- Lengh has changed to Success
+- Short has changed to Unsuccessful
+- Long has changed to Successful
+- Load is still Load . And can have several shapes
+
+(define-fuzzy-concept fuzzySuccessfulUser right-shoulder(0.2, 0.4, 0.7, 1.0) )
+(define-fuzzy-concept fuzzyUnsuccessfulUser left-shoulder(1.0, 0.7, 0.4, 0.2) )
+(define-fuzzy-concept fuzzyMediumSuccessfulUser trapezoidal(-50.0, 50.0, 0.4, 0.2, 0.7, 1.0) )
+(functional isInFrontOf)
+(functional hasUserSuccess)
+(domain hasLoad User )
+(domain isInFrontOf (or User EvKnowledge ) )
+(domain hasUser EvKnowledge )
+(range hasUser User )
+(range isInFrontOf User )
+(range hasLoad Load )
+(domain hasUserSuccess User )
+(range hasUserSuccess *real*  0  1 )
+
+(instance load63a Rectangle 1.0)
+(instance load21a Triangle 1.0)
+(instance User72 User 1.0)
+(instance User22 User 1.0)
+(instance User13 User 1.0)
+(instance load72c Triangle 1.0)
+(instance load63b Triangle 1.0)
+(instance User61 User 1.0)
+(instance User21 User 1.0)
+(instance User62 User 1.0)
+(instance load71b Rectangle 1.0)
+(instance User63 User 1.0)
+(instance load72b Rectangle 1.0)
+(instance load11a Rectangle 1.0)
+(instance User11 User 1.0)
+(instance User12 User 1.0)
+(instance User7 EvKnowledge 1.0)
+(instance load61a Triangle 0.4)
+(instance load11c Triangle 1.0)
+(instance load62a Rectangle 1.0)
+(instance load11b Rectangle 1.0)
+(instance load71a Triangle 1.0)
+(instance load22a Rectangle 0.8)
+(instance User71 User 1.0)
+(instance west6 EvKnowledge 1.0)
+(instance load22a Triangle 0.2)
+(instance load12a Rectangle 1.0)
+(instance load61a Rectangle 0.6)
+(instance east1 EvKnowledge 1.0)
+(instance load72a Rectangle 1.0)
+
+(related west6 User61 isInFrontOf 1.0)
+(related car63 load63a hasLoad 1.0)
+(related west6 User63 hasUser 1.0)
+(related east1 User13 hasUser 1.0)
+(related east2 User21 hasUser 1.0)
+(related User72 load72b hasLoad 1.0)
+(related east1 User11 hasUser 1.0)
+(related User61 load61a hasLoad 0.1)
+(related west7 User72 hasUser 1.0)
+(related User62 load62a hasLoad 1.0)
+(related User11 load11a hasLoad 1.0)
+(related west6 User61 hasUser 1.0)
+(related User71 load71a hasLoad 1.0)
+(related west7 User71 isInFrontOf 1.0)
+(related User11 load11c hasLoad 1.0)
+(related west7 User71 hasUser 1.0)
+(related east2 User22 hasUser 1.0)
+(related User21 User22 isInFrontOf 1.0)
+(related User63 load63b hasLoad 1.0)
+(related west6 User62 hasUser 1.0)
+(related west6 User62 hasUser 1.0)
+(related west7 User70 hasUser 1.0)
+(related west1 User19 hasUser 1.0)
+(related west1 User162 hasUser 1.0)
+(related west1 User102 hasUser 1.0)
+(related west1 User192 hasUser 1.0)
+(related west2 User221 hasUser 1.0)
+(related west2 User200 hasUser 1.0)
+(related west6 User247 hasUser 1.0)
+(related east1 User11 isInFrontOf 1.0)
+(related User12 User13 isInFrontOf 1.0)
+(related User61 User62 isInFrontOf 1.0)
+(related User12 load12a hasLoad 1.0)
+(related User11 User12 isInFrontOf 1.0)
+(related east1 User12 hasUser 1.0)
+(related User72 load72c hasLoad 1.0)
+(related User22 load22a hasLoad 1.0)
+(related east2 User21 isInFrontOf 1.0)
+(related east2 User221 isInFrontOf 1.0)
+(related east2 User215 isInFrontOf 1.0)
+(related east2 User245 isInFrontOf 1.0)
+(related east2 User200 isInFrontOf 1.0)
+(related east1 User121 isInFrontOf 1.0)
+(related east1 User109 isInFrontOf 1.0)
+(related east1 User121 isInFrontOf 1.0)
+(related east1 User149 isInFrontOf 1.0)
+(related east1 User191 isInFrontOf 1.0)
+(related east1 User199 isInFrontOf 1.0)
+(related User71 User72 isInFrontOf 1.0)
+(related User71 load71b hasLoad 1.0)
+(related User21 load21a hasLoad 1.0)
+(related User62 User63 isInFrontOf 1.0)
+(related User11 load11b hasLoad 1.0)
+(related User72 load72a hasLoad 1.0)
+
+(instance User197 (= hasUserSuccessVeryLow) 1.0 )
+(instance User208 (= hasUserSuccessMiddle) 1.0 )
+(instance User225 (= hasUserSuccessMiddle) 1.0 )
+(instance User249 (= hasUserSuccessLow) 1.0 )
+(instance User258 (= hasUserSuccessHigh) 1.0 )
+(instance User134 (= hasUserSuccessHigh) 1.0 )
+(instance User140 (= hasUserSuccessLow) 1.0 )
+(instance User173 (= hasUserSuccessHigh) 1.0 )
+(instance User65 (= hasUserSuccessMiddle) 1.0 )
+(instance User50 (= hasUserSuccessHigh) 1.0 )
+(instance User4 (= hasUserSuccessLow) 1.0 )
+(instance User12 (= hasUserSuccessHigh) 1.0 )
+(instance User17 (= hasUserSuccessVeryLow) 1.0 )
+(instance User13 (= hasUserSuccessLow) 1.0 )
+
+(disjoint User Load )
+(disjoint User EvKnowledge )
+(disjoint Load EvKnowledge )
+(define-concept SuccessfulUser (and User (some hasUserSuccess fuzzySuccessfulUser)))
+(define-concept UnsuccessfulUser (and User (some hasUserSuccess fuzzyUnsuccessfulUser)))
+(define-concept MediumSuccessUser (and User (some hasUserSuccess fuzzyMediumSuccessUser)))

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.



