II. Машинное познание и конструирование

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