primex conversion.imo

专家系统外壳工具

win(header(pc,burule_model_factory,'Primex conversion',nil),92,81,431,652,conts(`/* This is the 'Footwear Advisor' from the obsolete Primex system. ~M~J~M~JIt runs as an InterModeller Easy-b rules model without an changes at all. ~M~J~M~JHowever the ADVISE keyword could be deleted throughout. InterModeller ~M~Jdoes not specially recognise this word. Whereas Primex used the keyword ~M~Jto distinguish top-level rules from others ~M~J(regular rules, in Primex parlance), InterModeller achieves the ~M~Jsame distinction by performing a compile-time analysis of the ~M~Jknowledge base. Top-level rules are recognised as those with ~M~Jconclusions which do not feature among any other rule's conditions.~M~J~M~JAlso, NOT is not a keyword of InterModeller. In InterModeller, negation ~M~Jis expected to be expressed informally, as suggested below.~M~J~M~JGenerally, simple Primex knowledge bases will run well as InterModeller ~M~JEasy-b models. Parameterised Primex knowledge bases (those with conditions ~M~Jcontaining colons) and models using more complex features of the language ~M~Jwill need more effort in conversion, probably to InterModeller Backward ~M~Jrule form.~M~J~M~JTHC July 2000   */~M~J~M~J~M~JADVISE You should wear trainers IF~M~J  You intend to go outside AND~M~J  The weather is good .~M~J~M~JADVISE You should wear stout shoes IF~M~J  You intend to go outside AND~M~J  There are signs of rain ahead .~M~J~M~JADVISE Put your wellies on IF~M~J  You intend to go outside AND~M~J  The streets are very wet .~M~J~M~JADVISE You should wear slippers IF~M~J  NOT You intend to go outside AND   % Change to: 'You intend to stay indoors'?~M~J  You like to be comfortable indoors .~M~J~M~JADVISE Remember to clean your shoes regularly IF~M~J  You want your shoes to stay smart .~M~J`,'Courier',0,13)).