Cтраница 1
Построение выводов в модели Мс основано на установлении семантического соответствия между целевыми понятиями и понятиями, характеризующими элементы текущей ситуации. [1]
Ответственность за построение вывода, за управление протоколом связываний и извлечение ответа может быть либо полностью возложена на систему, либо распределена между системой и программистом в зависимости от особенностей конкретной реализации. Каждое вычисленное решение обладает требуемым свойством - оно логически следует из данных допущений, а само вычисление может быть прямо понято как процесс разумных и систематических рассуждений. Очень немногие из существующих формальных систем программирования обладают этими качествами. [2]
Рассмотрим пример построения выводов в односторонней модели. [3]
Рассмотрим схему построения выводов, в которой условием включения понятий является вхождение планов содержаний характеристик плана содержания целевого понятия в планы содержания характеристик включаемых понятий. [4]
В процессе построения выводов могут образовываться производные отношения. [5]
Мс осуществляется путем построения выводов из заданного множества целевых понятий. Роль предикатов играют целевые понятия, для которых определены правила вхождения. Понятия х, стоящие в плане содержания производного понятия, будем называть характеристиками определяемого понятия. Характеристику Хг, входящую в признак fiXj, где Ti - отношение предмет х является видом предмета у, буд ем называть смысловой, а признак TiXj - смысловым признаком. [6]
Доказывается теорема индукцией по построению вывода НА - h CT. Среди логических постулатов ( в формулировке HPQ) отличным от 5.4 образом трактуются лишь постулаты, относящиеся к дизъюнкции и существованию. Мы рассмотрим их последовательно, доказывая попутно необходимые вспомогательные факты. [7]
При наличии короткого ряда наблюдений построение выводов по методам математической статистики влечет за собой значительные ошибки. [8]
Так просто решается проблема о построении вероятностных выводов о неслучайной величине 90, что вызывает естественное недоумение долгий путь к уяснению очевидной истины: статистические выводы, построенные на основе анализа случайной величины, случайны по своей природе и не требуют обязательного внесения элемента случайности в сами оцениваемые величины. [9]
Этот хорошо известный факт доказывается индукцией по построению вывода h S секвенции S. Заметим, что в этой теореме имеется в виду выводимость в полной системе с сечением. [10]
Таким образом, формулы из Г при построении вывода из Г играют ту же роль, что и аксиомы; обычно эти формулы называются гипотезами. Очевидно, что если множество гипотез Г пусто, то определение выводимости из Г превращается просто в определение выводимости. [11]
Заключительным этапом работы над черновой рукописью диссертации является построение выводов и предложений. [12]
Как только допущения и запрос сформулированы, они подаются на вход системе построения резолютивного вывода, реализованной на ЭВМ. Система пытается ответить на запрос, строя подходящее опровержение. Если на запрос можно получить ответ на основе знаний, закодированных во входных допущениях, то система обязательно его обнаружит. [13]
Сразу же оговорюсь, что байесовский не является единственно возможным подходом к построению выводов. Имеются и другие, например методы классической статистики, а в последнее время - методы распознавания образов. Я не собираюсь углубляться в их рассмотрение, поскольку это непомерно расширило бы предмет настоящей главы. Лично я считаю байесовский подход чрезвычайно полезным и думаю, что читатель получит наибольшую пользу от чтения этой главы; если я сосредоточу внимание на одном методе, проследив достаточно глубоко его работу. [14]
Представление знаний в виде атомов, более элементарных, чем слова, упрощает построение выводов. Однако не следует забывать, что чем мельче атомы, тем длиннее запись информации, выраженной в этих атомак, п тем сложнее сопоставить ее с внутренними знаниями. Таким образом, разбиение па атомы упрощает вывод, но усложняет отображение входной информации на внутреннее представление. [15]