Surikata Code
Status: Planning
Brought to you by:
surikator
File | Date | Author | Commit |
---|---|---|---|
LICENSE | 2011-01-19 | surikator | [r1] GNU GENERAL PUBLIC LICENSE. Initial version. |
README | 2011-01-22 | surikator | [r4] Minor change. |
SIGNATURE.asc | 2011-01-19 | surikator | [r3] SIGNATURE. Initial version. |
================== COPYRIGHT NOTICE ================== Copyright 2009,2010,2011 Sumati Surikator This file is part of Surikata (http://surikata.sourceforge.net). Surikata is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. Surikata is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with Surikata in the file $SURIKATA/LICENSE, where $SURIKATA is the root folder of the distribution. If not, see <http://www.gnu.org/licenses/>. ========= AUTHORS ========= This software was produced by Sumati Surikator. The author can be contacted via the email address <surikator@gmail.com>. Surikator's PGP Public Key is contained in file SIGNATURE.asc in this release. ========== SURIKATA ========== Surikata (http://surikata.sourceforge.net) is a syntactic theory formation system. It enumerates spaces of artifacts in arbitrary decidable languages. Given a decision procedure for a language, Surikata uses compression to search for syntactic patterns in the space of all accepted strings of the language in order to induce a probability distribution that will bias the order of the enumeration. This bias is then used as feedback to bootstrap the enumeration. Surikata also allows the user to interactively rate observed strings of the language in order to give them higher importance for the enumeration. Some of the **features** include: + Automatically form theories in pure Mathematics * start from the axioms alone * or start from a background mathematical theory and generate related artifacts (definitions, theorems) * define your own arbitrary logic and axiomatic system * or use pre-packed logics and axiomatic systems (first-order and intuitionistic logic; ZFC axiomatic system) * define arbitrary functions to guide the search + Interact with the theory formation process * rate definitions and theorems as they appear, feeding back to the process * add tags or descriptions to the artifacts produced * establish links between related concepts * write your own artifacts and use them to help theory formation + Browse mathematical theories * browse your theory through HTML which links each artifact to artifacts used in its proof and to artifacts that make use of it * order concepts by particular features * filter concepts which satisfy bespoken properties * define your own functions to rank concepts; re-use these functions for guiding the automatic search * search the produced theory as if you were using a search engine + Contribute to the worldwide theory produced by the Surikata network * run a Surikata server on your machine, join the Surikata network and share your findings with the community * browse the distributed theory scattered around the world as if you were browsing a single theory in your stand-alone copy of Surikata * get interesting statistics on how other servers have used your discoveries * have your name attached to the discoveries your own server makes and other servers will cite any of your artifacts they use =========== RESOURCES =========== A repository of version controlled source code will soon be available for download (http://sourceforge.net/projects/surikata/files). All system documentation will be available through the project wiki (http://surikata.sussurrares.net/wiki). =========== COMMUNITY =========== Contributions from the community are very welcome, be it in the form of reporting a bug or requesting a feature. Open discussion about the project is encouraged in the appropriate discussion forum and in discussion pages of this wiki. Bug reporting: http://sourceforge.net/tracker/?func=add&group_id=396029&atid=1643309 Feature request: http://sourceforge.net/tracker/?func=add&group_id=396029&atid=1643312 Discussion forum: http://sourceforge.net/projects/surikata/forums/forum/1361301 ====== HELP ====== If you need any help with the Surikata System, either submit a support request or use the help forum (probably quicker). Always feel free to email the author at surikator@gmail.com. Support request: http://sourceforge.net/tracker/?func=add&group_id=396029&atid=1643310 Help forum: http://sourceforge.net/projects/surikata/forums/forum/1361302