diff --git a/LDP/howto/linuxdoc/AI-Alife-HOWTO.sgml b/LDP/howto/linuxdoc/AI-Alife-HOWTO.sgml
index e483fece..1f1e8fb4 100644
--- a/LDP/howto/linuxdoc/AI-Alife-HOWTO.sgml
+++ b/LDP/howto/linuxdoc/AI-Alife-HOWTO.sgml
@@ -52,6 +52,24 @@ GNU/Linux specifically in mind.
+ v2.4 (under dev) -
+
+ New entries: , , ,
+ , , ,
+ , , ,
+ , , ,
+ , , ,
+ , , ,
+ , and .
+
+ I chopped the Agents section into two sub-sections, one for and one for . I
+ play it a bit fast and loose in my deciding what goes into each category,
+ but it is an improvement.
+
+ MIA found! the cellular automata programming system.
+ Fixed a few bad links.
+
v2.3 -
New entries: , , ,
@@ -64,9 +82,9 @@ GNU/Linux specifically in mind.
, ,
and others.
- I also changed the MIA section to which now groups
- into subsections entries with bad links that I can't find replacements for
- and long dead projects.
+ I also changed the MIA section to which now
+ groups into subsections entries with bad links that I can't find
+ replacements for and long dead projects.
v2.2 -
@@ -221,7 +239,7 @@ LICENSE
AI class/code libraries
-
+
These are libraries of code or classes for use in programming within
the artificial intelligence field. They are not meant as stand alone
@@ -326,8 +344,6 @@ LICENSE
of chess applications. The main purpose of the CIL project is
to get AI researchers interested in using Lisp to work in the
chess domain.
-
-
+
+ LingPipe is a state-of-the-art suite of natural language processing
+ tools written in Java that performs tokenization, sentence detection,
+ named entity detection, coreference resolution, classification,
+ clustering, part-of-speech tagging, general chunking, fuzzy dictionary
+ matching.
+
+
+
+
+ Web site:
+
+
+ Logfun is a library of logic functors. A logic functor is a
+ function that can be applied to zero, one or several logics so as
+ to produce a new logic as a combination of argument logics. Each
+ argument logic can itself be built by combination of logic
+ functors. The signature of a logic is made of a parser and a
+ printer of formulas, logical operations such as a theorem prover
+ for entailment between formulas, and more specific operations
+ required by Logical Information Systems (LIS). Logic functors can
+ be concrete domains like integers, strings, or algebraic
+ combinators like product or sum of logics.
+
+ Logic functors are coded as Objective Caml modules. A logic
+ semantics is associated to each of these logic functors. This
+ enables to define properties of logics like the consistency and
+ completeness of the entailment prover, and to prove under which
+ conditions a generated entailement prover satisfies these
+ properties given the properties of argument logics.
+
+
@@ -533,6 +589,17 @@ LICENSE
this directory for release info.
+
+
+ Web site:
+
+
+ Reverned is a general purpose Bayesian classifier written in Python. It
+ is designed to be easily extended to any application domain.
+
+
@@ -559,6 +626,42 @@ LICENSE
extensions to Common Lisp such as CLOS, CLIM and Iterate.
+
+
+ Web site:
+
+
+ The machine learning toolbox's focus is on large scale kernel methods
+ and especially on Support Vector Machines (SVM) [1]. It provides a
+ generic SVM object interfacing to several different SVM
+ implementations, among them the state of the art LibSVM [2] and
+ SVMLight [3]. Each of the SVMs can be combined with a variety of
+ kernels. The toolbox not only provides efficient implementations of the
+ most common kernels, like the Linear, Polynomial, Gaussian and Sigmoid
+ Kernel but also comes with a number of recent string kernels as e.g.
+ the Locality Improved [4], Fischer [5], TOP [6], Spectrum [7], Weighted
+ Degree Kernel (with shifts) [8] [9] [10]. For the latter the efficient
+ LINADD [10] optimizations are implemented. Also SHOGUN offers the
+ freedom of working with custom pre-computed kernels. One of its key
+ features is the combined kernel which can be constructed by a weighted
+ linear combination of a number of sub-kernels, each of which not
+ necessarily working on the same domain. An optimal sub-kernel weighting
+ can be learned using Multiple Kernel Learning [11] [12] [16]. Currently
+ SVM 2-class classification and regression problems can be dealt with.
+ However SHOGUN also implements a number of linear methods like Linear
+ Discriminant Analysis (LDA), Linear Programming Machine (LPM), (Kernel)
+ Perceptrons and features algorithms to train hidden markov models. The
+ input feature-objects can be dense, sparse or strings and of type
+ int/short/double/char and can be converted into different feature
+ types. Chains of preprocessors (e.g. substracting the mean) can be
+ attached to each feature object allowing for on-the-fly pre-processing.
+
+ SHOGUN is implemented in C++ and interfaces to Matlab(tm), R, Octave
+ and Python.
+
+
@@ -728,6 +831,39 @@ LICENSE
found in languages such as C, Pascal, Ada, and LISP.
+
+
+ Web site:
+ Web site:
+
+
+ The E Equational Theorem Prover is a purely equational theorem prover.
+ The core proof procedure operates on formulas in clause normal form,
+ using a calculus that combines superposition (with selection of negative
+ literals) and rewriting. No special rules for non-equational literals
+ have been implemented, i.e., resolution is simulated via paramodulation
+ and equality resolution. The basic calculus is extended with rules for AC
+ redundancy elemination, some contextual simplification, and
+ pseudo-splitting. The latest version of E also supports simultaneous
+ paramodulation, either for all inferences or for selected inferences.
+
+ E is based on the DISCOUNT-loop variant of the given-clause algorithm,
+ i.e. a strict separation of active and passive facts. Proof search in E
+ is primarily controlled by a literal selection strategy, a clause
+ evaluation heuristic, and a simplification ordering. The prover supports
+ a large number of preprogrammed literal selection strategies, many of
+ which are only experimental. Clause evaluation heuristics can be
+ constructed on the fly by combining various parameterized primitive
+ evaluation functions, or can be selected from a set of predefined
+ heuristics. Supported term orderings are several parameterized instances
+ of Knuth-Bendix-Ordering (KBO) and Lexicographic Path Ordering (LPO).
+
+
@@ -780,7 +916,30 @@ LICENSE
rich knowledge of English syntax. SURGE can also be used as a platform
for exploration of grammar writing with a generation perspective.
-
+
+
+
+ Web site:
+ Alt site:
+
+
+ GATE (General Architecture for Text Engineering) is an architecture,
+ framework and development environment for developing, evaluating and
+ embedding Human Language Technology.
+
+ GATE is made up of three elements:
+
+ An architecture describing how language processing systems are
+ made up of components.
+ A framework (or class library, or SDK), written in Java and
+ tested on Linux, Windoze and Solaris.
+ A graphical development environment built on the framework.
+
+
+
@@ -883,6 +1042,20 @@ LICENSE
objects.
+
+
+ Web site:
+
+
+ Livingstone2 (L2) is a reusable artificial intelligence (AI) software
+ system designed to assist spacecraft, life support systems, chemical
+ plants or other complex systems in operating robustly with minimal
+ human supervision, even in the face of hardware failures or unexpected
+ events.
+
+
@@ -1097,7 +1270,6 @@ LICENSE
Web site:
-
This software implements flexible Bayesian models for regression
and classification applications that are based on multilayer
perceptron neural networks or on Gaussian processes. The
@@ -1241,6 +1413,34 @@ LICENSE
applications from a variety of well-known application domains.
+
+
+ Web site:
+ Web site:
+
+
+ Many neuroevolution methods evolve fixed-topology networks. Some
+ methods evolve topologies in addition to weights, but these usually
+ have a bound on the complexity of networks that can be evolved and
+ begin evolution with random topologies. This project is based on a
+ neuroevolution method called NeuroEvolution of Augmenting Topologies
+ (NEAT) that can evolve networks of unbounded complexity from a minimal
+ starting point.
+
+ The research as a broader goal of showing that evolving topologies is
+ necessary to achieve 3 major goals of neuroevolution: (1) Continual
+ coevolution: Successful competitive coevolution can use the evolution
+ of topologies to continuously elaborate strategies. (2) Evolution of
+ Adaptive Networks: The evolution of topologies allows neuroevolution to
+ evolve adaptive networks with plastic synapses by designating which
+ connections should be adaptive and in what ways. (3) Combining Expert
+ Networks: Separate expert neural networks can be fused through the
+ evolution of connecting neurons between them.
+
+
@@ -2572,6 +2772,38 @@ LICENSE
independently on the map for implementing agent behavior.
+
+
+ Web site:
+
+
+ The Cellular automata programming system consists of a compiler for the
+ Cellang cellular automata programming language, along with the
+ corresponding documentation, viewer, and various tools. Postscript
+ versions of the tutorial and language reference manual are available for
+ those wanting more detailed information. The most important
+ distinguishing features of Cellang, include support for:
+
+
+ any number of dimensions;
+ compile time specification of each dimensions size;
+ cell neighborhoods of any size (though bounded at compile time)
+ and shape;
+ positional and time dependent neighborhoods;
+ associating multiple values (fields), including arrays,
+ with each cell;
+ associating a potentially unbounded number of mobile
+ agents [ Agents are mobile entities based on a mechanism of
+ the same name in the Creatures system, developed by Ian
+ Stephenson (ian@ohm.york.ac.uk).] with each cell; and
+ local interactions only, since it is impossible to
+ construct automata that contain any global control or
+ references to global variables.
+
+
+
@@ -2623,7 +2855,7 @@ LICENSE
MASON Stands for Multi-Agent Simulator Of Neighborhoods... or
Networks... or something...
- MASON is a fast discrete-event multiagent simulation library core in
+ MASON is a fast discrete-event multi-agent simulation library core in
Java, designed to be the foundation for large custom-purpose Java
simulations, and also to provide more than enough functionality for
many lightweight simulation needs. MASON contains both a model library
@@ -2667,7 +2899,7 @@ LICENSE
demos and good documentation.
-
+
@@ -2700,8 +2932,7 @@ LICENSE
Web site:
+ url="http://ant-wars.net/">
Ant Wars is a competition which pits clever programs against each
@@ -2725,9 +2956,9 @@ LICENSE
name="dllab.caltech.edu/avida/">
- The computer program avida is an auto-adaptive genetic system designed
- primarily for use as a platform in Artificial Life research. The avida
- system is based on concepts similar to those employed by the tierra
+ The computer program Avida is an auto-adaptive genetic system designed
+ primarily for use as a platform in Artificial Life research. The Avida
+ system is based on concepts similar to those employed by the Tierra
program, that is to say it is a population of self-reproducing strings
with a Turing-complete genetic basis subjected to Poisson-random
mutations. The population adapts to the combination of an intrinsic
@@ -2746,10 +2977,10 @@ LICENSE
name="www.spiderland.org/breve/">
- breve is a free software package which makes it easy to build 3D
+ Breve is a free software package which makes it easy to build 3D
simulations of decentralized systems and artificial life. Users define
the behaviors of agents in a 3D world and observe how they interact.
- breve includes physical simulation and collision detection so you can
+ Breve includes physical simulation and collision detection so you can
simulate realistic creatures, and an OpenGL display engine so you can
visualize your simulated worlds.
@@ -2807,8 +3038,7 @@ LICENSE
appropriate medicines.
-
-
+ FTP site:
-
dblife: Sources for a fancy Game of Life program for X11
(and curses). It is not meant to be incredibly fast (use xlife for
that:-). But it IS meant to allow the easy editing and viewing of
Life objects and has some powerful features. The related dblifelib
package is a library of Life objects to use with the program.
-
dblifelib: This is a library of interesting Life objects,
including oscillators, spaceships, puffers, and other weird things.
The related dblife package contains a Life program which can read the
objects in the Library.
-
@@ -2839,7 +3066,6 @@ LICENSE
name="www.cscs.umich.edu/Software/Drone/">
-
Drone is a tool for automatically running batch jobs of a simulation
program. It allows sweeps over arbitrary sets of parameters, as well
as multiple runs for each parameter set, with a separate random seed
@@ -2858,7 +3084,6 @@ LICENSE
url="http://parallel.hpc.unsw.edu.au/rks/ecolab/"
name="parallel.hpc.unsw.edu.au/rks/ecolab/">
-
EcoLab is a system that implements an abstract ecology model. It
is written as a set of Tcl/Tk commands so that the model
@@ -2866,6 +3091,40 @@ LICENSE
a script. The model itself is written in C++.
+
+
+ Web site:
+
+
+ Framsticks is a three-dimensional life simulation project. Both
+ mechanical structures ("bodies") and control systems ("brains") of
+ creatures are modeled. It is possible to design various kinds of
+ experiments, including simple optimization (by evolutionary
+ algorithms), co-evolution, open-ended and spontaneous evolution,
+ distinct gene pools and populations, diverse genotype/phenotype
+ mappings, and species/ecosystems modeling.
+
+
+
+
+ Web site:
+ Web site:
+
+
+ Evolutionary based alife platform. Has a game like feel which makes it
+ fun while still allowing for some interesting experimentation.
+
+ It takes a minimalist approach to spatial structure to make a body,
+ adds articulation in the form of muscles, and then lets evolution take
+ over to see if these bodies can learn to walk, run, crawl, or slither
+ from one place to the other.
+
+
@@ -2906,7 +3165,7 @@ LICENSE
This program is similiar to "Conway's Game of Life" but yet it is very
different. It takes "Conway's Game of Life" and applies it to a society
(human society). This means there is a very different (and much larger)
- ruleset than in the original game. Things need to be taken into account
+ rule set than in the original game. Things need to be taken into account
such as the terrain, age, sex, culture, movement, etc
@@ -2978,10 +3237,28 @@ LICENSE
Matrem is a computer program that simulates life. It belongs to the
emerging science of "artificial life", which studies evolution and
complex systems in general by simulation. Matrem is also a game, where
- players compete to create the fittest lifeform. Their efforts are the
+ players compete to create the fittest life form. Their efforts are the
driving force behind the program.
+
+
+ Web site:
+
+
+ Nanopond is a "corewar style" evolvable instruction set based virtual
+ machine written in C. It is similar in design to Tierra and Avida but
+ considerably smaller and simpler. Version 1.0 weights in at only 840
+ lines of C code, the majority of which are comments! It is very highly
+ optimized and supports simple color visualization using the SDL (Simple
+ Directmedia Layer) library.
+
+ More information can be learned by reading the Nanopond source code,
+ which is very well commented.
+
+
@@ -2996,9 +3273,44 @@ LICENSE
intended as a palette for open source development. It provides a stable
means of simulating large scale environments and cognitive processes.
- For MacOS Classic and X, with Java, Windows and Linux(Motif) versions
- in beta. Features a non-polygonal graphics engine (Ocelot) and a
- command-line version
+ It features a number of autonomous simulation components including a
+ landscape simulation, biological simulation, weather simulation,
+ sentient creature (Noble Ape) simulation and a simple intelligent-agent
+ scripting language (ApeScript).
+
+ The code is currently (2007) used by Apple Inc and by INTEL for
+ processor optimization and performance tuning. Apple includes it with
+ their CHUD performance and debugging developer tool set.
+
+
+
+ Web site:
+ Web site:
+
+
+ PolyWorld is a computational ecology that I developed to explore issues
+ in Artificial Life. Simulated organisms reproduce sexually, fight and
+ kill and eat each other, eat the food that grows throughout the world,
+ and either develop successful strategies for survival or die. An
+ organism's entire behavioral suite (move, turn, attack, eat, mate,
+ light) is controlled by its neural network "brain". Each brain's
+ architecture--it's neural wiring diagram--is determined from its
+ genetic code, in terms of number, size, and composition of neural
+ clusters (excitatory and inhibitory neurons) and the types of
+ connections between those clusters (connection density and topological
+ mapping). Synaptic efficacy is modulated via Hebbian learning, so, in
+ principle, the organisms have the ability to learn during the course of
+ their lifetimes. The organisms perceive their world through a sense of
+ vision, provided by a computer graphic rendering of the world from each
+ organism's point of view. The organisms' physiologies are also encoded
+ genetically, so both brain and body, and thus all components of
+ behavior, evolve over multiple generations. A variety of "species",
+ with varying individual and group survival strategies have emerged in
+ various simulations, displaying such complex ethological behaviors as
+ swarming/flocking, foraging, and attack avoidance.
@@ -3034,7 +3346,7 @@ LICENSE
Tierra's written in the C programming language. This source code
creates a virtual computer and its operating system, whose
architecture has been designed in such a way that the executable
- machine codes are evolvable. This means that the machine code can be
+ machine codes are evolve-able. This means that the machine code can be
mutated (by flipping bits at random) or recombined (by swapping
segments of code between algorithms), and the resulting code remains
functional enough of the time for natural (or presumably artificial)
@@ -3111,24 +3423,32 @@ LICENSE
-Agents
+Agents & Robotics
+
- Also known as intelligent software agents or just agents, this
- area of AI research deals with simple applications of small
- programs that aid the user in his/her work. They can be mobile
- (able to stop their execution on one machine and resume it on
- another) or static (live in one machine). They are usually
- specific to the task (and therefore fairly simple) and meant
- to help the user much as an assistant would. The most popular
- (ie. widely known) use of this type of application to date are
- the web robots that many of the indexing engines
- (eg. webcrawler) use.
+ Software brains for computers that do stuff. Everythin from fun and
+ games to data mining to physical robotics. This is a great hobbiest
+ area of AI with many areas of interest to pursue. I've broken it down
+ loosely into 2 sections. AI for purely software based agents and that
+ for embodied agents (even if only simulated).
+
+
+ Software Agents
+
+
+
+ Also known as intelligent software agents or just agents, this
+ area of AI research deals with simple applications of small
+ programs that aid the user in his/her work. They can be mobile
+ (able to stop their execution on one machine and resume it on
+ another) or static (live in one machine). They are usually
+ specific to the task (and therefore fairly simple) and meant
+ to help the user much as an assistant would.
-
@@ -3155,18 +3475,18 @@ LICENSE
- FTP site:
-
+
+ FTP site:
+
- The Agent is a prototype for an Information Agent system. It is
- both platform and language independent, as it stores contained
- information in simple packed strings. It can be packed and shipped
- across any network with any format, as it freezes itself in its
- current state.
-
+ The Agent is a prototype for an Information Agent system. It is
+ both platform and language independent, as it stores contained
+ information in simple packed strings. It can be packed and shipped
+ across any network with any format, as it freezes itself in its
+ current state.
+
-
An aglet is a Java object that can move from one host on the
Internet to another. That is, an aglet that executes on one host can
@@ -3253,7 +3572,6 @@ LICENSE
name="wwwagss.informatik.uni-kl.de/Projekte/Ara/index_e.html">
-
Ara is a platform for the portable and secure execution of
mobile agents in heterogeneous networks. Mobile agents in this
sense are programs with the ability to change their host machine
@@ -3265,23 +3583,6 @@ LICENSE
models and languages.
-
-
- Web site:
-
-
- AI programming game where you design the bot by selecting hardware and
- programming its CPU, then competing with other bots. Competitions can have
- teams and special rules for a game.
-
- The hardware for use in your bot includes weapons, engine, scanners, CPU,
- etc. The programming lauguage is dependent on the CPU type and is similar
- to an assembly language.
-
-
@@ -3317,33 +3618,6 @@ LICENSE
metacomputing.
-
-
- Web site:
-
-
- Cadaver is a simulated world of cyborgs and nature in realtime. The
- battlefield consists of forests, grain, water, grass, carcass (of
- course) and lots of other things. The game server manages the game and
- the rules. You start a server and connect some clients. The clients
- communicate with the server using a very primitive protocol. They can
- order cyborgs to harvest grain, attack enemies or cut forest. The game
- is not intended to be played by humans! There is too much to control.
- Only for die-hards: Just telnet to the server and you can enter
- commands by hand. Instead the idea is that you write artificial
- intelligence clients to beat the other artificial intelligences. You
- can choose a language (and operating system) of your choice to do that
- task. It is enough to write a program that communicates on standard
- input and standard output channels. Then you can use programs like
- "socket" to connect your clients to the server. It is NOT needed to
- write TCP/IP code, although i did so :) The battle shall not be boring,
- and so there is the so called spyboss client that displays the action
- graphically on screen.
-
-
@@ -3369,7 +3643,6 @@ LICENSE
name="agent.cs.dartmouth.edu/software/agent2.0/">
FTP site:
-
A transportable agent is a program that can migrate from machine
to machine in a heterogeneous network. The program chooses when and
@@ -3438,22 +3711,6 @@ LICENSE
tuned and evaluated.
-
-
- Web site:
-
-
- GNU Robots is a game/diversion where you construct a program for a
- little robot, then watch him explore a world. The world is
- filled with baddies that can hurt you, objects that you can bump into,
- and food that you can eat. The goal of the game is to collect as
- many prizes as possible before are killed by a baddie or you run out of
- energy. Robots can be written in Guile scheme or using a GUI.
-
-
@@ -3620,7 +3877,6 @@ LICENSE
name="java.stanford.edu/">
-
JATLite is providing a set of java packages which makes easy to
build multi-agent systems using Java. JATLite provides only
light-weight, small set of packages so that the developers can
@@ -3671,7 +3927,6 @@ LICENSE
url="http://www-cdr.stanford.edu/ABE/JavaAgent.html"
name="www-cdr.stanford.edu/ABE/JavaAgent.html">
-
The JAT provides a fully functional template, written entirely in
the Java language, for constructing software agents which communicate
@@ -3688,25 +3943,6 @@ LICENSE
information inlined into the KQML messages.
-
-
- Web site:
-
-
- Khepera Simulator is a public domain software package written by
-
- during the preparation of his Ph.D. thesis, at the Laboratoire I3S,
- URA 1376 of CNRS and University of Nice-Sophia Antipolis, France. It
- allows to write your own controller for the mobile robot Khepera using
- C or C++ languages, to test them in a simulated environment and
- features a nice colorful X11 graphical interface. Moreover, if you own
- a Khepera robot, it can drive the real robot using the same control
- algorithm. It is mainly oriented toward to researchers studying autonomous
- agents.
-
@@ -3729,7 +3965,6 @@ LICENSE
name="mole.informatik.uni-stuttgart.de/">
-
Mole is an agent system supporting mobile agents programmed in
Java. Mole's agents consist of a cluster of objects, which have
no references to the outside, and as a whole work on tasks given
@@ -3851,8 +4086,8 @@ LICENSE
send encrypted, digitally signed Perl code to a remote machine
to be executed.
- receive code and, depending on who signed it, execute it in an
- arbitrarily secure, limited compartment.
+ receive code and, depending on who signed it, execute it in an
+ arbitrarily secure, limited compartment.
The combination of these functions enable direct Perl coding of
algorithms to handle safe internet commerce, mobile
@@ -3905,33 +4140,23 @@ LICENSE
and more.
-
-
+ Web site:
+ url="http://www.quackle.org/">
+ Alt Web site:
+ Alt Web site:
- RealTimeBattle is a programming game, in which robots controlled by
- programs are fighting each other. The goal is to destroy the enemies,
- using the radar to examine the environment and the cannon to shoot.
+ Quackle is a world-class crossword game artificial intelligence and
+ analysis tool. It includes a move generator, simulator, and Qt-based
+ user interface and can be used with any board layout, alphabet,
+ lexicon, and tile distribution.
+
-
- Game progresses in real time, with the robot programs
- running as child processes to RealTimeBattle.
- The robots communicate with the main program using the
- standard input and output.
- Robots can be constructed in almost any programming language.
- Maximum number of robots can compete simultaneously.
- A simple messaging language is used for communication, which
- makes it easy to start constructing robots.
- Robots behave like real physical object.
- You can create your own arenas.
- Highly configurable.
-
-
-
@@ -3952,36 +4177,6 @@ LICENSE
and newspaper articles that discuss the topic of your writing.
-
-
- Web site:
-
-
- A java based robot combat programming game. It provides a simple API
- and class framework. It is designed as a means of learning Java and is
- easy to start using while not constraining the programmer from more
- advanced techniques. It has a built in security manager for running
- other peoples robots in a safe way.
-
-
-
-
- Web site:
-
-
- RoboTournament is a RoboRally inspired game where players program their
- robots to vanquish their opponents. RoboTournament features: Multiple
- Game Types: Death Match, Rally, and Capture The Flag. Multi-Player
- through TCP/IP, Six weapons including BFG, Map Editor, and a wide
- variety of board elements.
-
-
@@ -4000,47 +4195,6 @@ LICENSE
variety of interactive games and simulations.
-
-
- Web site:
- FTP site:
-
-
-
- SimRobot is a program for simulation of sensor based robots in a
- 3D environment. It is written in C++, runs under UNIX and X11 and
- needs the graphics toolkit XView.
-
- Simulation of robot kinematics
- Hierarchically built scene definition via a simple definition
- language
- Various sensors built in: camera, facette eye, distance
- measurement, light sensor, etc.
- Objects defined as polyeders
- Emitter abstractly defined; can be interpreted e.g. as
- light or sound
- Camera images computed according to the raytracing or
- Z-buffer algorithms known from computer graphics
- Specific sensor/motor software interface for communicating
- with the simulation
- Texture mapping onto the object surfaces: bitmaps in various
- formats
- Comprehensive visualization of the scene: wire frame w/o
- hidden lines, sensor and actor values
- Interactive as well as batch driven control of the agents
- and operation in the environment
- Collision detection
- Extendability with user defined object types
- Possible socket communication to e.g. the Khoros image
- processing software
-
-
-
@@ -4070,36 +4224,6 @@ LICENSE
for the Semantic Web.
-
-
- Web site:
-
-
-
- TclRobots is a programming game, similar to 'Core War'. To play
- TclRobots, you must write a Tcl program that controls a robot. The
- robot's mission is to survive a battle with other robots. Two, three,
- or four robots compete during a battle, each running different
- programs (or possibly the same program in different robots.) Each
- robot is equipped with a scanner, cannon, drive mechanism. A single
- match continues until one robot is left running. Robots may compete
- individually, or combine in a team oriented battle. A tournament
- can be run with any number of robot programs, each robot playing every
- other in a round-robin fashion, one-on-one. A battle simulator is
- available to help debug robot programs.
-
-
- The TclRobots program provides a physical environment, imposing
- certain game parameters to which all robots must adhere. TclRobots
- also provides a view on a battle, and a controlling user interface.
- TclRobots requirements: a wish interpreter built from Tcl 7.4 and Tk
- 4.0.
-
-
-
@@ -4112,7 +4236,6 @@ name="www.csee.umbc.edu/tkqml/">
communication language.
-
@@ -4120,23 +4243,19 @@ name="www.csee.umbc.edu/tkqml/">
name="www.tacoma.cs.uit.no/">
-
An agent is a process that may migrate through a computer network
in order to satisfy requests made by clients. Agents are an attractive
way to describe network-wide computations.
-
The TACOMA project focuses on operating system support for agents and
how agents can be used to solve problems traditionally addressed by
operating systems. We have implemented a series of prototype systems
to support agents.
-
TACOMA Version 1.2 is based on UNIX and TCP. The system supports
agents written in C, Tcl/Tk, Perl, Python, and Scheme (Elk). It is
implemented in C. This TACOMA version has been in public domain since
April 1996.
-
We are currently focusing on heterogeneity, fault-tolerance, security
and management issues. Also, several TACOMA applications are under
@@ -4187,33 +4306,11 @@ name="www.csee.umbc.edu/tkqml/">
achieving high intelligence. (Implemented in Tcl/TclX/Tix/Tk)
-
-
+ Web site:
-
-
-
- Vworld is a simulated environment for research with autonomous
- agents written in prolog. It is currently in something of an
- beta stage. It works well with SWI-prolog, but should work with
- Quitnus-prolog with only a few changes. It is being designed to
- serve as an educational tool for class projects dealing with
- prolog and autonomous agents. It comes with three demo worlds or
- environments, along with sample agents for them. There are
- two versions now. One written for SWI-prolog and one written for
- LPA-prolog. Documentation is roughly done (with a
- student/professor framework in mind), and a graphical interface
- is planned.
-
-
-
-
-
- Web site:
+ url="http://www.cs.cmu.edu/˜softagents/webmate/">
@@ -4247,6 +4344,384 @@ name="www.csee.umbc.edu/tkqml/">
+
+
+ Web site:
+
+
+ The construction of multi-agent systems involves long development
+ times and requires solutions to some considerable technical
+ difficulties. This has motivated the development of the ZEUS
+ toolkit, which provides a library of software components and tools
+ that facilitate the rapid design, development and deployment of
+ agent system
+
+
+
+
+
+
+
+ Robotics and Simulators
+
+
+
+ From fun battling robot games to full robot control systems. The idea is
+ physical agents in the real world, or at least their control programming.
+
+
+
+
+
+ Web site:
+
+
+ AI programming game where you design the bot by selecting hardware and
+ programming its CPU, then competing with other bots. Competitions can
+ have teams and special rules for a game.
+
+ The hardware for use in your bot includes weapons, engine, scanners,
+ CPU, etc. The programming lauguage is dependent on the CPU type and is
+ similar to an assembly language.
+
+
+
+
+ Web site:
+
+
+ Cadaver is a simulated world of cyborgs and nature in realtime. The
+ battlefield consists of forests, grain, water, grass, carcass (of
+ course) and lots of other things. The game server manages the game and
+ the rules. You start a server and connect some clients. The clients
+ communicate with the server using a very primitive protocol. They can
+ order cyborgs to harvest grain, attack enemies or cut forest. The game
+ is not intended to be played by humans! There is too much to control.
+ Only for die-hards: Just telnet to the server and you can enter
+ commands by hand. Instead the idea is that you write artificial
+ intelligence clients to beat the other artificial intelligences. You
+ can choose a language (and operating system) of your choice to do that
+ task. It is enough to write a program that communicates on standard
+ input and standard output channels. Then you can use programs like
+ "socket" to connect your clients to the server. It is NOT needed to
+ write TCP/IP code, although i did so :) The battle shall not be boring,
+ and so there is the so called spyboss client that displays the action
+ graphically on screen.
+
+
+
+
+ Web site:
+
+
+ CLARAty is an integrated framework for reusable robotic software. It
+ defines interfaces for common robotic functionality and integrates
+ multiple implementations of any given functionality. Examples of such
+ capabilities include pose estimation, navigation, locomotion and
+ planning. In addition to supporting multiple algorithms, it provides
+ adaptations to multiple robotic platforms.
+
+ This is a public release of the some of the code used in the Mars rover
+ projects at NASA. It is under a free for non-commercial use licence and
+ consists of large number of modules and algorithms along with extensive
+ documentation.
+
+
+
+
+ Web site:
+
+
+ GNU Robots is a game/diversion where you construct a program for a
+ little robot, then watch him explore a world. The world is
+ filled with baddies that can hurt you, objects that you can bump into,
+ and food that you can eat. The goal of the game is to collect as
+ many prizes as possible before are killed by a baddie or you run out of
+ energy. Robots can be written in Guile scheme or using a GUI.
+
+
+
+
+ Web site:
+
+
+ Infon Battle Arena is a networked multiplayer real-time programming
+ game featuring little creatures fighting for food. You upload your
+ Creature Code (written in Lua) to a game server using a telnet
+ Interface. The game server then runs your code. The graphical client
+ can be used to watch running games or replay recorded games.
+
+
+
+
+ Web site:
+
+
+ Khepera Simulator is a public domain software package written by
+ during the preparation of his Ph.D. thesis, at the Laboratoire
+ I3S, URA 1376 of CNRS and University of Nice-Sophia Antipolis, France.
+ It allows to write your own controller for the mobile robot Khepera
+ using C or C++ languages, to test them in a simulated environment and
+ features a nice colorful X11 graphical interface. Moreover, if you own
+ a Khepera robot, it can drive the real robot using the same control
+ algorithm. It is mainly oriented toward to researchers studying
+ autonomous agents.
+
+
+
+
+ Web site:
+
+
+ Neuro-Evolving Robotic Operatives, or NERO for short, is a unique
+ computer game that lets you play with adapting intelligent agents
+ hands-on. Evolve your own robot army by tuning their artificial brains
+ for challenging tasks, then pit them against your friends' teams in
+ online competitions!
+
+ The goals of the project are (1) to demonstrate the power of
+ state-of-the-art machine learning technology, (2) to create an engaging
+ game based on it, and (3) to provide a robust and challenging
+ development and benchmarking domain for AI researchers.
+
+
+
+
+ Web site:
+ Player wiki:
+
+
+ Player is a device server that provides a powerful, flexible interface
+ to a variety of sensors and actuators (e.g., robots). Because Player
+ uses a TCP socket-based client/server model, robot control programs can
+ be written in any programming language and can execute on any computer
+ with network connectivity to the robot. In addition, Player supports
+ multiple concurrent client connections to devices, creating new
+ possibilities for distributed and collaborative sensing and control.
+
+
+
+
+ Web site:
+
+
+ RealTimeBattle is a programming game, in which robots controlled by
+ programs are fighting each other. The goal is to destroy the enemies,
+ using the radar to examine the environment and the cannon to shoot.
+
+
+ Game progresses in real time, with the robot programs
+ running as child processes to RealTimeBattle.
+ The robots communicate with the main program using the
+ standard input and output.
+ Robots can be constructed in almost any programming language.
+ Maximum number of robots can compete simultaneously.
+ A simple messaging language is used for communication, which
+ makes it easy to start constructing robots.
+ Robots behave like real physical object.
+ You can create your own arenas.
+ Highly configurable.
+
+
+
+
+
+ Web site:
+
+
+ A java based robot combat programming game. It provides a simple API
+ and class framework. It is designed as a means of learning Java and is
+ easy to start using while not constraining the programmer from more
+ advanced techniques. It has a built in security manager for running
+ other peoples robots in a safe way.
+
+
+
+
+ Web site:
+
+
+ Robodeb is a complete robotics simulation environment for teaching
+ concurrency and parallelism. It provides a unique environment for
+ exploring concurrency and robotics. It provides a complete IDE for the
+ occam-pi programming language, and leverages the Transterpreter, our
+ portable and flexible runtime for the language. This combination is
+ critical, as it provides a principled interface to the Player/Stage
+ API, a set of widely used libraries for controlling the Pioneer3
+ robotics platform.
+
+
+
+
+ Web site:
+
+
+ RobotFlow is a mobile robotics tookit based on the
+
+ project. FlowDesigner is a data-flow oriented architecture, similar to
+ Simulink (Matlab) or Labview that is free (LGPL) and versatile. The
+ visual programming interface provided in the FlowDesigner project will
+ help people to better visualize & understand what is really happening
+ in the robot's control loops, sensors, actuators, by using graphical
+ probes and debugging in real-time.
+
+
+
+
+ Web site:
+
+
+ RoboTournament is a RoboRally inspired game where players program their
+ robots to vanquish their opponents. RoboTournament features: Multiple
+ Game Types: Death Match, Rally, and Capture The Flag. Multi-Player
+ through TCP/IP, Six weapons including BFG, Map Editor, and a wide
+ variety of board elements.
+
+
+
+
+ Web site:
+ FTP site:
+
+
+ SimRobot is a program for simulation of sensor based robots in a
+ 3D environment. It is written in C++, runs under UNIX and X11 and
+ needs the graphics toolkit XView.
+
+ Simulation of robot kinematics
+ Hierarchically built scene definition via a simple definition
+ language
+ Various sensors built in: camera, facette eye, distance
+ measurement, light sensor, etc.
+ Objects defined as polyeders
+ Emitter abstractly defined; can be interpreted e.g. as
+ light or sound
+ Camera images computed according to the raytracing or
+ Z-buffer algorithms known from computer graphics
+ Specific sensor/motor software interface for communicating
+ with the simulation
+ Texture mapping onto the object surfaces: bitmaps in various
+ formats
+ Comprehensive visualization of the scene: wire frame w/o
+ hidden lines, sensor and actor values
+ Interactive as well as batch driven control of the agents
+ and operation in the environment
+ Collision detection
+ Extendability with user defined object types
+ Possible socket communication to e.g. the Khoros image
+ processing software
+
+
+
+
+
+ Web site:
+
+
+ TclRobots is a programming game, similar to 'Core War'. To play
+ TclRobots, you must write a Tcl program that controls a robot. The
+ robot's mission is to survive a battle with other robots. Two, three,
+ or four robots compete during a battle, each running different
+ programs (or possibly the same program in different robots.) Each
+ robot is equipped with a scanner, cannon, drive mechanism. A single
+ match continues until one robot is left running. Robots may compete
+ individually, or combine in a team oriented battle. A tournament
+ can be run with any number of robot programs, each robot playing every
+ other in a round-robin fashion, one-on-one. A battle simulator is
+ available to help debug robot programs.
+
+ The TclRobots program provides a physical environment, imposing
+ certain game parameters to which all robots must adhere. TclRobots
+ also provides a view on a battle, and a controlling user interface.
+ TclRobots requirements: a wish interpreter built from Tcl 7.4 and Tk
+ 4.0.
+
+
+
+
+ Web site:
+
+
+ URBI is a Universal Real-time Behavior Interface and gives you a simple
+ but powerful way to control any robot or complex system like a video
+ game, using a convenient and easy to use scripting language that can be
+ interfaced with several popular programming languages (C++, Java,
+ Matlab,...) and OS (Windows, Mac OSX, Linux). URBI is based on a
+ client/server architecture, which give a great deal of flexibility.
+ URBI includes powerful features compared to existing scripting
+ solutions: parallel execution of commands, event programming, command
+ tagging, dynamic variables,... Currently, URBI is used as well by
+ academic research labs, the industry and by hobbyists.
+
+
+
+
+ Web site:
+
+
+
+ Vworld is a simulated environment for research with autonomous
+ agents written in prolog. It is currently in something of an
+ beta stage. It works well with SWI-prolog, but should work with
+ Quitnus-prolog with only a few changes. It is being designed to
+ serve as an educational tool for class projects dealing with
+ prolog and autonomous agents. It comes with three demo worlds or
+ environments, along with sample agents for them. There are
+ two versions now. One written for SWI-prolog and one written for
+ LPA-prolog. Documentation is roughly done (with a
+ student/professor framework in mind).
+
+
+
@@ -4267,26 +4742,9 @@ name="www.csee.umbc.edu/tkqml/">
-
-
- Web site:
-
-
- The construction of multi-agent systems involves long development
- times and requires solutions to some considerable technical
- difficulties. This has motivated the development of the ZEUS
- toolkit, which provides a library of software components and tools
- that facilitate the rapid design, development and deployment of
- agent system
-
-
-
-
-
+
+
Programming languages
@@ -4910,42 +5368,6 @@ name="www.csee.umbc.edu/tkqml/">
automata using the best, standardized technology of the day.
-
-
- Web site:
-
-
-
- The system consists of a compiler for the Cellang cellular
- automata programming language, along with the corresponding
- documentation, viewer, and various tools. Cellang has been
- undergoing refinement for the last several years (1991-1995),
- with corresponding upgrades to the compiler. Postscript
- versions of the tutorial and language reference manual are
- available for those wanting more detailed information. The most
- important distinguishing features of Cellang, include support
- for:
-
- any number of dimensions;
- compile time specification of each dimensions size;
- cell neighborhoods of any size (though bounded at compile time) and
- shape;
- positional and time dependent neighborhoods;
- associating multiple values (fields), including arrays,
- with each cell;
- associating a potentially unbounded number of mobile
- agents [ Agents are mobile entities based on a mechanism of
- the same name in the Creatures system, developed by Ian
- Stephenson (ian@ohm.york.ac.uk).] with each cell; and
- local interactions only, since it is impossible to
- construct automata that contain any global control or
- references to global variables.
-
-
-