dl-learner-svn

[DL-Learner SVN] SF.net SVN: dl-learner: [142] trunk/examples/arch

[<jen...@us...>]

Revision: 142
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=142&view=rev
Author:   jenslehmann
Date:     2007-09-18 04:52:14 -0700 (Tue, 18 Sep 2007)

Log Message:
-----------
cleaned up arch example

Modified Paths:
--------------
    trunk/examples/arch/arch.conf
    trunk/examples/arch/arch_owl.conf

Modified: trunk/examples/arch/arch.conf
===================================================================
--- trunk/examples/arch/arch.conf	2007-09-18 11:40:37 UTC (rev 141)
+++ trunk/examples/arch/arch.conf	2007-09-18 11:52:14 UTC (rev 142)
@@ -1,56 +1,36 @@
-/*****************************
+/**
+ * Arches Example
+ *
+ * Originally published in Winston, P.H. (1975). Learning structural descriptions 
+ * from examples. In P.H. Winstons (Ed.), The psychology of computer vision. New 
+ * York: Mc Graw- Hill.
+ *
+ * See the pictures for an illustration of the input data.
+ *
+ * The example is a converted, modified and extended version of the original 
+ * learning problem.
+ *
+ * possible solution:
+ *   EXISTS hasPillar.(freeStandingPillar AND EXISTS leftof.EXISTS supports.TOP)
+ *
+ * Copyright (C) 2007, Sebastian Hellmann
+ */
 
-
-Example created from these predicates:
-
-arch(A, B, C) 		A, B and C form an arch with lintel A
-supports(A, B) 		A supports B
-left-of(A, B) 		A is left of B
-touches(A, B) 		the sides of A and B touch
-brick(A) 		A is a brick
-wedge(A) 		A is a wedge
-parallelpiped(A, B) 	A is a brick or a wedge
-    
-Solution:   arch(A, B, C) <-  left-of(B, C), supports(B, A), not touches(B, C)
-
-
-Solution 
-EXISTS hasPillar.EXISTS leftof.TOP        	<-TOO OBVIOUS  all constructions c1,c2,c3,c4
-AND  EXISTS hasPillar.EXISTS supports.TOP 	<-IS FOUND	[c1, c3, c4]
-AND  NOT EXISTS hasPillar.EXISTS touches.TOP	<- Not found (open world assumption) 
-						   work around with freeStandingPillar
-
-New Solution:
-EXISTS hasPillar.(freeStandingPillar AND EXISTS leftof.EXISTS supports.TOP)
-
-See the pictures for an illustration of the input data.
-
-Originally published in Winston, P.H. (1975). Learning structural descriptions 
-from examples. In P.H. Winstons (Ed.), The psychology of computer vision. New 
-York: Mc Graw- Hill.
-
-***************************/
- 
- //reasoner = kaon2;
- 
- // search tree protocol
+// search tree protocol
 refinement.writeSearchTree = false;
-refinement.searchTreeFile = "searchTree.txt";
+refinement.searchTreeFile = "log/archSearchTree.txt";
 //export("arch.owl");
 
 /** background knowledge **/
 parallelpipe = (brick OR wedge).
 freeStandingPillar = (pillar AND NOT EXISTS   touches.TOP ) .
 
-
-
 construction(c1).
 construction(c2).
 construction(c3).
 construction(c4).
 construction(c5).
 
-
 pillar(p1).
 pillar(p2).
 pillar(p3).
@@ -61,10 +41,10 @@
 pillar(p8).
 pillar(p9).
 
-
 brick(a).
 brick(b).
 brick(c).
+
 wedge(d).
 wedge(e).
 
@@ -78,16 +58,12 @@
 hasPillar(c4,p8).
 hasPillar(c5,p9).
 
-
-
-
 hasParallelpipe(c1,a).
 hasParallelpipe(c2,b).
 hasParallelpipe(c3,c).
 hasParallelpipe(c4,d).
 hasParallelpipe(c5,e).
 
-
 supports(p1,a).
 supports(p2,a).
 supports(p5,c).
@@ -96,7 +72,6 @@
 supports(p8,d).
 supports(p9,e).
 
-
 leftof(p1,p2).
 leftof(p3,p4).
 leftof(p5,p6).
@@ -104,7 +79,6 @@
 
 touches(p5,p6).
 
-
 freeStandingPillar(p1).
 freeStandingPillar(p2).
 freeStandingPillar(p3).
@@ -113,8 +87,6 @@
 freeStandingPillar(p8).
 freeStandingPillar(p9).
 
-
-
 /** examples **/
 +arch(c1).
 +arch(c4).

Modified: trunk/examples/arch/arch_owl.conf
===================================================================
--- trunk/examples/arch/arch_owl.conf	2007-09-18 11:40:37 UTC (rev 141)
+++ trunk/examples/arch/arch_owl.conf	2007-09-18 11:52:14 UTC (rev 142)
@@ -1,48 +1,13 @@
-/*****************************
+/**
+ * See arch.conf. This is the same learning problem, but loading background
+ * knowledge from an OWL file instead.
+ *
+ * Copyright (C) 2007, Sebastian Hellmann
+ */
 
