ПОИСК Статьи Рисунки Таблицы Понятие объектно-ориентированного программирования. Характеристика языков объектно-ориентированного программирования из "Экспертные системы в химической технологии" ПРОЛОГ в настоящее время является наиболее эффективной программной реализацией исчисления предикатов 1-го порядка в логическом программировании с дополнительными возможностями поиска сначала в глубину и перебора с процедурой возврата, встроенными в язык. Перебор с возвратами является стратегией, при которой, если линия рассуждений, которой следует система, окажется несоответствующей, то она может вернуться по линии рассуждений назад до тех пор, пока не будет найден альтернативный подход. ПРОЛОГ также представляет прямой метод осуществления обратного потроения цепочки, хотя другие стратегии управления и схемы представления знаний легко программируются в его среду. Преимуществом языка ПРОЛОГ является то, что он ориентирован на символические вычисления , так как он обладает эффективными методами для символических операций. Наиболее мощным при сравнении является встроенная в ПРОЛОГ операция сопоставления с образцом [60]. [c.231] На языке ПРОЛОГ создана оболочка ЭС, которая включает все типы представления данных и стратегии управления. Система называется P-Sh lh и представляет эффективность языка ПРОЛОГ как средства построения системы, основанных на знаниях. ПРОЛОГ предоставляет ограниченную среду программирования по сравнению с другими существующими ЯИИ. Для смягчения этого ограничения некоторые версии языка ПРОЛОГ обеспечивают простое взаимодействие, давая возможность при необходимости добавлять общность. Так, например, LPA—Sigma—PROLOG обеспечивает простое взаимодействие с языком СИ, где добавляемые процедуры могут вызываться непосредственно как примитивы языка ПРОЛОГ. Эта возможность добавлять примитивы обеспечивает потенциал для создания мощного и в высшей степени специализированного набора средств на языке ПРОЛОГ для конкретного применения. [c.231] В языках объектно-ориентированного програлширования программа представляет собой набор активных объектов - колтлск-сов , состоящих из структуры данных и совокупности процедур [9]. Объекты способны выдавать (другим объектам ) и принимать (от других объектов ) сообщения, а также выполнять те или иные манипуляции над структурами данных в соответствии с принятыми сообщениями. Структурно объекты могут рассматриваться как ФР (см. раздел 2.3), снабженные ассоциированными процедурами. [c.232] С помощью ЯОБОП можно реализовать различные МПЗ (семантические сети, фреймы и логические). Более того, поскольку логические утверждения (формулы) рассматривают при таком подходе как объекты [9], появляется возможность классификации и структуризации наборов формул, что частично компенсирует недостатки логических МПЗ. Таким образом ЯОБОП представляют собой одно из перспективных программных ИС для построения ЭС. [c.232] Передача сообщений — это операции и структуры данных, используемые вызывающей программой для указания вызываемой процедуре объектов и значений, над которыми должны выполняться действия. [c.233] Поиск решений НФЗ в химии и химической технологии с применением ЯОБОП состоит из следующих основных этапов [6] определение объектов для поставленной задачи определение сообщений , связанных с каждым объектом разработка последовательности сообщений , которая позволяет найти решение. [c.234] Для решения разнообразных НФЗ в химической технологии необходимо иметь библиотеку иерархических знаний, состоящих из фрагментов знаний об элементах ХТС и об операциях ХТС. Эта библиотека знаний должна быть структурирована в определенной форме так, чтобы обеспечивать эффективность вывода, избегая излишней сложности БЗ, и содействовать легкости обслуживания БЗ. Одной из таких структур является иерархическая структура, в которой движение вниз по иерархии подразумевает пошаговое уточнение, т. е. специализацию операций ХТС (узлы-потомки в иерархической структуре наследуют характерные свойства или особенности их узлов-предков и затем их детально раскрывают) 6). [c.234] Указанные выше методы могут включать в себя последующую передачу сообщений другим объектам , чтобы выполнить диагностику ХТС в целом. [c.236] В языке SMALLTALK имеются только объекты . Объекты могут представлять элементы программы (классы и их экземпляры), устройства ввода-вывода и их части (окна экрана), сегменты памяти, внутренние структуры интерпретатора (например, записи активации, сегменты стека и цепочки команд). При этом обращение ко всем объектам производится единообразно [78]. [c.236] Вернуться к основной статье