UniModeling is a big data analytics tool for unified modeling and reasoning in outdoor and indoor spaces. It supports the construction of unified graph models of outdoor and indoor spaces and RFID deployments in these spaces. It enables probabilistic incorporation of RFID data, facilitating the tracking of moving objects and enables the search for them to be optimized. Also included are three reasoning applications that pertain to the positioning of RFID readers in outdoor and indoor spaces and the points of potential traffic (over)load in these spaces.
FreeFuzzyTime is a time reasoner based on Fuzzy Temporal Constraint Networks (FTCN), which treats fuzzy temporal information efficiently. It can be integrated into applications for diagnosis. This is especially important in areas like Intensive Care Units, where patients' data are handled by a temporal database. FuzzyTime uses a structure which consists of three levels of abstraction. The upper layer is the user interface, where a translator transforms the expressions introduced by the user into temporal relations between temporal entities (points and intervals). The semantics of a user’s expressions are analyzed and stored in the intermediate layer, or temporal world. Finally, the bottom layer is based on the FTCN model.
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.
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.
lemontree provides a very fast Java class for the Walsh Hadamard transform (WHT) and O'Connor transform (OCT). You can regard the OCT as a black box which turns arbitrary numerical data into data with a Gaussian distribution. There are inverse transforms, also. It has many applications, such as Random Projections, Compressive Sensing, Neural Nets, and Genetic algorithms.
Proteus Intelligent Processes is a set of tools based upon the Proteus model and the GreEd rule authoring system. Proteus (PROcesses and Transactions Editable by USers) is a software technology that allows creating clinical processes in which clinical intelligence is embedded. These processes can then be executed to provide guidance to the clinicians about individual patients. The main advantage of Proteus is that the processes can be edited even by non-programmers, with the use of appropriate tools. The processes and components can be stored in a library and can be reused to create other processes. GreEd is the foundation of a full-fledged business rules management system (BRMS). Ease of editing is its key strength. These tools are linked with electronic medical record systems and clinical information systems.
RelEx is an English-language semantic dependency relationship extractor, built on the Carnegie-Mellon Link Grammar parser. It can identify subject, object, indirect object, and many other syntactic dependency relationships between words in a sentence; it generates dependency trees, resembling those of dependency grammars, and specifically, those of Dekang Lin's MiniPar and the Stanford parser. It accomplishes this by applying a sequence of rules, based on the local context, and thus resembles constraint grammar in its implementation. In this sense, it implements some of the ideas of Hudson's Word Grammar. However, unlike other dependency parsers, RelEx attempts a greater degree of semantic normalization.
Thinknowlogy is grammar-based software, designed to utilize the Natural Laws of Intelligence in grammar, in order to create intelligence through natural language in software. This is demonstrated by programming in natural language, reasoning in natural language and drawing conclusions (more detailed than scientific solutions), making assumptions (with self-adjusting level of uncertainty), asking questions (about gaps in the knowledge), and detecting conflicts in the knowledge. It builds semantics autonomously (with no vocabularies or words lists), detecting some cases of semantic ambiguity. It is multi-grammar, proving that Natural Laws of Intelligence are universal.