Cтраница 2
Построение подобной оценки специфично для каждого отдельного алгоритма ВВС, поскольку при этом существенно используется графовая структура проектируемой сети. [16]
Описанная работа по генерации вариантов ( сценариев) решений с помощью когнитивных карт, сводится к перебору дуг графовой структуры, описывающей исследуемую проблему. [17]
Доказательство того, что формулы (6.10) - (6.13) дают оценку функционала, можно провести по той же методике, что и для оценки (6.7), учитывая при этом иную графовую структуру отдельных компонент. [18]
Рт, включаемых в k - й этап связной отладки при п-м варианте разбиения и n - м варианте объединения графа Г; R2 n - множество индексов подграфов из ртп, включаемых в k - й этап связной отладки при m - м варианте разбиения и п-м варианте объединения графа Г; р п - исходная графовая структура. [19]
Рассматриваются методы достоверного ( дедуктивного) и правдоподобного ( абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Доила, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения без учителя и с учителем. Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. [20]
Доска объявлений - основная коммуникационная среда, обеспечиваемая системой HEARSAY-III - используется прикладными программами как информационное хранилище для модели предметной области, для представления частичных решений и представления незавершенных ( задержанных) действий. HEARSAY-III поддерживает на доске объявлений представление графовых структур, состоящих из структурированных вершин, названных узлами, и помеченных дуг, названных ролями. Доска объявлений разбита на две части: доска объявлений для предметной области и доска объявлений для планирования. [21]
Выбор варианта разбиения графа Г на подграфы при решении задачи выбора оптимальной стратегии системной отладки сводится к выбору состава v групп, где v - число программных модулей комплекса, при соответствующих ограничениях на возможные комбинации программных модулей в группах. Выбор варианта объединения полученных при разбиении подграфов графа Г до исходной графовой структуры сводится к выбору состава этапов объединения V непустых подграфов в исходную графовую структуру. [22]
Графовая структура представляет собой структуру наиболее общего вида. Рассмотренные выше списочные и древовидные структуры можно рассматривать как частный случай графовой структуры. [23]
Выбор варианта разбиения графа Г на подграфы при решении задачи выбора оптимальной стратегии системной отладки сводится к выбору состава v групп, где v - число программных модулей комплекса, при соответствующих ограничениях на возможные комбинации программных модулей в группах. Выбор варианта объединения полученных при разбиении подграфов графа Г до исходной графовой структуры сводится к выбору состава этапов объединения V непустых подграфов в исходную графовую структуру. [24]
В частности, примитивные сети весьма похожи по своим свойствам на автоматные ( § 4.1, но не совпадают с ними. В примитивной сети каждый переход имеет ровно одно входное и одно выходное место, сеть консервативна. Графовая структура примитивных сетей более ограничена, чем у автоматных сетей, за счет ее регуляризации, получаемой при алгебраическом способе конструирования с помощью операций присоединения, исключения и итерации. [25]
Схема инженерной сети охватывает основные технологические объекты нефтегазового комплекса: объекты добычи, подготовки, транспорта и переработки нефти, перекачки сточной и пресной воды, закачки ее в нефтяные пласты, начиная от добывающих и кончая нагнетательными скважинами. Модель инженерной сети представляет собой систему уравнений баланса, дополненных соотношениями, описывающими процесс измерения расходных параметров потоков жидкости. В модели графовая структура инженерной сети представляется в виде матрицы баланса, а калибровочные таблицы измерительных приборов используются для определения поправочных коэффициентов к измеренным значениям. [26]
Рассматриваются методы достоверного ( дедуктивного) и правдоподобного ( абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Доила, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения без учителя и с учителем. Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. [27]
В параллелизме на уровне дизъюнктов данными, над которыми производится параллельная обработка, являются формулы некоторого языка. В системах, основанных на языке Пролог, имеет место AND-параллелизм и OR-параллелизм. В данной главе также будут описаны некоторые формы параллелизма на графовых структурах. [28]
Сети Петри моделируют широкий спектр дискретных систем ( с учетом теоремы 3.7), но для некоторых распространенных специальных классов систем удобно применять сети Петри не общего вида, а некоторые их подклассы, более простые и более адекватные рассматриваемым системам. Кроме того, проблемы анализа свойств сетей общего вида оказываются или неразрешимыми или достаточно сложными. Поэтому вводились и исследовались различные подклассы сетей Петри, получаемые в основном путем упрощения топологии ( графовой структуры) сетей; некоторые из этих подклассов рассматриваются в этой главе. [29]
Таким образом, данная книга состоит из трех частей, каждая из которых посвящена дедукции, абдукции и индукции соответственно. В первой части, содержащей пять глав, рассмотрены проблемы достоверного вывода. Глава 1 носит обзорный характер и посвящена автоматическому доказательству теорем, в котором главный акцент сделан на метод резолюции, его модификации и применение этого метода в языке Пролог. В следующих двух главах рассмотрены методы вывода на графовых структурах. [30]