Semantic reasoner
Definition of Semantic reasoner:
-
is a piece of software able to infer logical consequences from a set of asserted facts or axioms.
محرك برمجي استدلالي
تعريف محرك برمجي استدلالي:
-
هو برنامج قادر على استنتاج النتائج المنطقية من مجموعة من الحقائق المؤكدة أو البديهيات.