Definite Clause Deduction
Creating A Knowledge Base
There are two ways to create a problem in the Definite Clause Deduction Applet.
Solving A Problem
Click the Solve mode tab to go to Solve mode. Click the Create New Query button and select a predicate. A dialog will pop up that will prompt the user to input the terms that are needed to be queried. Click ok to go back to Solve mode. The query will now be displayed on the canvas.
There are three ways to solve a query.
It is also possible to use algorithms other SLD resolution (depth first), or even to solve the query manually. To do this, click Deduction Options -> Deduction Algorithms, and select an algorithm. Selecting "User Defined" means that in order to unify a query, the user should select the Step button, and click on the node that he or she wants to unify.
|Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP|