[Toss-devel-svn] SF.net SVN: toss:[1708] trunk/Toss

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

Revision: 1708
          http://toss.svn.sourceforge.net/toss/?rev=1708&view=rev
Author:   lukaszkaiser
Date:     2012-05-12 22:02:53 +0000 (Sat, 12 May 2012)
Log Message:
-----------
Pre-release orders.

Modified Paths:
--------------
    trunk/Toss/Arena/ContinuousRule.ml
    trunk/Toss/Makefile
    trunk/Toss/Toss.odocl
    trunk/Toss/examples/Cell-Cycle-Tyson-1991.toss
    trunk/Toss/www/Publications/all.bib
    trunk/Toss/www/contact.xml
    trunk/Toss/www/develop.xml
    trunk/Toss/www/index.xml
    trunk/Toss/www/reference/.cvsignore
    trunk/Toss/www/reference/reference.bib
    trunk/Toss/www/reference/reference.tex

Added Paths:
-----------
    trunk/Toss/www/pub/contraintes_slides.pdf
    trunk/Toss/www/pub/learning_games_descriptive_complexity.pdf
    trunk/Toss/www/reference/Bknwn.png
    trunk/Toss/www/reference/Bkwn0.png
    trunk/Toss/www/reference/Cnw0.png
    trunk/Toss/www/reference/Cnw1.png
    trunk/Toss/www/reference/Cnw2.png
    trunk/Toss/www/reference/Cnw3.png
    trunk/Toss/www/reference/Cnwg.png
    trunk/Toss/www/reference/Cw0.png
    trunk/Toss/www/reference/Cw1.png
    trunk/Toss/www/reference/Cw2.png
    trunk/Toss/www/reference/Cw3.png
    trunk/Toss/www/reference/Cwg.png
    trunk/Toss/www/reference/Pw0.png
    trunk/Toss/www/reference/Pw1.png

Property Changed:
----------------
    trunk/Toss/www/reference/

Modified: trunk/Toss/Arena/ContinuousRule.ml
===================================================================

--- trunk/Toss/Arena/ContinuousRule.ml	2012-05-12 20:29:37 UTC (rev 1707)
+++ trunk/Toss/Arena/ContinuousRule.ml	2012-05-12 22:02:53 UTC (rev 1708)
@@ -3,7 +3,7 @@
 let time_step = ref 0.1
 let get_time_step () = !time_step
 let set_time_step x = (time_step := x)
-let dIFFM = 20 (* So many differentiation steps for one time step. *)
+let dIFFM = 10 (* So many differentiation steps for one time step. *)
 
 
 (* ---------------- BASIC TYPE DEFINITION AND CONSTRUCTOR ------------------- *)

Modified: trunk/Toss/Makefile
===================================================================
--- trunk/Toss/Makefile	2012-05-12 20:29:37 UTC (rev 1707)
+++ trunk/Toss/Makefile	2012-05-12 22:02:53 UTC (rev 1708)
@@ -18,7 +18,7 @@
 	make -C Client alljsgz
 
 
