Automated reasoning
Get flash to fully experience Pearltrees
First published Wed Aug 27, 2003; substantive revision Wed Oct 31, 2012 Artificial Intelligence (which I'll refer to hereafter by its nickname, “AI”) is the subfield of Computer Science devoted to developing programs that enable computers to display behavior that can (broadly) be characterized as intelligent. [ 1 ] Most research in AI is devoted to fairly narrow applications, such as planning or speech-to-speech translation in limited, well defined task domains. But substantial interest remains in the long-range goal of building generally intelligent, autonomous agents. [ 2 ] Throughout its relatively short history, AI has been heavily influenced by logical ideas.
Logic and Artificial Intelligence
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 .
Inference engine
Various pieces of software are available from our ftp site . This page contains links to the most commonly FTPed systems.
UT Qualitative Reasoning Software
This page contains two lists ( * ) of Description Logic reasoners, together with a description of their capabilities and links to their web page. The first list is about reasoners which are currently being enhanced, maintained, and worked on.
Description Logic Reasoners
Description logic
Description logic (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first-order predicate logic .
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 .
