Индуктивные исчисления

Индуктивные исчисленияХотя такие машины в настоящее время не существуют, исследования в области ИИ создали несколько симуляций механизированных индуктивных исчислений. Базовая идея — начать с простого дедуктивного исчисления, и создать внутри него способ закачивания истины наверх. Обычно истина перетекает от аксиом к теоремам, то есть, если дана общая истина, простая машина может извлечь из нее много следствий. Обратную операцию, то есть доказательство того, что теорема может быть выведена из данной аксиомы, осуществить гораздо труднее. Хотя она и не невозможна. Если бы мы могли закачивать истину наверх от теорем к аксиомам, мы получили бы примитивное индуктивное исчисление, которое стало бы началом подлинного машинного интеллекта.

Компьютерный язык, выбранный японцами для развития своего пятого поколения компьютеров, PROLOG, строится на подобной схеме. В нем выполнено дедуктивное исчисление вместе с рецептами доказательства теорем в данном исчислении. Развитие роботизированного интеллекта можно представить по аналогии с эволюцией структур управления, то есть в качестве перехода от последовательных к параллельным формам вычислений. Доказательство теорем представляет собой последовательную стадию в роботизированном решении задач. На этой стадии способности к решению задач моделируются отдельной проблемой — закачиванием истины наверх от теорем к аксиомам. Другие действия — такие, как осмысленный ответ на вопросы — рассматриваются в качестве частных случаев доказательства теорем. Например, поставленный человеком вопрос рассматривается в качестве формулы, обоснованность которой следует установить; нахождение доказательства теоремы используется в качестве модели для поиска удовлетворительного ответа. Задача доказательства теорем может сводится к одному-единственному правилу вывода, которое опровергает отрицание теоремы, механически отыскивая в таком отрицании противоречия. За единообразие и элегантность одной-единственной стратегии решения задач приходится, однако, платить недостаточной гибкостью в приспособлении к новым ситуациям.

Похожие записи

  • 06.04.2015 Интегральная схема И транзистор, и интегральная схема были творением гражданских изобретателей, но на первым стадиях они подкармливались военными, которые потребляли значительные количества этих компонентов […]
  • 25.03.2015 Механический интеллект Действительно, мы уже отмечали, что уже ближе к нашему времени за каждым приложением компьютеров к военным проблемам скрывалось желание вывести людей из цикла принятия решений. То есть, […]
Интересные записи

Copyright © 2014. All Rights Reserved.