Англо-русский толковый словарь по искусственному интеллекту и робототехнике

machine-checked proof (также machine-checked theorem proving) – доказательство [теоремы, теорем] под контролем (с помощью) компьютера # доказательство теоремы с помощью программы под названием proof assistant (помощник в проведении доказательства), которая гарантирует, что данное доказательство будет подчиняться (не будет противоречить) аксиомам математики и правилам логики. Синоним – computer-assisted proof (см. также theorem proving).

machine controller

(также machine control unit) – устройство управления станком, контроллер станка с ЧПУ # см. также CNC machine, industrial automation, numerical control.

machine deception – обман машин (машины, компьютера) # современные машины (ИНС, системы распознавания, системы ИИ) характеризуются способностью выступать в роли агентов и носителей информации, через которые человек и/или другие машинные агенты могут подвергаться манипуляциям – их можно заставить верить, действовать или каким-то иным образом реагировать на ложную информацию. Исследования, связанные с обманом машин, имеют долгую историю и стали основой для развития теории и технологий в области искусственного интеллекта (ИИ) и машинного обучения (МО). Наиболее известны такие примеры экспериментов по обману машин, как тест Тьюринга (Turing test

, где машина пытается обмануть человека, заставляя его поверить, что он общается не с машиной, а с другим человеком), или Китайская комната (Chinese room, разработчик которой Джон Сёрл доказывает, что машина не думает, а действует по заложенному в ней алгоритму). Различают такие ситуации, когда а) машина обманывает машину (Machine Deceives Machine – например, группа ботов может автоматически публиковать посты на платформах социальных медиа, манипулируя таким образом алгоритмами ранжирования и искажая релевантность); б) человек обманывает машину (Human Deceives Machine – например, использует уязвимости автономных систем, чтобы управлять их поведением, вводя им специальные конкурентные обучающие образцы); в) машина обманывает человека (Machine Deceives Human – применение генеративных состязательных сетей, ГСС позволяет сейчас создавать настолько реалистичные аудио-, фото- и видеоматериалы, что человек не может отличить их от реальных, настоящих записей) (см. также adversarial attack, adversarial process, antagonistic game, artificial neural network, generative adversarial network, machine learning

).

machine ethics – машинная этика, моральность (нравственность) машин; моральность, этика вычислений # часть (ветвь, составляющая, направление) этики искусственного интеллекта (ИИ), представляющая принципы нравственного поведения машин, оснащённых средствами ИИ и называемых также агентами ИИ (AI agent). Машинная этика отличается от других направлений этики, связанных с инженерией и технологиями; её не следует путать также с компьютерной этикой (computer ethics), фокусирующейся на проблемах использования компьютеров человеком. Синонимы – machine morality, computational morality, computational ethics (см. также AI ethics, AI robot, ethics).

machine intelligence

(MI) – машинный интеллект, искусственный интеллект, ИИ # более распространённый в Европе аналог термина artificial intelligence. Применяется для обозначения всей области ИИ.

machine learning (ML) – 1. машинное самообучение # об устройстве со средствами самообучения, способном увеличивать свою производительность, эффективность или улучшать другие аспекты работы на базе предшествующего опыта (см. также incremental learning);