Terms for subject Robotics containing логическая система

Russian	English
система логического вывода	inference system
система представления знаний и построения логических рассуждений	knowledge representation/reasoning system (в СИИ)