Среди аргументов в пользу важности работ по автоматическому доказательству теорем для искусственного интеллекта приводятся и ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Лупанов О.Б. Кибернетический сборник Выпуск13


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

(cкачать страницу)

Смотреть книгу на libgen

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