[it] Ragionatore automatico

[ru] Семантический механизм рассуждений