Войти в аккаунт
Хотите наслаждаться полной версией, а также получить неограниченный доступ ко всем материалам?

Среди компьютерных программ пройдут соревнования по дедукции

Среди компьютерных программ пройдут соревнования по дедукции

В рамках четвертой международной конференции по автоматизированной формулировке логических выводов (The 4th International Joint Conference on Automated Reasoning) в Сиднее, Австралия, состоятся соревнования компьютерных программ, предназначенных для решения логических задач и доказательства теорем (такие программы называются дедуктивными). Победитель получит приз в три тысячи долларов США. Об этом сообщается на официальном сайте конференции.

Для решения участникам будут предложены задачи различной степени сложности: от простых логических игр и математических примеров до построения алгоритма действий в случае террористической атаки на крупный населенный пункт.

Это уже 22-е по счету подобные соревнования. В этом году в них принимает участие более 20 программных продуктов, разработанных как отдельными энтузиастами, так и целыми лабораториями. Большинство программ находятся в свободном доступе в интернете.

Автоматизированная дедукция является одной из самых развитых областей автоматизированной формулировки логических выводов – раздела науки, которой занимается применением компьютеров для решения различных логических задач. У дедуктивных программ есть ряд теоретических недостатков. Если утверждение верно, то программа рано или поздно способна его доказать. Если же утверждение неверно, то она не в состоянии указать на это. Обычно эти программные продукты устроены таким образом, что после определенного времени они просто выдают сообщение о том, что либо задача слишком сложна, либо не имеет решения.

Источник: lenta.ru

{{ rating.votes_against }} {{ rating.rating }} {{ rating.votes_for }}

Комментировать

осталось 1800 символов
Свернуть комментарии

Все комментарии (0)

×
Заявите о себе всем пользователям Макспарка!

Заказав эту услугу, Вас смогут все увидеть в блоке "Макспаркеры рекомендуют" - тем самым Вы быстро найдете новых друзей, единомышленников, читателей, партнеров.

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

Сейчас для мгновенного попадания в этот блок нужно купить 1 ставку.

Цена 10.00 MP
Цена 40.00 MP
Цена 70.00 MP
Цена 120.00 MP
Оплата

К оплате 10.00 MP. У вас на счете 0 MP. Пополнить счет

Войти как пользователь
email
{{ err }}
Password
{{ err }}
captcha
{{ err }}
Обычная pегистрация

Зарегистрированы в Newsland или Maxpark? Войти

email
{{ errors.email_error }}
password
{{ errors.password_error }}
password
{{ errors.confirm_password_error }}
{{ errors.first_name_error }}
{{ errors.last_name_error }}
{{ errors.sex_error }}
{{ errors.birth_date_error }}
{{ errors.agree_to_terms_error }}
Восстановление пароля
email
{{ errors.email }}
Восстановление пароля
Выбор аккаунта

Указанные регистрационные данные повторяются на сайтах Newsland.com и Maxpark.com