Reasoning

Math Science Quest is a fun way to learn the fundamental reasoning skills that are the essence of scientific method. It can be played as an individual puzzle or a multi-player game. Players explore a complex mathematical puzzle attempting to find all the solutions. Experiments can be designed to...

Try this new game called Linkz and be surprised! Linkz is a mental agility game that tests your powers of deductive and logical reasoning.The rules are very simple: use the mouse to move the coloured pieces to empty spaces, making them coinicide with links to solid polygons of the corresponding...

The game of suduko originated in the eighteenth century. It means 'only one number'. It is basically a number in-line game of filling in numbers, it does not involve any calculation knowledge but needs reasoning and logical thinking to come up with the answers.it is a good way to give the mind...


Platforms: Windows

Printable expert suduko puzzles..The game of suduko originated in the eighteenth century. It means 'only one number'. It is basically a number in-line game of filling in numbers, it does not involve any calculation knowledge but needs reasoning and logical thinking to come up with the answers.it...


Platforms: Windows

Printable hard suduko puzzles..The game of suduko originated in the eighteenth century. It means 'only one number'. It is basically a number in-line game of filling in numbers, it does not involve any calculation knowledge but needs reasoning and logical thinking to come up with the answers.it is...


Platforms: Windows

OMCSNetCPP is a C++ API / Inference Toolkit for OMCSNet. OMCSNetCPP is a C++ API and inference toolkit for accessing OMCSNet, a semantic network mined out of the Open Mind Common Sense knowledge base. This project is based on OMCSNet 1.2, a semantic network and inference toolkit written in...


Platforms: *nix

Wumpus! is a classic strategy game where you must find Wumpus using your deductive reasoning powers. You can't see Wumpus, and if you end up wandering into him, you'll be startled and he'll have your for breakfast.


Platforms: Mac

Algernon is a rule-based reasoning engine written in Java. It allows forward and backward chaining across Protege knowledge bases. In addition to traversing the KB, rules can call Java functions and LISP functions (from an embedded LISP interpreter)


Platforms: Windows, Mac, Linux

The Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a rule language, an XML interface, and support for AI-related search and reasoning tasks such as scheduling, planning, diagnosis and predictive reasoning.


Platforms: Windows, Mac, Linux

HERAKLES is a reasoning broker framework for OWL (Web Ontology Language) reasoning systems.


Platforms: Windows, Mac, Linux

Jadex is a Belief Desire Intention (BDI) reasoning engine that allows for programming intelligent software agents in XML and Java. The resoning engine is very flexible and can be used on-top of different middleware infrastructures such as JADE.


Platforms: Windows, Mac, Linux

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


Platforms: Windows, Mac, Linux

When this project is complete, a user may enter in an deductive argument in standard form, and out pops a fresh, baked validity judgement.


Platforms: Windows, Mac

TreeSap introduces simple yet powerful qualitative querying:rather than specifying a query using numerical measurements ('within 5km') english phrases are used ('near'). In-built fuzzy logic handles vagueness producing results with weighted relevance


Platforms: Windows, Mac, BSD, Linux

The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems. Features: - Comes...


Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

This is a small Python module that determines and returns standardized names for platforms, where the "standard" is Trent Mick's reasoning :) from experience building ActivePython on a fairly large number of platforms. The driving goal is to provide platform names that are: . relatively short...


Platforms: Mac

d3web is a free, open-source platform for knowledge-based systems (expert systems). Its core is written in Java using XML and/or Office-based formats for the knowledge storage. All components are distributed under the terms of the Lesser General Public License (LGPL). The d3web core implements...


Platforms: Mac

OpenCyc is the open source version of the Cyc(r) technology, the world's largest and most complete general knowledge base and reasoning engine. A new release with even more content, better performance, and improved reliability will be up shortly.


Platforms: *nix

The most popular logic puzzle in Japan. It is very simple to learn, requires no calculations, and provides a surprisingly wide variety of logic situations. The rules are simple. Each row, column and minibox comprises the numbers 1 through 9. The solver must complete the missing numbers. So the...


Platforms: Windows

Virgil projetc is an new, object-oriented, light-weight programming language that is designed for building software for resource-constrained embedded systems at the lowest level. Microcontroller programmers can now develop complete software systems, including hardware drivers and OS services, in...


Platforms: *nix