There are only two types of Global Verification Cri-teria:
instantiation and domain constr aints.
1) Instantiation criteria: The instantiation criteria deals
with the creation of output for all possible condi-tions.
AgPest System is tested for instantiation criteria, its found
that all the conditions and conclusion create an output. That
value is used for further execution and final
6Salience is the value set for rules. Salience set priority of
execution between rules
result is generated based on these values. During the
development phase of AgPest this testcase is satisfied by
assigning facts for every condition,i.e., if condition is
satisfied then positive fact will be assigned and if the
condition is not satisfied the alternative procedure fact is
assigned . So that, the flow of execution continues till the
end.