Search Results for "reasoning"

Amine is an Artificial Intelligence Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems and Agents (Knowledge-Based, Ontology-Based, Conceptual Graph -CG- Based, NLP, Reasoning and Learning, Natural Language Processing, etc.). Ontology, KB can be created and manipulated with various processes. CG theory is used as the main knowledge representation language. Amine provides two languages: PROLOG+CG which extends PROLOG with CG and Amine modules, and SYNERGY which is a visual activation/propagation based language. ...

Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!

DisChoco is a Distributed Constraint Reasoning Solver. Several Distributed Constraint Reasoning algorithms are implemented (like ABT, AFC, Adopt, ...). Users may easily implement and test their algorithms with DisChoco. contact: wahbi[at]users[dot]sourceforge[dot]net

SSWAP (Simple Semantic Web Architecture and Protocol; pronounced "swap") is an architecture, protocol, and platform that uses reasoning to semantically integrate disparate data and services on the web. Running live at http://sswap.info.

Modular version of FAtiMA Agent Architecture. FAtiMA is an Autonomous Agent Architecture with reactive and BDI based deliberative behaviour and with emotions and reasoning capabilities.

nu-BDI is an extension of the Jason agent interpreter aimed at processing norms using constraints on the agent's instantiated plans. The core agent reasoning cycle now includes a component for processing norms and enforcing norm constraints.

A case-based reasoning (CBR) approach to imitating software agents

GGPrayer is an AI capable of playing any game described in the GameDescriptionLanguage defined in http://games.stanford.edu/.It uses Java to communicate to the gameserver and Prolog for reasoning. Info: http://bruno-wp.blogspot.com/search/label/Software

Java library devoted to handle Genetic Algorithms and Classifier Systems. It has been engineered to be used into agent based simulation models and to search bounded optimal solutions in wide solution spaces. It runs on distributed clusters.