الذكاء الاصطناعي, رياضيات, علوم الحاسوب, منطق, نظرية المجموعات

المحددات المقيدة (Bounded Quantifiers)