Декларативный

Предметные знания - это совокупность декларативных и процедурных знаний о предметной области. [c.15]

Формализация процедур структурного синтеза в САПР осуществляется путем формализации знаний о предметной области, к которой относятся синтезируемые объекты. Знания включают две части декларативную (сведения об объектах синтеза) и процедурную (сведения о правилах синтеза и порядке их применения). [c.55]

В СИИ для формализации декларативных знаний применяют способы, основанные на понятиях фрейма и семантической сети. [c.56]

Язык ООЬ имеет средства для описания декларативных и процедурных данных. Декларативные данные — это список фрагментов, являющихся составными частями объекта — единицами аппаратных средств. В языке ВОЬ допускаются следующие типы фрагментов память, регистр, генератор периодических сигналов, элемент задержки передачи, комбинационная схема, типовой логический фрагмент, совокупность контактов. Описание фрагмента включает его имя (идентификатор) и номера разрядов. Например, запись <РЕ>В[4 8] в декларативной части означает объявление разрядов 4...8 в регистре В. Процедурные данные содержат описание взаимосвязей и взаимодействий фрагментов, следовательно, являются описанием алгоритма функционирования устройства. Это описание состоит из операторов, в которых операндами являются обозначения переменных на контактах или выходах фрагментов функциональной схемы. В языке ВОЕ имеются группы операторов логических, условных, сдвига, счета и др. [c.104]

Языки представления знаний. Для описания декларативных знаний используются ролевые, реляционные и логические языки. Декларативные знания представляют собой сведения о предметной области в виде совокупности понятий и отношений между ними. Различия между языками заключаются в форме представления этих знаний. [c.266]

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

Декларативные знания Знания, состоящие нз фактов или утверждений. [c.358]

Факт Небольшой фрагмент декларативных знаний. [c.363]

Декларативный — относится к утверждениям/свойствам, событиям и Офаничениям, которые существуют в структурном контексте устройства и оцениваются вместе со всеми другими структурными элементами. Например, это может быть модуль, принимающий формы структурного элемента. Вместе с тем, декларативные утверждения/свойства всегда активны/включены , а их процедурные аналоги активируются только при выполнении определённой части HDL-кода. [c.266]

Декларативное представление знаний не содержит в явном виде описание процедур принятия решений и включает в себя множество утверждений, не зависящих от места их использования. Такая форма представления требует полного описания состояния предметной области, которое носит [c.115]

Декларативное объявление семантического объекта предметной области (РЕЗИСТОР) будет иметь следующий вид [c.79]

В декларативных моделях описание состояний представляет собой множество утверждений, в значительной степени независимых от того, где их использовать. Описания состояний и операторов системы носят синтаксический характер. Следовательно, в декларативных представлениях синтаксические знания отделены от семантических. В силу отмеченного декларативные представления обладают принципиальной общностью, универсальностью по отношению к любым предметным областям. Но для придания эффективности поиска механизм управления требует конкретных семантических [c.165]

В целом многие статьи Кодекса РСФСР о недрах носили чисто декларативный характер, поскольку не содержали механизма реализации той или иной правовой нормы. [c.141]

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

Обратный процесс. При имеющемся описании среды и того, что проясняет прямой процесс, применяем обратный процесс в качестве декларативного механизма для определения тех линий поведения, которым должна следовать система для достижения желаемого исхода сценария. На рис. 6.5 показана иерархия, соответствующая обратному процессу. [c.161]

