Reasoning

Rationale is the first high-quality "argument processing" software. Use Rationale to create "argument maps", diagrams of reasoning and argument. Rationale will help students learn the fundamentals of good reasoning, critical thinking, and argumentative essay writing. Three Map Types. Use...

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...

You will discover that thanks to playing the game your reasoning is becoming quicker and better. Behind each question mark there's always one of the eight colors hidden, though none of the colors is used more than once. Can you guess the colors and their exact positions? If you achieve a...


Platforms: Windows

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...


Platforms: Windows

Do you think that there is something in your life, work or business that needs some kind of improvement? If so, take a look at Flying Logic Student. It is a very easy to use and highly visual software that works with reasoning in the same way that a worksheet works with numbers.You need to let...


Platforms: Windows

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

Flying Logic Pro is a highly visual, easy to use software application that does for reasoning what spreadsheets do for numbers. Just as you would not do detailed financial projections in your head, you need Flying Logic for all nontrivial planning and reasoning endeavors. The Flying Logic...


Platforms: Mac

Code Master is a board-style game where you must find a secret code using your logical reasoning skills! The secret code is a sequence of four balls of eight different colors and you must guess the exact code in at most 10 turns. In each turn y


Platforms: Mac

Already proven in the classroom to learn: • Developing Geographical Skills • Developing Mathematical Reasoning • Use everyday words to describe position • Describe the position of objects and direction • Follow and give inst


Platforms: Mac