[r1813]: / trunk / Toss / www / index.xml  Maximize  Restore  History

Download this file

215 lines (206 with data), 9.8 kB

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE course SYSTEM "xsl/xhtml1-lat1.ent">
<?xml-stylesheet type="text/xsl" href="xsl/main.xsl" charset="UTF-8"?>
<personal>
<title>Toss</title>
<history>
<link href="/index.html" id="Home"></link>
</history>
<section title="About">
<par>Toss is a program which allows to explore the use of logic and terms
in various models. On the static side, you can <a href="eval.html">draw
graphs and check their properties</a>, axioms and reductions. Then, on
the dynamic side, you can model multi-player games with both discrete and
continuous dynamics. You can play the games, generate strategies
automatically and analyse possible behaviours with respect to various
logic formulas.
For example, did you ever wonder how your favorite game would feel if
you removed the middle of the board? With Toss, it is easy to experiment!
</par>
</section>
<games-section>
<game-div>
<game-link game="Pawn-Whopping"/>
<game-link game="Connect4"/>
<game-link game="Breakthrough"/>
</game-div>
<game-div>
<game-link game="Tic-Tac-Toe"/>
<game-link game="Checkers"/>
<game-link game="Gomoku"/>
</game-div>
</games-section>
<section title="News">
<itemize>
<newsitem date="08/12/12">
Support for constants in formulas, structures, solver,
and reductions</newsitem>
<newsitem date="29/11/12">
Bash interface to reduction finding functions</newsitem>
<newsitem date="19/11/12">
First JS interface to <a href="reduct.html">Reduction
Finder</a></newsitem>
<newsitem date="10/11/12">
Debugging and extending reduction finder</newsitem>
<newsitem date="08/11/12">
First interface to our <a href="vision.html">Vision
Explorer</a> (Chrome only for now)</newsitem>
<newsitem date="04/11/12">
Two variants of the Canny edge detection algorithm in Toss</newsitem>
<newsitem date="29/10/12">
Starting OCaml vision algorithms work, matrix syntax extension</newsitem>
<newsitem date="24/10/12">
First interface to the <a href="term.html">Terms and Types
Explorer</a></newsitem>
<newsitem date="28/09/12">
Separating relational structure explorer and reduction finder</newsitem>
<oldnewsitem date="20/09/12">
Replacing rewriting with isa-match further unifies terms
and types</oldnewsitem>
<oldnewsitem date="17/09/12">
Removing MSO from formulas, only full SO syntax remains</oldnewsitem>
<oldnewsitem date="12/09/12">
Extending and improving the new type system and library</oldnewsitem>
<oldnewsitem date="05/09/12">
New term parsing and rewriting library based on new type
system</oldnewsitem>
<oldnewsitem date="31/08/12">
Optional upper bounds for type variables, parsing preferences now
encoded in type system</oldnewsitem>
<oldnewsitem date="30/08/12">
Basic SAT-solver implemented using Diagrams and hash-consing</oldnewsitem>
<oldnewsitem date="21/08/12">
Replacing MGU with GLB+LUB gives more general term
unification</oldnewsitem>
<oldnewsitem date="11/08/12">
HashCons module for hash-consed types tested on Diagrams</oldnewsitem>
<oldnewsitem date="09/08/12">
Merging terms and types internally opens new possibilities</oldnewsitem>
<oldnewsitem date="30/07/12">
Allowing imperative rule syntax, porting Tic-Tac-Toe</oldnewsitem>
<oldnewsitem date="21/07/12">
Extended relational structure explorer, reduction finding
stubs</oldnewsitem>
<oldnewsitem date="15/07/12">
New representation in Term and ISA-matching</oldnewsitem>
<oldnewsitem date="04/07/12">
First version of the <a href="eval.html">Relational Structures
Explorer</a> with SO finding</oldnewsitem>
<oldnewsitem date="27/06/12">
Second-order (SO) evaluation by reduction to QBF</oldnewsitem>
<oldnewsitem date="25/06/12">
Full support for Unicode in formulas</oldnewsitem>
<oldnewsitem date="07/06/12">
Switching to a new ODE solver which uses
the Cash-Karp method</oldnewsitem>
<oldnewsitem date="02/06/12">
Starting work on an interface for structures and formula
evaluation</oldnewsitem>
<oldnewsitem date="27/05/12">
First structures defined using the term rewriting system
syntax</oldnewsitem>
<oldnewsitem date="24/05/12">
Code for Term functions cleaned up and made JS compatible</oldnewsitem>
<oldnewsitem date="13/05/12">
Toss release 0.8 with full JS compatibility with dynamics</oldnewsitem>
<oldnewsitem date="04/05/12">
Dynamics debugged and animations now work in the JS interface</oldnewsitem>
<oldnewsitem date="04/05/12">
Old rewriting example works with the JS interface</oldnewsitem>
<oldnewsitem date="25/04/12">
Work on positioning with the JS interface</oldnewsitem>
<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">
Integrating OCaml and JS unit tests</oldnewsitem>
<oldnewsitem date="11/02/12">
Starting systematic unit tests of JS interface</oldnewsitem>
<oldnewsitem date="06/02/12">
Toss release 0.7 with many improvements</oldnewsitem>
<oldnewsitem date="04/02/12">
Definitions use play history: new Chess toss file</oldnewsitem>
<oldnewsitem date="02/02/12">
Improved stand-alone JS interface with menhirLib</oldnewsitem>
<oldnewsitem date="31/01/12">
First stand-alone JS interface (with js_of_ocaml)</oldnewsitem>
<oldnewsitem date="22/01/12">
Learning Connect4 and Gomoku from videos</oldnewsitem>
<oldnewsitem date="21/01/12">
Learning Breakthrough and Pawn-Whopping videos</oldnewsitem>
<oldnewsitem date="17/01/12">
Integrating game learning logic and video stuff</oldnewsitem>
<oldnewsitem date="06/01/12">
Parametrized grid detection for video</oldnewsitem>
<oldnewsitem date="28/12/11">
Game video recognition improved with Hough lines</oldnewsitem>
<oldnewsitem date="10/12/11">
Starting work on game recognition from video</oldnewsitem>
<oldnewsitem date="24/10/11">
Learning games from examples in web interface</oldnewsitem>
<oldnewsitem date="19/10/11">
Games learning engine and first buttons in the UI</oldnewsitem>
<oldnewsitem date="14/09/11">
Simple editing of games added to web interface</oldnewsitem>
<oldnewsitem date="31/07/11">
Store date and time of moves in games</oldnewsitem>
<oldnewsitem date="30/07/11">
Corrected opponent lists in the Profile tab</oldnewsitem>
<oldnewsitem date="03/07/11">
Added game descriptions viewable when playing</oldnewsitem>
<oldnewsitem date="30/06/11">
View previous moves in a play</oldnewsitem>
<oldnewsitem date="27/06/11">
Tabs and searching opponents in the profile page</oldnewsitem>
<oldnewsitem date="22/06/11">
Better organized lists of plays</oldnewsitem>
<oldnewsitem date="19/06/11">
News section on the front page of tPlay</oldnewsitem>
<oldnewsitem date="15/06/11">
Bug with underscores in user names corrected</oldnewsitem>
<oldnewsitem date="10/06/11">
New register site handles forgotten passwords</oldnewsitem>
<oldnewsitem date="05/06/11">
Pre-caching client states improves response times</oldnewsitem>
<oldnewsitem date="03/06/11">
Corrected tPlay 1.1 app accepted on App Store</oldnewsitem>
<oldnewsitem date="30/05/11">
Large restructuring of JavaScript code finished</oldnewsitem>
<oldnewsitem date="24/05/11">
Breakthrough generation from examples in SVN</oldnewsitem>
<oldnewsitem date="23/05/11">
First tPlay application accepted on App Store</oldnewsitem>
</itemize>
<show-old-news-button />
</section>
<section title="Create New Games">
<par>First <a href="eval.html">explore relational structures</a> and then
go to the <a href="create.html">create games</a> page to learn
how to build new games with Toss.</par>
</section>
<section title="Toss Features">
<par>Games in Toss are defined as mathematical structures and moves
by structure rewriting rules. Payoffs are given by formulas of monadic
second-order logic with real values.</par>
<itemize>
<item><em>Structures</em> can have an arbitrary number of relations of
any arity and additional real-valued functions
(<a href="eval.html">explore</a>).</item>
<item><em>Rules</em> work by matching arbitrary left-hand side structures
and replacing them with the right-hand side structure.</item>
<item><em>Logic</em> is used for rule constraints and payoffs. We support
full monadic second-order logic with additional real arithmetic.</item>
<item><em>Solver</em> in Toss is optimized: it does quantifier elimination
and formula decomposition (<a href="eval.html">test</a>).</item>
<item><em>Continuous dynamics</em> can be specified using ODEs.
This allows for example to simulate movements and collisions.</item>
</itemize>
</section>
</personal>