Пролог

Исчисление предикатов является простейшим логическим языком, удовлетворяющим указанным требованиям. На этом формальном языке можно записать многие предложения и утверждения естественного языка, что позволит формализовать знания. В исчислении предикатов содержатся также процедуры (правила) поиска логического вывода. Это позволит придать ЭВМ способность логически рассуждать и строить умозаключения, необходимые для понимания смысла задания и решения возникающих интеллектуальных задач. Важно отметить, что исчисление предикатов и реализующий его логический язык программирования Пролог будут использоваться в интеллектуальных ЭВМ пятого поколения. [c.235]

Найдем общее выражение для приращения влагосодержания для любого элементарного изменения состояния парогазовой смеси. Для этого пролога- [c.21]

Находка меди стала лишь прологом. Серебро, золото, олово, железо, сурьма — таковы начальные этапы знакомства человека с металлами. [c.8]

Языки программирования делят на универсальные, предназначенные для решения широкого круга задач в различных областях, и специализированные, предназначенные для решения задач в конкретной области, например, языки Лисп и Пролог — для решения задач искусственного интеллекта, язык Симула — для решения задач имитационного моделирования и т.д. [c.168]

Пролог моста или вылет крюка, м [c.169]

Алгоритмические языки высокого уровня — основное средство разработки прикладного программного обеспечения. В САПР наибольшее распространение получили языки ФОРТРАН, ПЛД, ПАСКАЛЬ, СИ, СИМУЛА-67, перспективны языки МОДУЛА-2, АДА, ЛИСП, ПРОЛОГ. [c.258]

Языки ЛИСП и ПРОЛОГ ориентированы на обработку символьной информации. С их помощью удобно описывать отношения между различными понятиями той или иной предметной области, программировать действия по выявлению заданных отношений, производить логические действия. Чаще всего эти языки используются в САПР для реализации программно-методических комплексов, относящихся к экспертным системам. [c.259]

Пример 10.1. Рассмотрим описание задачи на языке ПРОЛОГ [c.268]

Из Приведенного примера видно, что при решении задач интерпретатор ПРОЛОГа, выполняя поиск по образцу, осуществляет перебор возможных вариантов. В ряде случаев это приводит к существенным затратам машинного времени. Однако в языке ПРОЛОГ имеются средства, позволяющие пользователю подавлять перебор. [c.268]

Универсальность языка ПРОЛОГ определяется механизмом встроенных процедур, с помощью которых можно программировать разнообразные преобразования информации. Составление программ на языках типа ПРОЛОГ называется логическим программированием. [c.268]

Рассмотрим подход к решению систем логических уравнений, являющихся моделью заданной логической схемы, с помощью языка ПРОЛОГ на примере схемы рис. 10.3. Требуется найти любой из входных векторов, при котором значение выходной переменной ВЫХ равно единице. Текст описания задачи на ПРОЛОГе приведен ниже [c.269]

Для проектирования ЭС, как и других ПМК САПР, полезно использовать инструментальные средства ускорения разработки. Распространенными инструментальными средствами являются языки символьного или логического программирования типа ЛИСП или ПРОЛОГ. Разработка облегчается также, если используются заранее созданные инвариантные блоки ЭС. Инвариантные блоки характеризуются тем, что могут применяться в ЭС определенного типа, но с различным заполнением БЗ и БД. Среди типов ЭС можно выделить системы ориентированные на синтез структур по семантическим И — ИЛИ—деревьям диагностирования неисправностей прогнозирования в процессе внешнего проектирования систем и т. п. Инвариантные блоки составляют так называемую оболочку ЭС. При наличии подходящей оболочки проектирование ЭС сводится к получению экспертных сведений, их формализации и заполнению БЗ и БД. [c.317]

Языки типа ПРОЛОГ обычно применяют на начальных стадиях проектирования ЭС, когда создается предварительный упрощенный вариант — прототип ЭС. С его помощью проверяется правильность основных концепций, положенных в основу ЭС. Исполь- [c.317]

Лисп, Пролог Фортран, Паскаль, Кобол,... [c.289]

Язык Пролог ( программируемая логика ) сильно отличается от описанного выше языка Лисп. Язык базируется на правилах системы продукций, и использует методики сравнения образцов, чтобы доказать или опровергнуть какие-либо утверждения программы. В основе языка лежит применение исчисления предикатов для установления соотношений между объектами. Основной операцией в языке Пролог является логическое доказательство некоторых условий или соотношений исходя из набора более простых условий. [c.291]

