Reasoning/Inference Engines associated with AIML, etc.

[Marcus L. Endicott]

http://en.wikipedia.org/wiki/Semantic_reasoner

A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a semantic reasoner generalizes that of an inference engine, by providing a richer set of mechanisms to work with. The inference rules are commonly specified by means of an ontology language, and often a description language.


http://en.wikipedia.org/wiki/Jena_%28framework%29

Jena is an open source Semantic Web framework for Java. It provides an API to extract data from and write to RDF graphs. The graphs are represented as an abstract "model". A model can be sourced with data from files, databases, URLs or a combination of these. A Model can also be queried through SPARQL.

[ http://jena.sourceforge.net/ ]


http://en.wikipedia.org/wiki/Inference_engine

In computer science, and specifically the branches of knowledge engineering and artificial intelligence, an inference engine is a computer program that tries to derive answers from a knowledge base. It is the "brain" that expert systems use to reason about the information in the knowledge base for the ultimate purpose of formulating new conclusions. Inference engines are considered to be a special case of reasoning engines, which can use more general methods of reasoning.


http://en.wikipedia.org/wiki/Cyc

Cyc is an artificial intelligence project that attempts to assemble a comprehensive ontology and database of everyday common sense knowledge, with the goal of enabling AI applications to perform human-like reasoning.

[ http://www.opencyc.org/ ]


http://www.daxtron.com/123start.htm?Cyn

Project CyN is the merger of a AIML interpreter used to develop chat bots with the OpenCyc inference engine.  This unique tool allows the product of one of the largest, continuous AI projects to be accessed by one of the largest chat bot development community. Basically Cyc + Program N = CyN.

[ http://www.aimlpad.com/ ]


http://en.wikipedia.org/wiki/Open_Mind_Common_Sense

ConceptNet is a freely available commonsense knowledgebase and natural-language-processing toolkit which supports many practical textual-reasoning tasks over real-world documents right out-of-the-box

[ http://web.media.mit.edu/~hugo/conceptnet/ ]


http://en.wikipedia.org/wiki/Prolog

Prolog is a logic programming language. It is a general purpose language often associated with artificial intelligence and computational linguistics.


http://en.wikipedia.org/wiki/SWI-Prolog

SWI-Prolog is an open source implementation of the programming language Prolog, commonly used for teaching.

[ http://www.swi-prolog.org/ ]


http://en.wikipedia.org/wiki/GNU_Prolog

GNU Prolog (also called gprolog) is a compiler developed by Daniel Diaz with an interactive debugging environment for Prolog available for Unix and Windows.

[ http://www.gprolog.org/ ]


http://en.wikipedia.org/wiki/WordNet

WordNet is a semantic lexicon for the English language. It groups English words into sets of synonyms called synsets, provides short, general definitions, and records the various semantic relations between these synonym sets. The purpose is twofold: to produce a combination of dictionary and thesaurus that is more intuitively usable, and to support automatic text analysis and artificial intelligence applications. The database and software tools have been released under a BSD style license and can be downloaded and used freely. The database can also be browsed online.

[ http://wordnet.princeton.edu/ ]


_______________________________________________
This is the pandorabots-general mailing list
To Post, reply to pandorabots-general@...
Unsubscribe and change preferences at http://list.pandorabots.com/mailman/listinfo/pandorabots-general
Learn netiquette at http://www.dtcc.edu/cs/rfc1855.html
Learn to read at http://www.literacy.org/