Search Results for "reasoning"

ChonOS (Cognitive Hardware on Network - Operational System) is a specifical-purpose GNU/Linux distribution that seeks to facilitate the development of an Embedded MultiAgent System (MAS). It enables, without the need to turn off the device or stop the MAS: the deployment of reasoning to the robot; firmware deployment for microcontrollers; the transfer of the MAS from the development environment to the production environment; and the transfer of new agents to the MAS running using the Internet of Things (IoT). It also features an extended version of Jason specifically for Embedded MAS, which allows communication with hardware and an IoT middleware. ...

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!

...Wallace and the ALICE AI Foundation and the PyAIML code base written by Cort Stratton, the ANGie project incorporates additional AIML sets, adds its own AIML to the set, adds new AIML tags and additional code to provide more dynamic responses and more logical case-based-reasoning. Reading through most AIML sets it seems like the authors' intention was to have a response to every input that a bot has ever seen. The ANGie project strives to have intelligent and sensible responses, but to allow the bot to have no response when the meaning of the input is inconclusive, when additional context would be required to properly respond, or in general for questions for which the bot is unprepared - in order to create a bot that is capable of carrying on basic conversations with a human similar to the sort of small talk that two humans might have. ...

This project is about implementing a logic-programming based, reasoning engine for an agent. We started with an implementation of the iff-proof procedures, by Kowalski and Fung, as an any-time algorithm written in Prolog.

In this architecture, Javino enables processing the data coming from sensors as perceptions in ARGO's agent reasoning cycle. Then, one can restrict the list of perceptions delivered by Javino based on filters designed by the agent's programmer. The main contribution of ARGO is to enable the use of perception filters for programming robotic agents. Moreover, ARGO allows an agent to decide when to start or to stop perceiving from its sensors, to fix the interval between each perception and to control these filtering behavior in runtime. ...

TinyCog is a cognitive architecture (perception, action, reasoning, planning, and language) with a focus on representing "self-models" (physical, capabilities, intentions, social, historical, "cognitive stream") in order to implement social reasoning and collaborative planning in a "hunter domain" test bed. We use Prolog, RDF Triples, Description Logic and a HTN-Planner as base technologies.

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

Lillybot is an OpenCyc-based irc chatbot. It implements a very simple reasoning engine that works with the OpenCyc ontology, and hooks it to a natural-language parser. It can answer simple english questions with small simple-english replies.

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.