Contents - Index - Next


Rule models

 

To see an example click here

 

A rule model consists of pure text in the form of logical rules. Four different types of rule model are provided by InterModeller and these are selected via the File/New dialogue. Once created, a window must contain only rules of the selected type.  Rules can be typed (or pasted) into directly into the window or they may be entered via a special rule editor which can help to ensure that their syntax is correct. Optionally, rules may be tagged with certainty factors.

 

At runtime, InterModeller first performs checks that a rule model has correct syntax (i.e. proper grammatical form) and is free of circular definitions. Assuming all is well, InterModeller runs a rule model using a search strategy known as depth-first backward chaining. The aim is to establish the validity of the conclusions of top-level rules.

 

Click below to learn more.

 

 

InterModeller Help Contents