В Австралии проходит логический конкурс интеллектуальных агентов

В австралийском Сиднее проходит соревнование агентов искусственного интеллекта по их способности производить логические суждения.

Конкурс проходит в рамках Международной конференции по автоматизации формирования логических выводов (International Joint Conference on Automated Reasoning).

Интеллектуальные агенты будут выполнять всевозможные задания - от решения математических задач до игры в игру-детектив. Результаты будут оцениваться по числу решенных задач за определенный период времени. Создателей агентов-победителей ждет денежная премия.