-
-Example created from these predicates:
-
-arch(A, B, C) 		A, B and C form an arch with lintel A
-supports(A, B) 		A supports B
-left-of(A, B) 		A is left of B
-touches(A, B) 		the sides of A and B touch
-brick(A) 		A is a brick
-wedge(A) 		A is a wedge
-parallelpiped(A, B) 	A is a brick or a wedge
-    
-Solution:   arch(A, B, C) <-  left-of(B, C), supports(B, A), not touches(B, C)
-    
-Solution 
-EXISTS hasPillar.EXISTS leftof.TOP        	<-TOO OBVIOUS  all constructions c1,c2,c3,c4
-AND  EXISTS hasPillar.EXISTS supports.TOP 	<-IS FOUND	[c1, c3, c4]
-AND  NOT EXISTS hasPillar.EXISTS touches.TOP	<- Not found (open world assumption) 
-
-New Solution:
-EXISTS hasPillar.(freeStandingPillar AND EXISTS leftof.EXISTS supports.TOP)
-
-See the pictures for an illustration of the input data.
-
-Originally published in Winston, P.H. (1975). Learning structural descriptions 
-from examples. In P.H. Winstons (Ed.), The psychology of computer vision. New 
-York: Mc Graw- Hill.
-
-
-***************************/
- 
- //reasoner = kaon2;
- 
- // search tree protocol
-refinement.writeSearchTree = false;
-refinement.searchTreeFile = "searchTree.txt";
-refinement.quiet = false;
-// hidePrefix="http://localhost/foo#";
 /** background knowledge **/
-
-
 import("arch.owl");
 
-
 /** examples **/
 +arch("http://localhost/foo#c1").
 +arch("http://localhost/foo#c4").


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

[DL-Learner SVN] SF.net SVN: dl-learner: [314] trunk/examples/arch

[<jen...@us...>]

Revision: 314
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=314&view=rev
Author:   jenslehmann
Date:     2007-12-03 08:52:30 -0800 (Mon, 03 Dec 2007)

Log Message:
-----------
updated arch example to new structure

Modified Paths:
--------------
    trunk/examples/arch/arch.conf

Added Paths:
-----------
    trunk/examples/arch/arch.kb

Removed Paths:
-------------
    trunk/examples/arch/arch_owl.conf

Modified: trunk/examples/arch/arch.conf
===================================================================
--- trunk/examples/arch/arch.conf	2007-12-03 15:57:42 UTC (rev 313)
+++ trunk/examples/arch/arch.conf	2007-12-03 16:52:30 UTC (rev 314)
@@ -22,74 +22,12 @@
 //export("arch.owl");
 
 /** background knowledge **/
-parallelpipe = (brick OR wedge).
-freeStandingPillar = (pillar AND NOT EXISTS   touches.TOP ) .
+import("arch.kb");
+// import("arch.owl");
 
-construction(c1).
-construction(c2).
-construction(c3).
-construction(c4).
-construction(c5).
-
-pillar(p1).
-pillar(p2).
-pillar(p3).
-pillar(p4).
-pillar(p5).
-pillar(p6).
-pillar(p7).
-pillar(p8).
-pillar(p9).
-
-brick(a).
-brick(b).
-brick(c).
-
-wedge(d).
-wedge(e).
-
-hasPillar(c1,p1).
-hasPillar(c1,p2).
-hasPillar(c2,p3).
-hasPillar(c2,p4).
-hasPillar(c3,p5).
-hasPillar(c3,p6).
-hasPillar(c4,p7).
-hasPillar(c4,p8).
-hasPillar(c5,p9).
-
-hasParallelpipe(c1,a).
-hasParallelpipe(c2,b).
-hasParallelpipe(c3,c).
-hasParallelpipe(c4,d).
-hasParallelpipe(c5,e).
-
-supports(p1,a).
-supports(p2,a).
-supports(p5,c).
-supports(p6,c).
-supports(p7,d).
-supports(p8,d).
-supports(p9,e).
-
-leftof(p1,p2).
-leftof(p3,p4).
-leftof(p5,p6).
-leftof(p7,p8).
-
-touches(p5,p6).
-
-freeStandingPillar(p1).
-freeStandingPillar(p2).
-freeStandingPillar(p3).
-freeStandingPillar(p4).
-freeStandingPillar(p7).
-freeStandingPillar(p8).
-freeStandingPillar(p9).
-
 /** examples **/
-+arch(c1).
-+arch(c4).
--arch(c2).
--arch(c3).
--arch(c5).
++c1
++c4
+-c2
+-c3
+-c5