Правила ссылочной целостности (referential integrity (RI) - логические конструкции, которые выражают бизнес-правила использования данных и представляют собой правила вставки, замены и удаления. При генерации схемы базы данных на основе опций логической модели, задаваемых во вкладке RI A tions (рис. 2.2.25), будут сгенерированы правила декларативной ссылочной целостности, которые должны быть предписаны для каждой связи, и триггеры, обеспечивающие ссылочную целостность. [c.134]

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

Система обеспечения единства измерений непрерывно совершенствуется, о чем свидетельствует сопоставление дискретных значений одинаковых температур, декларативно установленных МПТШ в редакциях 1948 и 1968 гг. Значения расхождений между ними приведены 8 табл. 3.7. [c.52]

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

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

Активная СССД больше ориентирована на декларативные, нежели на процедурные спецификации. Благодаря этому с помощью СССД можно сгенерировать таблицы редактирования и проверки достоверности, а также профили безопасности, [c.147]

Потребность в простых в обращении информационных систем обусловит появление в СССД в конце 80-х годов дружелюбных по отношению к пользователю интерфейсов. В частности, к ним относится единый и полный язык описания данных (ЯОД), свободный от присущих отдельным СУБД и (или) языкам программирования особенностей. ЯОД станет декларативным языком, который при использовании для описания систем баз данных или обработки данных приблизится к естественному. Еще более важно то, что пользователи смогут работать с единственным языком. [c.272]

С развитием СССД связана разработка полного декларативного языка для спецификации данных и систем. Хотя исследования в этой области проводятся на протяжении уже целого ряда лет, только сейчас они начинают приносить результаты, заслуживающие признания. И может быть, к 1990 г. мы получим действительно полный декларативный язык спецификаций. В свою очередь этот язык должен стать основой интерфейса пользователя и СССД. [c.275]

Для каждого из обсуждавшихся выше видов знаний принципиальное значение имеет вопрос о том, в каком виде следует представить их в компьютере, чтобы облегчить их взаимодействие между собой и сделать систему более полезной для решения практических задач. Разработаны многочисленные варианты представления знаний, но большинство из них является вариантами или комбинациями следующих четырех семантические сети, системы продукций, фреймы и логические системы. Семантические сети по своей природе очень разнообразны, но в общем могут быть охарактеризованы как схемы графического представления, в которых вершины графов представляют собой объекты или концепции, а соединения между вершинами — процедуры получения выводов, связанных с соответствующими вершинами. На рис. 10.3 изображена крайне упрощенная семантическая сеть, демонстрирующая получение вывода о том, что в брегговской ячейке наблюдается распространение как поперечных, так и продольных волн. Этот тип знаний часто называют декларативным, так как его часто получают на основе реальных ситуаций, связанных с конкретными знаниями или отношениями. [c.279]

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

ВИИ излучения может быть резко усилена. По этой причине поле сверхслабого излучения в организме способно регулировать все биохимические процессы. Следует заметить, что последнее утверждение в работе [591 носит чисто декларативный характер, механизмы действия излучений в организмах не раскрываются. [c.77]

Модели представления знаний условно можно разделить на декларативные и процедуральные [55]. [c.115]

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

Анализ методов формализации трудноформализумых задач, к которым можно отнести задачи, решаемые в системах управления, показал, что квалифицированные эксперты обычно используют и выделяют из множества разновидностей знаний три основных типа фактуальные (декларативные), процедурные и управляющие. [c.130]

Очевидно, что мобильность комплексной САПР может быть достигнута только в том случае, если имеются развитые формализованные средства декларативного описания семантических объектов предметной области комплексной САПР и их взаимосвязей. Кроме того, должны существовать средства автоматической генерации внутримашинных моделей семантических объектов на основе их декларативного описания. [c.65]

Внутримашинное представление модели предметной области комплексной САПР будет являться семантической сетью, т. е. составным семантическим объектом. Поскольку модель предметной области комплексной САПР является собранием внутримашинных представлений в виде фреймов декларативных знаний будем отождествлять се с базой знаний (или просто базой) и обозначать р. [c.75]

На основе представлений субфреймов СФ, фреймов (шаблонов семантических таблиц) Ф, атрибутов семантических таблиц А —А строится декларативное представление модели предметной области в виде базы р на языке декларации базы. [c.76]

Предложенные в [24, 25] методика описания предметной области комплексной САПР, модель предметной области комплексной САПР в виде базы р, язык деклараций базы позволяют существенным образом продвинуть решение этой проблемы для САПР МЭА. Добавление новых аспектов или новых свойств семантических объектов в предметную область достигается путем добавления соответствующих декларативных операторов и перетрансляции постоянной области базы с помощью системы генерации трансляторов. [c.82]

Отображение областей действия семантических таблиц (фреймов) и их атрибутов и самих атрибутов 0 на графе GR = W, R) базы достигается использованием функций отметок вершин графа, устанавливающих однозначное соответствие между вершинами графа и именами семантических объектов 8 Р), фреймов и атрибутов, т. е. а также именами соответствующих грамматических конструкций и их элементов. При использовании системы генерации трансляторов отметка вершин графа именными множествами 8 Р), S ж грамматических конструкций входных языков производится автоматически на основе декларативного описания семантических объектов 8(Р) и средствами языка декларации базы и атрибутной разметки грамматических правил входных языков комплексной САПР (или ППП) средствами МБНФ. [c.114]

Предметная область комплексной САПР является дискретной. Поэтому из существующ,их кибернетических моделей [52] для моделирования знаний о программных единицах целесообразнее использовать алгебраические модели (графовые модели не подходят по указанным выше причинам). Среди алгебраических моделей наибольший интерес представляют модели систем искусственного интеллекта, так как автоматизированный синтез структуры системы является процедурой принятия решения такой системой. В них используются следуюш ие модели представления знаний декларативные, процедуральные, специальные. Оценим их возмолшости, преимущества и недостатки. [c.165]

Например, вместо хранения информации о всех возможных состояниях игры в 8 (декларативное представление знаний) можно хранить программу, которая сгенерирует из начального состояния все возможные. Процедуральные модели обеспечивают более быстрый поиск решения по сравнению с декларативными и обладают мепьшими средствами для накопления информации. Наличие механизма недетерминированного поиска делает их менее приспособленными к решению задач в сложных и не полностью известных предлгетных областях. Разделение описания синтаксиса и семантики в рассмотренных моделях представления знаний имеет положительные и отрицательные стороны. [c.166]

С целью повышения эффективности системы на основе соединения моделей двух типов были разработаны различные варианты моделей знаний в виде семантических сетей (класс специальных моделей). В этом представлении описание объекта осуществляется на естественном языке. В представлении простых логических отношений типа логических связок, кванторов общности и существования семантические сети уступают декларативному представлению предметной области, в части отображения динамических и параллельных процессов — процедуральному. [c.166]

В XX веке коммунистическая идеология, господствовавшая на большой части этого пространства, не только эффективно использовала, но и значительно укрепила коллективистские начала, а также достаточно последовательно насажд ала (иногда лишь декларативные) идеи дружбы народов. [c.153]

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

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