В Абердинском университете начинают разработку автоматических методов перевода сложных выражений математической логики в понятный человеку текст. Благодаря им компьютер и человек смогут, например, обсудить план выполнения поставленной перед компьютером задачи и внести в него изменения. Компьютер можно будет попросить изложить основания того или иного решения. Можно будет также предоставить компьютеру дополнительную информацию для корректировки плана или предложить альтернативный способ действий. Современные автономные системы могут обрабатывать огромные объемы информации, поясняют авторы проекта, но в процессе обработки способны допускать ошибки, неочевидные ни для них самих, ни для операторов. Отсутствие возможности понять, на основании чего система приняла решение, пробуждает у людей недоверие.