147 projects tagged "Artificial Intelligence"
Updated 18 Oct 2005
2DPathfinder
| Pop | 51.50 |
|---|---|
| Vit | 1.43 |
2DPathfinder is a very fast C library that performs A-Star pathfinding in 2d maps. It's highly portable and easy to use.
Updated 11 Apr 2011
ACL2
| Pop | 87.91 |
|---|---|
| Vit | 5.65 |
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Updated 19 Jan 2007
ACT-RBOT + MRS
| Pop | 36.81 |
|---|---|
| Vit | 2.06 |
ACT-RBOT + MRS is a cognitive agent-based social simulation toolkit (RBOT+MRS) and production system based on ACT-R for modelling single actor cognitive experiments (RBOT) and multiple actors in a simulated (semiotic) world (RBOT + MRS).
Updated 19 Jan 2012
AceWiki
| Pop | 82.16 |
|---|---|
| Vit | 7.67 |
AceWiki is a semantic wiki that is powerful and at the same time easy to use. Making use of the controlled natural language ACE, the formal statements of the wiki are shown in a way that looks like natural English. In order to help the users to write correct ACE sentences, AceWiki provides a predictive editor.
Updated 07 Jun 2001
Achilles
| Pop | 98.01 |
|---|---|
| Vit | 1.80 |
Achilles is a simulation of Darwinian evolution in a virtual world composed of virtual organisms. It uses Hebbian neural networks, and an extremely simplified physics model that allows virtual organisms to interact freely in the simulated environment.
Updated 22 Dec 2010
Algorithm::Evolutionary
| Pop | 42.91 |
|---|---|
| Vit | 3.82 |
Algorithm::Evolutionary is a flexible set of classes for doing evolutionary computation in Perl, integrated with XML for evolutionary algorithm description. So far, it contains classes for doing string, tree, and vector array-based evolutionary computation, several variation operators, and simple population-level algorithms. It has been distributed algorithms using SOAP, and integrated with the DBI and HTML::Mason libraries. It contains an XML dialect for definition of evolutionary algorithms, called EvoSpec; experiments defined using Algorithm::Evolutionary can be completely serialized/deserialized using this language.
Updated 21 Feb 2008
Amiba
| Pop | 12.33 |
|---|---|
| Vit | 43.75 |
Amiba is a Gene Expression Programming (GEP) framework for Java. GEP is, like genetic algorithms, a branch of evolutionary computing. The framework separates the process of evolution from the process of interpretation of the chromosome, allowing the use of various schemes. For example, graphs may be used as terminals and graph operations as operators in the chromosome instead of the usual double precision numbers. It implements mutation, transposition, and recombination. Options and rates are easily configured through an XML file. A mechanism to load fitness cases in bulk is also provided.
Updated 28 May 2011
Augmented Syntax Diagrams
| Pop | 31.94 |
|---|---|
| Vit | 39.60 |
Augmented Syntax Diagrams (ASDs) provide a way to represent grammars of natural languages as directed graphs. Nodes represent instances (or usages) of words and phrase types in a language such as English. Edges link nodes together to indicate how instances of words and phrase types can follow one another to make up phrases, clauses, and sentences in the language.
Updated 12 Feb 2004
BEAGLE Puppy
| Pop | 24.74 |
|---|---|
| Vit | 1.00 |
BEAGLE Puppy is a C++ library for genetic programming. It is a stripped-down version of Open BEAGLE evolutionary computations framework.
Updated 31 Oct 2004
BEAGLE Visualizer
| Pop | 22.25 |
|---|---|
| Vit | 1.43 |
BEAGLE Visualizer is a set of tools to visualize and analyse XML outputs given by Open BEAGLE. It generates structured HTML reports with SVG figures and data arranged in CSV files.
