Проблема - полнота
Cтраница 2
В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблемы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах. [16]
Таким образом, система пропорциональных отборов сложна в технологическом отношении и не решает проблемы полноты использования запасов. [17]
Мы видим, что связь классов 0 и позволяет свести исследование функциональных возможностей класса к проблеме полноты для формул. [18]
Следует заметить, что рассмотренные здесь вопросы важности структуры кинетических моделей в значительной мере связаны с проблемой полноты экспериментальных данных, необходимых для составления математических моделей ( см. гл. [19]
Возникает обратный вопрос: будет ли всякая тождественно истинная формула выводима в исчислении предикатов Этот вопрос носит название проблемы полноты исчисления предикатов в широком смысле. Мы увидим в § 19, что проблема полноты в широком смысле решается положительным образом. [20]
В предположении, что непротиворечивость некоторой теории доказана или хотя бы принята на веру, имеет смысл поставить проблему полноты этой теории. Теория называется полной, если она содержит достаточное для какой-нибудь цели количество теорем. Исходя из различных целей, которые мы ставим при построении теории, мы приходим к различным техническим значениям понятия полноты. Ограничимся следующим из возможных определений: теория Z называется полной, если для любого высказывания S этой теории либо S, либо - 5 есть теорема. Определение это исходит из того обстоятельства, что любое высказывание S теории Z9 будучи интерпретировано в некоторой модели, оказывается непременно либо истинным, либо ложным. Следовательно, в этом случае либо S, либо - 5 оказывается истинным и должно быть теоремой в теории Z. Теория, являющаяся одновременно непротиворечивой и полной, является максимальной в отношении непротиворечивости - в том смысле, что добавление к такой теории в качестве аксиомы любого предложения, которое можно в ней сформулировать, но не являющегося ее теоремой, приводит к противоречивой теории. Проблема полноты может быть лучше всего рассмотрена по отношению к таким аксиоматическим теориям, в которые явным образом включена используемая теория логического вывода. [21]
В связи с этим рассматриваются три основные проблемы аксиоматики: 1) проблема непротиворечивости, 2) проблема минимальности, 3) проблема полноты. [22]
Представленная Максвеллом итоговая система уравнений ( а в ней присутствовали уравнения и для полей, и для потенциалов, и материальные связи, и выражения для сил) была внутренне непротиворечива, так что решение вопроса об излишествах действительно отступало пока на второй план: все это уладилось позже при формулировке и доказательстве теорем единственности ( и существова. Первостепеннее стояла проблема полноты и замкнутости ( и досто. [23]
В главе III изучаются замкнутые классы булевых вектор-функций - новое перспективное направление в теории булевых функций. Основное содержание главы III концентрируется вокруг проблемы полноты, которая, в отличие от проблемы полноты для булевых функций, решается альтернативным образом на основе теории Галуа для прямых произведений алгебр Поста. [24]
Возникает обратный вопрос: будет ли всякая тождественно истинная формула выводима в исчислении предикатов Этот вопрос носит название проблемы полноты исчисления предикатов в широком смысле. Мы увидим в § 19, что проблема полноты в широком смысле решается положительным образом. [25]
Большое количество результатов получено в теории приближения функций и интерполяции функций в комплексной области. Особое развитие в трудах советских математиков получили относящиеся сюда проблемы полноты и единственности. [26]
Я) система всех собственных и присоединенных векторов оператора X ( К) n - кратно полна в Я. При этом выявилась особая роль, к-рую играют в проблеме полноты вольтерровы операторы - вполне непрерывные операторы с единственной точкой спектра в нуле. [27]
В работе Г. А. Гринберга [130] дано решение для случая, когда на границе пластинки задан прогиб и изгибающий момент. В общем случае эта проблема оказалась тесно связана с проблемой двукратной полноты собственных и присоединенных векторов некоторого дифференциального пучка операторов. [28]
 |
Архитектура гибридной системы, использующей правила и. прецеденты. [29] |
Как уже было не раз продемонстрировано в предыдущих главах ( см., например, главы 10 - 15), построение набора правил для экспертной системы - задача далеко не тривиальная. Помимо сложностей, сопряженных с извлечением и представлением знаний, существует еще и проблема полноты охвата предметной области набором правил. В идеале база правил должна быть корректной, непротиворечивой ( по крайней мере, в рамках принятой стратегии разрешения конфликтов) и полной. Но по мере того, как количество правил расширяется, а сами правила усложняются, достичь такого идеального состояния становится все труднее. [30]
Страницы: 1 2 3 4