DREAM (The Distributed Resource Evolutionary Algorithm Machine) seeks to provide the technology and software infrastructure necessary to support the next generation of evolving infohabitants in a way that makes that infrastructure universal, open, and scalable. It will use existing hardware infrastructure in a much more efficient manner, by utilising otherwise-unused CPU time. It will allow infohabitants to co-operate, communicate, negotiate and trade; and emergent behaviour is expected to result. It is expected that there will be an emergent economy that results from the provision and use of CPU cycles by infohabitants and their owners. The DREAM infrastructure will be evaluated with new work on distributed data mining, distributed scheduling, and the modelling of economic and social behaviour.
Reasonable Python is a Python module which adds logic programming constructs borrowed from F-Logic. It's build upon the Flora-2 and XSB engines and uses ZODB for permanent knowledgebase storage. Usage possibilities include knowledge bases, ontology management and semantic web applications.
PED is a dialogue management system that uses a probabilistic nested belief model to choose dialogue strategies. The dialogue system designer need only supply a set of plan rules to PED as a dialogue grammar with preconditions. Using this grammar, PED constructs game trees (like the one below) to represent the outcomes of the dialogue, so that a dialogue strategy can be chosen for the current turn in the dialogue. PED automatically maintains a belief model by a belief revision process that uses the observed acts in the dialogue. The game tree is evaluated in the context of this belief model. PED is efficient because it uses probabilistic estimates of belief rather than a plain logical belief model.
HyperGraphDB is a general purpose, extensible, portable, distributed, embeddable data storage mechanism. Designed specifically for artificial intelligence and semantic web projects, it can also be used as an embedded object-oriented database for projects of all sizes. It is a Java-based product built on top of the Berkeley DB storage library. It can be used as a single in-process database bound to a location on the local disk or within a "cloud" of networked database instances communicating and sharing data in a P2P (peer-to-peer) fashion. Key features include storage of generalized hypergraphs, an open, extensible type system, basic query system and graph traversal algorithms, out-of-the-box support for Java object storage, thread-safe transactions, and a P2P framework for data distribution.
tinyMAS is a multiagent platform that provides base concepts (such as kernel, message, yellow pages, white pages, and transport service) and extended concepts (such as environment, influence, and perception). It aims to provide an easy-to-understand and and easy-to-use platform dedicated for multiagent engineer/research courses. TinyMAS is no longer under development. A large amount of its source code has been merged into the Janus platform.
EO is a template-based, ANSI-C++ evolutionary computation library that helps you to write your own stochastic optimization algorithms quickly. Evolutionary algorithms form a family of algorithms inspired by the theory of evolution, and solve various problems. They evolve a set of solutions to a given problem in order to produce the best results. These are stochastic algorithms because they iteratively use random processes. The vast majority of these methods are used to solve optimization problems, and may be also called "metaheuristics". They are also ranked among computational intelligence methods, a domain close to artificial intelligence. With the help of EO, you can easily design evolutionary algorithms that will find solutions to virtually all kind of hard optimization problems, from continuous to combinatorial ones.
Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of linguistic variables with operations on them. String-oriented I/O is supported. A rich set of GTK+ GUI widgets is provided.