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

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

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

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

  • 18.04.2015 Зрелость огнестрельного оружия Механизмы, обеспечивающие каждую из этих функций, развивались независимо друг от друга и часто производились разными мастерами. Однако точка зрелости огнестрельного оружия, отмеченная […]
  • 09.04.2015 Сравнительная съемка Фотографии применялись не только для получения краткосрочной тактической информации непосредственно перед артиллерийской атакой, но и для сбора долгосрочных стратегических разведданных, […]
Галерея
8540.jpg 9342.jpg 16465.jpg 22211.jpg 26991.jpg
Полезное
Интересные записи

Copyright © 2014. All Rights Reserved.