Эта книга написана автором как обстоятельное введение в теорию волн в жидкостях. Здесь в четырех главах детально обсуждаются четыре основных вида волн — звуковые волны, одномерные волны в жидкостях, волны на воде и внутренние волны в стратифицированной среде. Другие, более специальные виды анизотропных и диспергирующих волновых систем (например, волны во вращающейся жидкости или волны в электропроводящей среде) рассматриваются более кратко в эпилоге. Отбор материала и композиция книги обосновываются в прологе. [c.5]

Цели настоящей книги подробно описаны в прологе. Основной материал изложен в главах 1—4, а в эпилоге содержатся краткие очерки некоторых дополнительных тем. [c.7]

Типичные составные части экспертных систем — банк данных, банк знаний, подсистема связи с пользователем, подсистсма логического вывода. Для построения экспертных систем широко применяют языки логического программирования ЛИСП или ПРОЛОГ. [c.385]

XML-документ обычно состоит из заголовка (пролога), размеченного документа, отображающего исходную информацию, декларации средств используемого язьпса разметки и описания правил форматирования документа, например, в виде правил XSL [66]. [c.262]

В последние годы созданы и начинают применяться в промышленности интеллектуальные системы автоматизированного проектирования (САПР), СИИ для распознавания зрительной информации и речи, интеллектуальные системы автоматизации программирования (САП), интеллектуальные автоматизированные системы подготовки производства (АСПП), встроенные СИИ для диагностики оборудования, а также ЛИСП — машины для оперативной обработки символьной информации и ПРОЛОГ — машины для автоматического поиска логических выводов на основе факторов и правил, хранимых в базе знаний. Это позволяет переложить на СИИ некоторую часть умственного труда, которую в условиях обычного производства приходилось возлагать на человека. В результате повышается производительность и степень автоматизации производства. Таким образом, сегодня СИИ фактически вышли на промышленный рынок. Они находят все более широкое применение в адаптивных РТК и ГАП. [c.229]

Микропроцессорное управляющее устройство ПРОЛОГ 101 (ОАО МЗТА ) предназначено для автоматического управления паровыми и водогрейными газомазутными одногорелочными каналами небольщой мощности. Основные функции управление пуском, остановом котла автоматическое регулирование параметров автоматическая защита от недопустимых состояний котла и его оборудования. Входные сигналы аналоговые от датчиков температуры, давления, уровня и т.д. по девяти каналам дискретные — по 24 каналам. Выходные сигналы импульсные для управления по ПИ-алгоритму двумя ЭИМ, дискретные (контакты реле для коммутации цепей переменного тока 24,250 В) — по 18 каналам. Габаритные размеры (ширина, высота, глубина) 300x320x350 мм. масса — 12 кг [c.557]

Строковая. Сохраняется в чертеже. Начальное значение Задает имя пролога, считываемого из файла a ad.pst при использовании команды ИМПОРТПС [c.229]

В последнее десятилетие появились языки сверхвысокого уровня, содержащие емкие операторы и рассчитанные для реализации с использованием возможностей современных ЭВМ. АДА — язык программирования для встроенных вычислительных систем, Сетл — язык программирования, ориентированный на теоретикомножественные операции, ПРОЛОГ — язык логического программирования . [c.494]

Этот вывод подтверждается солидной (на 42 страницах), но во многом спорной обзорной статьей физика Р.Г. Джана Нестареющий парадокс психофизических явлений Инженерный подход" из американского журнала Труды института инженеров по электротехнике и радиоэлектронике" (ТИИЭР, 1982, т. 70, № 3). Заслуживают внимания в этой работе не только описания приборов, методов и результатов экспериментов, но и необычный ее пролог , ,. . . Мир психофизических явлений можно уподобить обширному окутанному туманом болоту, в котором, согласно некоторым сообщениям, обитает целый сонм непонятных феноменологических существ, выходящих за рамки привычных нам чувственных и логических представлений. Часть ученых, отправившихся иа исследование этой туманной области, по возвращении категорически заявили то, что кажется жизнью в болоте, сплошная иллюзия, это просто-напросто затонувшие коряги и кружащиеся в глубине тени, которые у слишком доверчивых вызывают ложные восприятия, а слишком ярых поклонников толкают на путь домьюлов и искажений. Но есть и такие, кто с не меньшей убежденностью описывает до мельчайших подробностей наблюдавшуюся ими породу необычных существ потрясающей силы и размеров.. . . Немало недостоверных, а подчас и просто лживых сообщений о подобных явлениях распространяется теми, кто пытается использовать их в своих целях, и это, естественно, резко подрывает доверие ко всем другим свидетельствам". [c.74]