-RELEASE=0.7
+RELEASE=0.8
 Release: TossServer doc
 	rm -f *~ MenhirLib/*~ Formula/*~ Solver/*~ Arena/*~ Play/*~ GGP/*~ \
 	  Learn/*~ Language/*~ Server/*~ www/*~ WebClient/~
@@ -138,7 +138,7 @@
 	$(OCAMLBUILD) -Is $($(subst /,INC,$(dir $@))) $@
 
 doc: $(EXTDEPS)
-	$(OCAMLBUILD) $(.INC) Toss.docdir/index.html
+	$(OCAMLBUILD) -Is $(.INC) Toss.docdir/index.html
 	make -C www code_doc_link
 
 

Modified: trunk/Toss/Toss.odocl
===================================================================
--- trunk/Toss/Toss.odocl	2012-05-12 20:29:37 UTC (rev 1707)
+++ trunk/Toss/Toss.odocl	2012-05-12 22:02:53 UTC (rev 1708)
@@ -30,7 +30,6 @@
 Arena/Arena
 Arena/ArenaParser
 Play/Heuristic
-Play/Move
 Play/GameTree
 Play/Play
 GGP/GDL
@@ -40,4 +39,3 @@
 GGP/GameSimpl
 Learn/Distinguish
 Learn/LearnGame
-Server/ReqHandler

Modified: trunk/Toss/examples/Cell-Cycle-Tyson-1991.toss
===================================================================
--- trunk/Toss/examples/Cell-Cycle-Tyson-1991.toss	2012-05-12 20:29:37 UTC (rev 1707)
+++ trunk/Toss/examples/Cell-Cycle-Tyson-1991.toss	2012-05-12 22:02:53 UTC (rev 1708)
@@ -57,7 +57,7 @@
 
 LOC 0 {
   PLAYER 1 { PAYOFF 0. MOVES [Move, 
-    t  : 9. -- 9.,
+    t  : 12. -- 12.,
     k1 : 0.015 -- 0.015,
     k3 : 200. -- 200.,
     k4p: 0.018 -- 0.018,
@@ -69,6 +69,10 @@
   PLAYER 2 { PAYOFF 0. }
   UNIVERSAL { k1, k3, k4p, k4, k6, k7, k8, k9 }
 } 
+LOC 1 {
+  PLAYER 1 { PAYOFF Sum (x | Cdc2CycP1P2(x) : :y(x)) }
+  PLAYER 2 { PAYOFF 0. }
+}
 START [ e1, e2, e3, e4, e5, e6 | Cyc(e1); CycP1(e2); Cdc2(e3); Cdc2P1(e4); 
                                  Cdc2CycP1(e5); Cdc2CycP1P2(e6) |
   x { e1->1, e2->2, e3->3, e4->4, e5->5, e6->6 }; 

Modified: trunk/Toss/www/Publications/all.bib
===================================================================
--- trunk/Toss/www/Publications/all.bib	2012-05-12 20:29:37 UTC (rev 1707)
+++ trunk/Toss/www/Publications/all.bib	2012-05-12 22:02:53 UTC (rev 1708)
@@ -4,6 +4,14 @@
 
 # TALKS
 
+@inproceedings{KCONSTRAINTES11,
+  author={Toss},
+  title={Quantitative Logics on Structure Rewriting Systems},
+  url = {/pub/contraintes_slides.pdf},
+  booktitle= {EPI Contraintes Seminar, INRIA Paris-Rocquencourt},
+  year={2012 Talk}
+}
+
 @inproceedings{KAAAI11,
   author={Toss},
   title={First Order Logic with Counting for General Game Playing},
@@ -129,6 +137,33 @@
 
 # ARTICLES
 
+@inproceedings{K12,
+     author = {\L{}ukasz Kaiser},
+     title = {Learning Games from Videos Guided by Descriptive Complexity},
+     year = {2012},
+     booktitle = {Proceedings of the 26th Conference on Artificial 
+                  Intelligence, AAAI-12, to appear},
+     publisher = {AAAI Press},
+     url  = {/pub/learning_games_descriptive_complexity.pdf},
+     abstract = {
+In recent years, several systems have been proposed that learn the rules
+of a simple card or board game solely from visual demonstration.
+These systems were constructed for specific games
+and rely on substantial background knowledge.
+We introduce a general system for learning board game rules from videos
+and demonstrate it on several well-known games. The presented algorithm
+requires only a few demonstrations and minimal background knowledge,
+and, having learned the rules, automatically derives position evaluation
+functions and can play the learned games competitively.
+Our main technique is based on descriptive complexity,
+the logical means necessary to define a set of interest. We compute formulas
+defining allowed moves and final positions in a game in different logics
+and select the most adequate ones. We show that this method is well-suited
+for board games and there is strong theoretical evidence that it
+will generalize to other problems.     
+}
+}
+
 @inproceedings{KS11transl,
      author = {\L{}ukasz Kaiser and \L{}ukasz Stafiniak},
      title = {Translating the Game Description Langauge to Toss},

Modified: trunk/Toss/www/contact.xml
===================================================================
--- trunk/Toss/www/contact.xml	2012-05-12 20:29:37 UTC (rev 1707)
+++ trunk/Toss/www/contact.xml	2012-05-12 22:02:53 UTC (rev 1708)
@@ -280,7 +280,6 @@
     <itemize>
       <item>Łukasz Kaiser (<mailto address="luk...@gm..."/>)</item>
       <item>Łukasz Stafiniak</item>
-      <item>Michał Wójcik</item>
     </itemize>
     <par>Friends who helped us a lot with discussion and code.</par>
     <itemize>
@@ -289,6 +288,7 @@
       <item>Diana Fischer</item>
       <item>Tobias Ganzow</item>
       <item>Simon Leßenich</item>
+      <item>Michał Wójcik</item>
     </itemize>
     <par>Yet another group of people, who worked on the oldest version of Toss
       (around 2004), was lead by:</par>

Modified: trunk/Toss/www/develop.xml
===================================================================
--- trunk/Toss/www/develop.xml	2012-05-12 20:29:37 UTC (rev 1707)
+++ trunk/Toss/www/develop.xml	2012-05-12 22:02:53 UTC (rev 1708)
@@ -262,8 +262,6 @@
 	<mailto address="luk...@gm..."/></item>
       <item>Łukasz Stafiniak:
 	<mailto address="luk...@gm..."/></item>
-      <item>Michał Wójcik:
-	<mailto address="mic...@gm..."/></item>
     </itemize>
   </section>
   <section title="Mit Toss Team Zusammenarbeiten" lang="de">
@@ -279,8 +277,6 @@
 	<mailto address="luk...@gm..."/></item>
       <item>Łukasz Stafiniak:
 	<mailto address="luk...@gm..."/></item>
-      <item>Michał Wójcik:
-	<mailto address="mic...@gm..."/></item>
     </itemize>
   </section>
   <section title="Praca z Nami" lang="pol">
@@ -296,11 +292,9 @@
 	<mailto address="luk...@gm..."/></item>
       <item>Łukasz Stafiniak:
 	<mailto address="luk...@gm..."/></item>
-      <item>Michał Wójcik:
-	<mailto address="mic...@gm..."/></item>
     </itemize>
   </section>
-  <section title="Travailler avec l'&#x00c9;quipe de Toss" lang="fr">
+  <section title="Travailler avec l'&#x00c9;quipe du Toss" lang="fr">
     <par>Si vous avez une idée, une demande, vous voulez devenir un développeur
       ou tout simplement voudrais parler, contactez-nous! Les développeurs
       Toss de plus engagés répondre aux questions Toss sur leur e-mails privés
@@ -313,8 +307,6 @@
 	<mailto address="luk...@gm..."/></item>
       <item>Łukasz Stafiniak:
 	<mailto address="luk...@gm..."/></item>
-      <item>Michał Wójcik:
-	<mailto address="mic...@gm..."/></item>
     </itemize>
   </section>
 

Modified: trunk/Toss/www/index.xml
===================================================================
--- trunk/Toss/www/index.xml	2012-05-12 20:29:37 UTC (rev 1707)
+++ trunk/Toss/www/index.xml	2012-05-12 22:02:53 UTC (rev 1708)
@@ -65,18 +65,22 @@
 
   <section title="News">
     <itemize>
+      <newsitem date="13/05/12">
+      Toss release 0.8 with full JS compatibility with dynamics</newsitem>
       <newsitem date="04/05/12">
+      Dynamics debugged and animations now work in the JS interface</newsitem>
+      <newsitem date="04/05/12">
       Old rewriting example works with the JS interface</newsitem>
       <newsitem date="25/04/12">
       Work on positioning with the JS interface</newsitem>
-      <newsitem date="30/03/12">
-      Adding Hnefatafl to example Toss games</newsitem>
-      <newsitem date="21/03/12">
-      Toss Client and website updated to a cleaned-up JS version</newsitem>
-      <newsitem date="09/03/12">
-      First completely working all-JS Toss version</newsitem>
-      <newsitem date="05/03/12">
-      Fully integrated OCaml and JS debugging and logs</newsitem>
+      <oldnewsitem date="30/03/12">
+      Adding Hnefatafl to example Toss games</oldnewsitem>
+      <oldnewsitem date="21/03/12">
+      Toss Client and website updated to a cleaned-up JS version</oldnewsitem>
+      <oldnewsitem date="09/03/12">
+      First completely working all-JS Toss version</oldnewsitem>
+      <oldnewsitem date="05/03/12">
+      Fully integrated OCaml and JS debugging and logs</oldnewsitem>
       <oldnewsitem date="27/02/12">
       Compiled resources to access files from JS</oldnewsitem>
       <oldnewsitem date="18/02/12">

Added: trunk/Toss/www/pub/contraintes_slides.pdf
===================================================================
--- trunk/Toss/www/pub/contraintes_slides.pdf	                        (rev 0)
+++ trunk/Toss/www/pub/contraintes_slides.pdf	2012-05-12 22:02:53 UTC (rev 1708)
@@ -0,0 +1,12989 @@
+%PDF-1.4
+%\xD0\xD4\xC5\xD8
+8 0 obj
+<< /S /GoTo /D (Outline0.1) >>
+endobj
+11 0 obj
+(Structure Rewriting Systems)
+endobj
+12 0 obj
+<< /S /GoTo /D (Outline0.1.1.3) >>
+endobj
+15 0 obj
+(Structure Transition Systems and Games)
+endobj
+16 0 obj
+<< /S /GoTo /D (Outline0.1.2.26) >>
+endobj
+19 0 obj
+(Separated Rules and Decidability)
+endobj
+20 0 obj
+<< /S /GoTo /D (Outline0.1.3.51) >>
+endobj
+23 0 obj
+(Simulation-Based Playing)
+endobj
+24 0 obj
+<< /S /GoTo /D (Outline0.1.4.66) >>
+endobj
+27 0 obj
+(Continuous Dynamics)
+endobj
+28 0 obj
+<< /S /GoTo /D (Outline0.2) >>
+endobj
+31 0 obj
+(Quantitative Logics)
+endobj
+32 0 obj
+<< /S /GoTo /D (Outline0.2.1.73) >>
+endobj
+35 0 obj
+(Standard -Calculus)
+endobj
+36 0 obj
+<< /S /GoTo /D (Outline0.2.2.92) >>
+endobj
+39 0 obj
+(Quantitative -Calculus)
+endobj
+40 0 obj
+<< /S /GoTo /D (Outline0.2.3.103) >>
+endobj
+43 0 obj
+(Model Checking on Linear Hybrid Systems)
+endobj
+44 0 obj
+<< /S /GoTo /D (Outline0.2.4.125) >>
+endobj
+47 0 obj
+(Model Checking on Increasing Tree Rewriting Systems)
+endobj
+48 0 obj
+<< /S /GoTo /D (Outline0.3) >>
+endobj
+51 0 obj
+(Summary)
+endobj
+52 0 obj
+<< /S /GoTo /D [53 0 R  /Fit ] >>
+endobj
+55 0 obj <<
+/Length 770       
+/Filter /FlateDecode
+>>
+stream
+x\xDA\xC5UKO1\xBE\xF3+|\xAAl\xA9k\xFC\xF6\xFAHy5\xB4E\x90\xA4\xE2@8\xAC\x92%X\x90\x8D\xD8\xFD\xF5\xDBP儢\xEC̎\xED\x99o\xBE\x99Y34G\xEF\xB0$\xC9Aރ\x85!iͥF\xC2
+ʅAu\x89\xAEwη}\x96\\x83\xDDZ\xA7\xA5\xBF\xCCs\xB4\xF1>\xFCD\xDCT\xA3@k\x84\x94\xD4\xE1s\xCF\xD4\xF3\xB8\x9EBij\x9CD\xD3\xC5f=UR\xAD\xCB\xF1DË\xEE?b}\xC7\xD3;e\xD8N\x803\x80\xEB7\x9AJ\xF5\x9C\x85\xE2\x94k\x83\x84\xA3,Ϸ\xB2x\xF2?\xAA"\x86^\xDF\xC6;\xBBG|+\xF0h_#\x9C0\x83\xB8Rr\x89\xC63t\x89\xCFI\xA6pWTD\xE3ַ1 \x97\xB8$\x99`\xFF$\x9C\xE3\xE5\x9C(\xEC\xA7M2-\xAB$G`l\xEBnJ2\x87\xBB\x9A\xB8\xF5\xA1!ɂ\x89W\xB5o}5_\xEF\xE7?\x86G\xD3B\x9Crѐ\xAB\xF1ɻ=
+YD~	YpG9\xA0\xCFdNsgS\xBE\xA8
+\x88\xBE\x8F\x880\xD87ӛ\xB2&Z\xE2\xAF\xC9:\x81GwHs\4\x92\xED\xBC\\xF8v \x87㍂\xAA5TDj\xAA\xAD\xB9\xBCbh\x8B'\xA1\xD4J\xA3Uܺ@\x86Q),\xA8wh\xE5I\xC4oB6\x86\xE690/-\xD5 #\xE6\xD9\xC8/"\xA1\xA0\xD7
+\x97imY\xF9\xE9\xCD\xD0G\xC0m[L\x98T\x95/n7hܠ\xCDRgY\x84\x90\xE5\xD0a\x90O& \xEE\x84_$Bo\xCAE\x94\x91\xB8\xE3\xB8\xEE\xAA\xD9]1/{t3\xA0)*\xC0\xC2pu\xBAdY\x87\xFE\xE9\xCF\x90j\x9D\xD70\xB2{\x9D \xF1\xF8{\xB2\xED\x85\xCDD\xA8d$8Π\xCCQetB\xD4\xFB\x86\xC9~l\xBB\xF6\xED\x90qWk\xB1\xEF\xE3\xFE\xAE\xFC\x8A\xC0\xE6\xB2nc\x9B\xF5..\xC0\xA9\xC3\xCAr:Z$\xC7+Xo\xFA\xE3Q&\xA8\xB56!R	\xD1\xCF\xC1\xDE\xB19\xDE\xEB\xFD\xEF\x9FGI\xFB\xF2\xF0\xA1\xE8ۉ\xD4<\x99\xCFB\xABo\x92\xE9\xC0\x82ӄ	\xFD\xEAn\xFBbY_\xF68\xE9\x8E:WO(\xB6\x92\xC0,̈P4W}\xBF\x9E
+\xD2\xEE&\x96q\xE2\xC3\xCC>\xAA\x81\xAAf=\xA8YO_ \xEDbA\xC1:8\xF6\x92
+h9\xA0\xF5M'}97\xF7]Y\xB9\xECB\x9B\xC8\xE8\xB0?)\xAF$\xF3\xF1k!}hc\xCA
+i\xE8oS\xB9\x84\x8B\x97\xA3F\x8D\xF5C%\xB8\xB0x7\x83\xB5\xF9/\xF0\xF8\xC9n\xBA\x97
+endstream
+endobj
+53 0 obj <<
+/Type /Page
+/Contents 55 0 R
+/Resources 54 0 R
+/MediaBox [0 0 362.835 272.126]
+
+/Trans << /S /R >>
+/Parent 62 0 R
+>> endobj
+56 0 obj <<
+/D [53 0 R /XYZ 10.839 272.126 null]
+>> endobj
+60 0 obj <<
+/D [53 0 R /XYZ 351.995 0 null]
+>> endobj
+61 0 obj <<
+/D [53 0 R /XYZ 351.995 0 null]
+>> endobj
+54 0 obj <<
+ /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R 
+/Font << /F90 57 0 R /F91 58 0 R /F94 59 0 R >>
+/ProcSet [ /PDF /Text ]
+>> endobj
+76 0 obj <<
+/Length 738       
+/Filter /FlateDecode
+>>
+stream
+x\xDA\xCDVMs\xD30\xBD\xF7W\xE8(\xAC\xEA\xDB\xF6\xB5
+Lh\x92[\xE1\xA0:n\xF0\xBB\xE0\xD8t\xFA\xEFYI\xB6\x938n	\xB6䕴\xEF\xEDӮd\x86V\x88\xA1\x8B6j9\xB4\xDAo`aHA\xA9\x91\x88\xE5 :G\xB7'W\x8B\xFEUۓ=\xA7\x85'\xCE+\xB4\xF7={>T#'\x97\x87
+\xDDٖ\xDDVR\xEE\x87\xDC[(MM*QV\xEE\xEBl\xA8\x92\xAA\x97yo\xD2\xFD\xB4\xF5lqr\xFA*E\xA52-nQB5SHhA\x8D\x94h\xB1D\xD7\xF8=\x89\xB8\xC0\xDF	\x978\xAFI$\xA0_\xE4D\xE2{\xF2i\xF1\xF6'\xE1<\xC2f$\xC9\xCB\xC5-g[\x8A\x84Ԕ\xA5\x89\xB9\x8C1ʄ\x8E\xD3\xDDnV\xA2aF\xB4c\x8FFs\xDCF\x95'\xD2u=\xCDne\xED\xE0\xE20\x9A\xB2\x94;qzr,\xA1ܫ3'
+7u\x9B\x81H7mMR\x9C\x83H,\xC63\x81bN\xA8\xBAh\x8Aj\xACsb>\xB8צ!\xE7\xE5&\xC88\x92\xA0\xF9\xB4\xA1\xD2( *\xA9Vi-{h\xE9\xA19\xF3\xD8\xE0{A\x94\xC65\xD1\xD8V