Среди аргументов в пользу важности работ по автоматическому доказательству теорем для искусственного интеллекта приводятся и ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Лупанов О.Б.
Кибернетический сборник Выпуск13
Среди аргументов в пользу важности работ по автоматическому доказательству теорем для искусственного интеллекта приводятся и такие: вычислительные машины наделяются способностью выполнять формальные математические построения ( посредством логики), и соответствующие методы ( доказательства теорем) представляют интерес с точки зрения организации процессов мышления у роботов. Мы считаем, что методы, разработанные в этой области, как, впрочем, и любые методы, которые могут быть созданы на основе принятой в ней в настоящее время методологии ( столь удачно определяемой как вычислительная логика), бесполезны для обоих этих направлений, хотя в настоящей статье мы рассматриваем в основном второе. Мышление роботов составляет основу нашей концепции искусственного интеллекта - и как будто не должно быть сомнений что знание, как построить машину, способную рассуждать о реальном мире и действовать в нем, а также разговаривать о себе на естественном языке, необходимо ( но не достаточно.