Added: trunk/examples/arch/arch.kb
===================================================================
--- trunk/examples/arch/arch.kb	                        (rev 0)
+++ trunk/examples/arch/arch.kb	2007-12-03 16:52:30 UTC (rev 314)
@@ -0,0 +1,64 @@
+parallelpipe = (brick OR wedge).
+freeStandingPillar = (pillar AND NOT EXISTS   touches.TOP ) .
+
+construction(c1).
+construction(c2).
+construction(c3).
+construction(c4).
+construction(c5).
+
+pillar(p1).
+pillar(p2).
+pillar(p3).
+pillar(p4).
+pillar(p5).
+pillar(p6).
+pillar(p7).
+pillar(p8).
+pillar(p9).
+
+brick(a).
+brick(b).
+brick(c).
+
+wedge(d).
+wedge(e).
+
+hasPillar(c1,p1).
+hasPillar(c1,p2).
+hasPillar(c2,p3).
+hasPillar(c2,p4).
+hasPillar(c3,p5).
+hasPillar(c3,p6).
+hasPillar(c4,p7).
+hasPillar(c4,p8).
+hasPillar(c5,p9).
+
+hasParallelpipe(c1,a).
+hasParallelpipe(c2,b).
+hasParallelpipe(c3,c).
+hasParallelpipe(c4,d).
+hasParallelpipe(c5,e).
+
+supports(p1,a).
+supports(p2,a).
+supports(p5,c).
+supports(p6,c).
+supports(p7,d).
+supports(p8,d).
+supports(p9,e).
+
+leftof(p1,p2).
+leftof(p3,p4).
+leftof(p5,p6).
+leftof(p7,p8).
+
+touches(p5,p6).
+
+freeStandingPillar(p1).
+freeStandingPillar(p2).
+freeStandingPillar(p3).
+freeStandingPillar(p4).
+freeStandingPillar(p7).
+freeStandingPillar(p8).
+freeStandingPillar(p9).

Deleted: trunk/examples/arch/arch_owl.conf
===================================================================
--- trunk/examples/arch/arch_owl.conf	2007-12-03 15:57:42 UTC (rev 313)
+++ trunk/examples/arch/arch_owl.conf	2007-12-03 16:52:30 UTC (rev 314)
@@ -1,16 +0,0 @@
-/**
- * See arch.conf. This is the same learning problem, but loading background
- * knowledge from an OWL file instead.
- *
- * Copyright (C) 2007, Sebastian Hellmann
- */
-
-/** background knowledge **/
-import("arch.owl");
-
-/** examples **/
-+arch("http://localhost/foo#c1").
-+arch("http://localhost/foo#c4").
--arch("http://localhost/foo#c2").
--arch("http://localhost/foo#c3").
--arch("http://localhost/foo#c5").


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

[DL-Learner SVN] SF.net SVN: dl-learner: [551] trunk/examples/arch

[<ku...@us...>]

Revision: 551
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=551&view=rev
Author:   kurzum
Date:     2008-02-13 02:08:17 -0800 (Wed, 13 Feb 2008)

Log Message:
-----------
arch

Modified Paths:
--------------
    trunk/examples/arch/arch.conf

Added Paths:
-----------
    trunk/examples/arch/arch_owl.conf

Modified: trunk/examples/arch/arch.conf
===================================================================
--- trunk/examples/arch/arch.conf	2008-02-12 20:08:48 UTC (rev 550)
+++ trunk/examples/arch/arch.conf	2008-02-13 10:08:17 UTC (rev 551)
@@ -16,15 +16,13 @@
  * Copyright (C) 2007, Sebastian Hellmann
  */
 
-// search tree protocol
-refinement.writeSearchTree = false;
-refinement.searchTreeFile = "log/archSearchTree.txt";
+
 //export("arch.owl");
 
 /** background knowledge **/
 import("arch.kb");
-// import("arch.owl");
 
+
 /** examples **/
 +c1
 +c4

Added: trunk/examples/arch/arch_owl.conf
===================================================================
--- trunk/examples/arch/arch_owl.conf	                        (rev 0)
+++ trunk/examples/arch/arch_owl.conf	2008-02-13 10:08:17 UTC (rev 551)
@@ -0,0 +1,29 @@
+/**
+ * Arches Example
+ *
+ * Originally published in Winston, P.H. (1975). Learning structural descriptions 
+ * from examples. In P.H. Winstons (Ed.), The psychology of computer vision. New 
+ * York: Mc Graw- Hill.
+ *
+ * See the pictures for an illustration of the input data.
+ *
+ * The example is a converted, modified and extended version of the original 
+ * learning problem.
+ *
+ * possible solution:
+ *   EXISTS hasPillar.(freeStandingPillar AND EXISTS leftof.EXISTS supports.TOP)
+ *
+ * Copyright (C) 2007, Sebastian Hellmann
+ */
+
+
+
+/** background knowledge **/
+import("arch.owl");
+
+/** examples **/
++c1
++c4
+-c2
+-c3
+-c5


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