Cтраница 2
Особенно популярен ПРОЛОГ во Франции, в Венгрии и Японии. Эти системы включают как интерпретатор, так и компилятор. В японском проекте ЭВМ 5-го поколения ПРОЛОГ занимает такое же важное место, как и ЛИСП. Предполагается включение спецпроцессора для ПРОЛОГа как одной из центральных компонент ЭВМ 5-го поколения. [16]
АСОИз, рассматриваемая как элемент некой метасистемы, перестает быть элементом изолированным, приобретает богатые информационные связи с другими элементами. Показательным примером служит здесь японский проект создания ЭВМ пятого поколения. Согласно этому проекту система распознавания образов и изображений ( наряду с системами машинного перевода, ответов на запросы, понимания специализированного языка и решения прикладных задач) является базовой в обеспечении интеллектуального интерфейса человек - ЭВМ, при этом все упомянутые системы должны работать параллельно и одновременно над единым потоком данных, дополняя друг друга. Внутренняя интеграция затрагивает различные компоненты АСОИз: средства и методы обработки, сами обрабатываемые данные. [17]
Пролог прошел путь развития, сходный с путем Лиспа, и в настоящее время он применяется многими европейскими учеными в области вычислительной техники, работающими над совершенствованием языка и расширением сферы его применения. Относительно недавно Пролог был принят японскими и американскими учеными для решения прикладных задач искусственного интеллекта. Популярность Пролога резко возрастает начиная с 1982 г., когда был опубликован японский проект компьютера пятого поколения. [18]
Например, вследствие того что в умах традиционных программистов глубоко и прочно укоренился процедурный подход к программированию, у многих из них может возникнуть серьезное психологическое сопротивление принятию декларативных формальных систем. Еще одним возможным препятствием добровольным изменениям может быть то коммерческое обстоятельство, что на разработку традиционных аппаратных средств и программного обеспечения уже были выделены огромные капиталовложения. Как было отмечено д Агапаевом ( 1982), в ответ на японский проект создания ЭВМ пятого поколения остальной мир должен сделать выбор: нововведения или стабильность. В своем собственном очевидном выборе японцы сделали ставку не только на уверенность в том, что расходы, связанные с переходом к новому поколению вычислительной техники, будут в конце концов компенсированы за счет конкурентоспособности этой техники на мировом рынке, - более фундаментальную ставку они сделали на саму возможность создания этой новой техники. [19]
В последних в качестве стандартов приняты два языка программирования. Здесь следует заметить, что и в японском проекте ЭВМ пятого поколения в качестве базового языка наряду с Прологом был выбран также и Лисп. [20]
Одним из частных решений автоматизированного ввода для автономной ПЭВМ являются автоматы, читающие текст с документов - сканнеры. Сканнер может рассматриваться как дополнительное периферийное устройство ПЭВМ. Вторым решением может быть речевой ввод-вывод информации. Впервые для ПЭВМ эта задача была поставлена в японском проекте 5-го поколения ЭВМ. Более сложной является задача понимания ПЭВМ речи. [21]
Они имеют импульсный характер временной структуры и низкую пространственную расходимость. В настоящее время осуществляются и планируются проекты измерения осцилляции ускорительных нейтрино с базой порядка сотен и тысяч километров, что обеспечивает нужную чувствительность эксперимента к массовым параметрам нейтрино. Предусматривается не только создание специальных детекторов, но и применение для регистрации ускорительных нейтрино существующих и строящихся детекторов солнечных и атмосферных нейтрино. Для этого не только создаются специальные детекторы MINOS и OPERA, но и планируется изучать эти нейтрино детектором BOREXINO, предназначенным первоначально для исследования солнечных нейтрино. Второй пример - японский проект К2К, который предусматривает регистрацию нейтрино с энергией 1 3 ГэВ, генерируемых ускорителем КЕК. [22]
Если имеется возможность собрать информацию о предметных областях программы и те законы, которым подчиняются эти области, то от этого возможности системы по решению проблем могут сильно расшириться. Такие знания соответствуют знаниям, имеющимся у человека. Такая точка зрения соответствует тому отношению, которое давно сложилось в Великобритании и других странах у исследователей, работающих в области искусственного интеллекта. Для того чтобы машины оказались по-настоящему ручными, необходимо иметь более естественный ЧМИ; на самом деле он должен походить на интерфейс, характерный для общения между людьми. В результате в японском проекте возникает множество трудных проблем, среди которых имитация функций сенсорного восприятия человека, таких как зрение, осязание, синтез речи и понимание речи. Для выполнения этих функций необходим гигантский запас соответствующих знаний. Простая обработка поступающих данных не обеспечила бы тот уровень сложности, который необходим для выполнения таких в высшей степени сложных функций. С этой целью в машинах пятого поколения предусматривается разработка базовой технологии как на уровне создания аппаратных средств, так и программного обеспечения. [23]
На один логический вывод компьютер обычно затрачивает 100 - 1000 операций. А так как таких выводов приходится делать очень много, то производительность компьютеров удобно исчислять количеством логических выводов в секунду. Так, компьютеры пятого поколения должны делать до 1 млрд. логических выводов. Очевидно, что для создания программ с большим числом логических выводов необходим специальный язык программирования, ориентированный на логические выводы. Такими языками являются Пролог ( именно он был положен в основу японского проекта компьютеров пятого поколения) и Лисп ( о них мы расскажем в гл. [24]
В США на соответствующие исследования выделено 120 млн. долл. Шведское правительство в настоящее время является единственным владельцем фирмы Юнайтед Стирлинг. Хотя общая сумма ассигнований на проведение соответствующих работ в Японии и ФРГ неизвестна, только на разработку одного японского проекта правительством предоставлено 3 млн. долл. Очевидно, не менее 140 отдельных групп работают в этом направлении во всем мире, что эквивалентно полной занятости этой проблемой тысячи исследователей. [25]
Он не дает новых сверхмощных средств программирования по сравнению с ЛИСПом, но поддерживает другую модель организации вычислений. Подобно тому, как ЛИСП скрыл от программиста устройство памяти ЭВМ, ПРОЛОГ позволил ему не заботиться ( без необходимости) о потоке управления в программе. ПРОЛОГ предлагает такую парадигму мышления, в рамках которой описание решаемой задачи представляется в виде слабо структурированной совокупности отношений. Это удобно, если число отношений не слишком велико и каждое отношение описывается небольшим числом альтернатив. В противном случае ПРОЛОГ-программа становится весьма сложной для понимания и модификации. Возникают и проблемы эффективности реализации языка, так как в общем случае механизмы вывода, встроенные в ПРОЛОГ, обеспечивают поиск решения на основе перебора возможных альтернатив и декларативного возврата из тупиков. Однако популярность он стал приобретать лишь в начале 80 - х годов, когда благодаря усилиям математиков был обоснован логический базис этого языка, а также в силу того, что в японском проекте вычислительных систем V поколения ПРОЛОГ был выбран в качестве базового для машины вывода. В настоящее время ПРОЛОГ завоевал признание и на американском континенте, хотя уступает в популярности ЛИСПу и даже специальным продукционным языкам, широко используемым при создании ЭС. [26]