Software Listing of Author : "Aispace.org"
- Definite Clause Deduction
- License: Freeware
- Price: 0.00


Every representation and reasoning system needs a proof procedure in order to be complete. The purpose of this tool is to illustrate how the process of answer extraction within a knowledge base can be cast as a search problem. The deduction tool uses a language similar to Prolog and demonstrates its goal solving procedures.
- Publisher: aispace.org
- Date Released:
- Download Size: 266 KB
- Download
- Platform: Win2000, Windows 7, WinOther, WinServer, WinVista
- Graph Searching
- License: Freeware
- Price: 0.00


Search is an important part of AI; many problems can be cast as the problem of finding a path in a graph. This graph-searching tool is designed to help you learn about different search strategies.
- Publisher: aispace.org
- Date Released:
- Download Size: 245 KB
- Download
- Platform: Win2000, Windows 7, WinOther, WinServer, WinVista
- STRIPS to CSP converter
- License: Freeware
- Price: 0.00


A STRIPS problem is a planning problem that views the world as a set of variables and actions upon them. A problem is solved when a series of actions can be found that will lead to a Goal assignment of values to variables from a Start assignment. The STRIPS to CSP converter allows for the graphical creation of a STRIPS problem and then the conversion of said problem into a CSP for solving.
- Publisher: aispace.org
- Date Released:
- Download Size: 604 KB
- Download
- Platform: Win2000, Windows 7, WinOther, WinServer, WinVista