Для работы MS DOS требуется значительно больший объем ОП, чем для СР/М около 60 Кбайт. На сегодняшний день для MS DOS разработан большой арсенал программных средств. Имеются трансляторы практически дЛя всех популярных алгоритмических языков высокого уровня, таких как Бейсик, Паскаль, Фортран, Си, Модула-2, Лисп, Пролог, АПЛ, Форт, Ада, Кобол, PL/1, Смолток и др. причем для большинства языков существует несколько вариантов трансляторов. Имеются инструментальные средства для разработки программ в машинных кодах - ассемблеры, отладчики и др. Они включают в себя текстовые редакторы, компоновщики, редакторы связей и другие сервисные средства, необходимые для создания сложных программ. [c.178]

К функциональным языкам программирования можно отнести языки Лисп, Пролог и Снобол. Язык Лисп является прекрасным инструментальным средством для построения программ с использованием методов искусственного интеллекта. Имеется несколько реализаций Лисп-трансляторов для ПЭВМ различных классов. Особенность этого языка заключается в удобстве динамического создания новых объектов. В качестве порождаемых программой объектов могут фигурировать и сами программы, которые внепше ничем не отличаются от данных. Это обусловливает возможность построения адаптируюишхся и самоизменяющихся программ. Память в языке Лисп испо в>-зуется динамически - когда создается новый объект, то для него из незанятой памяти берется столько ячеек, сколько нужно для хранения всех элементов. При этом не требуется [c.207]

Версия Турбо-Пролог значительно отличается от стандартного Г лога. Отличия прежде всего касаются наличия в нем встроенных средств типизации данных и большей структурированности исходных текстов программ. В структуре программы выделяются декларативные секции, например типов данных, определяемых пользователем. В данной версии поддерживаются различные типы данных символы, целые и действительные числа, строки, составные символы и файлы. Кроме тбго, Турбо-Пролог обладает и другими достоинствами мощной инструментальной поддержкой, быстрым компилятором, дающим эффективный машинный код, встроенными средствами организации многооконного режима, графикой высокого разрешения, низкоуровневыми средствами доступа к данным, широким набором математических функций. Однако и этому 51зыку будущего свойствен ряд недостатков и наиболее серьезный из них -невозможность динамического изменения базы знаний, что является следствием типизации данных введение новых предложений пользователем требует перек<шпиляции программы. [c.208]

В связи с штенсивными работами над ЭВМ пятого поколения в будущем, очевидно, получат развитие языки, ориентированные на системы искусственного интеллекта, в la THO tn Пролог, Лисп. Возрастает интерес к этим языкам и в связи с разработкой систем, основанных на базах знаний. Из этих примеров наглядно видно, что развитие средств программирования идет по пути приближения их к пользователю. Ш это же указывается в [29] Вычислительные систры стали теперь гораздо более 230 [c.230]

Использование большинства алгоритмических языков общего назначения в качестве языков представления знаний возможно, но малоудобно. Целесообразна разработка специальных языков. Одним из первых языков представления знаний стал язык ЛИСП (создан в 1959 г.), широко используемый в СИИ. Примером ролевого языка может служить язык ФРЛ. В настоящее время в СИИ широко распространен язык ПРОЛОГ. [c.267]

В более совершенных и сложных КРК, синтезируюш,их топологию, начиная с исходного поведенческого описания, выполняется цепочка преобразований от алгоритма функционирования к функциональной и логической схемам и от них к топологии кристалла. Поведенческое описание (алгоритмы функционирования) задается на каком-либо языке высокого уровня, например алгоритмическом языке (СИ, АДА), языке логического программирования (ПРОЛОГ), языке моделирования (УНВЬ). [c.321]

В подготовке русского издания книги участвовал целый коллектив, в котором работа была распределена следующим образом А. И. Державина перевела пролог и гл. 1, Е. Д. Терентьев — гл. 2, Ю. И. Ромашкевич — гл. 3 и эпилог, [c.6]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...