flex Expert System Toolkit - LPIS

8. Run-Time Interpretation of KSL 115
Watchdogs
flex toolkit
Watchdogs are mapped onto clauses of the relation watchdog/6, as
follows.
watchdog( Watchdog,
Attribute,
Frame,
Context,
Check,
Action ).
Example
watchdog security_check
when the contents of account are requested
then check user`s classification is above 7.
will be represented by the Prolog assertion
watchdog( security_check,
contents,
account,
true,
comparison( >, @(classification,user), 7)
fail ).
Production Rules
Rules are mapped onto instances of the relation rule/5, as follows.
rule( Rule,
Conditions,
Action,
Explanation,
Score ).
Example
rule prescribe_lomotil
if the patient complains of diarrhoea and
the patient does not suffer from liver_disorder
and the patient is not pregnant
then I advise the patient to take lomotil
browse file medical7 .
will be represented by the Prolog assertion
rule( prescribe_lomotil,
( prove(complains(patient,diarrhoea)),
disprove(suffers(patient,liver_complaints)),
disprove(pregnant(patient)) ),
take(patient,lomotil),
browse(medical7),