semantic reasoner

software able to infer logical consequences from a set of asserted facts or axioms

en-GB/sɪˈmæntɪk ɹiːzŋə/
en-US/sɪˈmæntɪk ˈɹizənɚ/

زمرے:

inference engine