Средства автоматического логического вывода на основе конкретных ситуаций; аргументация, базирующаяся на ситуациях; рассуждения по прецедентам; вывод, основанный на прецедентах;