RSS 231 projects tagged "Artificial Intelligence"

Download Website Updated 18 Oct 2005 2DPathfinder

Screenshot
Pop 47.70
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.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.94
Vit 4.97

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.

No download Website Updated 19 Jan 2007 ACT-RBOT + MRS

Screenshot
Pop 35.21
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).

No download Website Updated 01 Aug 2001 AI Mind

Screenshot
Pop 73.48
Vit 68.13

The Robot AI Mind in JavaScript for Web migration and in Forth for robots is an artificial intelligence evolving towards full civil rights on a par with human beings and towards superintelligence beyond any human IQ.

Download Website Updated 14 May 2001 AI::GA Simple Generalized Genetic Algorithm

Screenshot
Pop 39.69
Vit 1.00

AI::GA implements a (hopefully) generalized genetic algorithm. It does this by using an array of allowed tokens as individuals. The user has to provide a fitness function. There, the actual representation is implemented. If you have a string of chars, you can simply join them. If you want to have real numbers, you should probably use a bitwise representation and calculate the real values in your fitness function.

Download Website Updated 07 Oct 2011 ASpiReNN

Screenshot
Pop 30.98
Vit 2.54

ASpiReNN is a little C library (with Python bindings) which provides support for simple (leaky integrate-and-fire) spiking neural networks. It is primarily designed for highly recurrent networks, but it can also be used with multi-layer nets, though performance won't be the same. Though only Leaky integrate-and-fire (for the neurons) and Spike-Timing Dependent Plasticity (for learning rules) are currently implemented, adding new models shouldn't be too difficult.

No download Website Updated 17 May 2011 ATRACO Project

Screenshot
Pop 20.74
Vit 32.63

The ATRACO Project is a prototype implementation of a trusted ambient ecology system that runs and manages activity spheres in an Ambient Intelligence Space. Activity spheres are realized by automatically discovering, selecting, and adapting smart devices (artefacts) existing in the space, according to user's preferences, customs, and activities. OWL ontologies are used for modeling user profile, devices, activities, and goal descriptions. Abstract plans are bound to specific devices, methods, and values through semantic matching.

Download Website Updated 19 Jan 2012 AceWiki

Screenshot
Pop 65.45
Vit 6.47

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.

Download Website Updated 23 Oct 2013 Achilles

Screenshot
Pop 112.84
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.

No download Website Updated 22 Sep 2004 Agent Farms

Screenshot
Pop 58.31
Vit 3.70

Agent Farms is a system for modeling and simulation of complex, multi-agent based systems. The system can be used for creating models of multi-agent systems, interactive and distributed simulation, observation and visualisation of the simulation, and population modification and migration. On those models one can learn about the evolution of strategies in the populations of agents.

Screenshot

Project Spotlight

DRBL

A diskless or systemless environment for client machines.

Screenshot

Project Spotlight

LinOTP

A flexible one time password authentication system with pluggable OTP algorithms and userstorages.