|
|
|
|
|
|
|
|
|
Paramodulation
Глоссарий по искусственному интеллекту |
Paramodulation is an inference rule that can be used in automated reasoning systems. paramodulation always focuses on two clauses, requiring that one of the clauses contain at least one literal asserting the equality of two expressions. see also: hyperresoltion.
|
|
|
Orthoplanner, английский
Orthoplanner is a knowledge-based system to provide dentists with orthodontic treatment plans for cases where fixed orthodontic appliance techniques must be employed. it uses a number of techniques including rulebase reading, forward chaining, backward chaining, and fuzzy logic-based representations of orthodontic knowledge. see also: jeremiah, http://www-uk.hpl.hp.com/people/ewc/listmain.html.
Perfex, английский
Perfex is a rule-based expert system that assists in the interpretation of cardiac spect data. it infers the extent and severity of coronary artery disease (cad) from perfusion distributions and can provide an automatic report in english with a justification. it currently has over 250 rules. see also: http://www.cc.gatech.edu/gvu/visualization/perfex/
|
|
|
|
|
|
|