Cтраница 1
Совокупность утверждений, заголовки которых имеют одинаковый функтор и одну и ту же размерность, называется процедурой. Приведенная программа содержит одну процедуру, состоящую из пяти утверждений. Множество утверждений процедуры определяет некоторое отношение. Отношение, определяемое процедурой, называется предикатом. Число аргументов предиката - это размерность заголовков соответствующих ему утверждений. [1]
Совокупность утверждений теоремы I о резольвенте ТЦи оператора Н мы, пользуясь обычной терминологией, и называем принципом предельного поглощения. [2]
Пролог представляет собой совокупность утверждений и правил. Утверждения состоят из предикатен, логических ев стант и образуют базу данных. Правила ( дпзъюн имеют вид А если В ( и В. [3]
Знание определенной предметной области, складывается из совокупности утверждений относительно этой области. Обычно выделяют два способа представления знаний: декларативный и процедурный. [4]
Наблюдение как средство познания дает в форме совокупности эмпирических утверждений первичную информацию о мире. [5]
Элементарная теория абстрактной категории ( ЕТАС) - это некоторая совокупность утверждений Е, где используются буквы а, 6, с... [6]
Представление сложной системы или процесса в целом всегда формулируется в виде некоторой совокупности логически связанных утверждений. Развитость представления определяется уровнем общности и степенью завершенности утверждений. Начальный этап разработки представления или теории в большинстве случаев состоит из схематизации системы, в процессе которой составляется перечень основных специфических свойств системы и ее элементов. Дальнейшее развитие представления приводит к составлению диаграмм связей и соотношений между элементами системы, отражающих характерные особенности и формы функционирования системы. Методы составления таких диаграмм могут быть различны. Однако принципиальное значение имеет разработка причинных моделей сложных систем и процессов, представляющих собой ориентированные графы причинно-следственных связей между компонентами или элементами системы, с количественной оценкой интенсивности причинных влияний в системе. Такая причинная модель по существу является прототеорией, так как достаточно полно качественно и количественно отражает специфику причинно-следственной структуры исследуемой системы. [7]
В топологии, алгебраической геометрии и гомологической алгебре под одним общим термином двойственность Пуанкаре понимают совокупность утверждений об изоморфизме гомологии и когомологий дополнительных размерностей в различных ситуациях. [8]
Базисом всех методов формирования знаний является индукция, которая лежит в основе получения общих выводов из совокупности частных утверждений. [9]
В отличие от дедуктивного вывода существуют задачи, в которых некоторый общий вывод необходимо построить на основе совокупности частных утверждений. При этом используют аппарат математической логики, теории вероятностей и математической статистики. [10]
В широком толковании в ЛП включают круг понятий, методов, языков и систем, в основе которого лежит идея описания задачи совокупностью утверждений на некотором логическом языке и получение решения задачи путем построения логического вывода в некоторой формальной дедуктивной системе. Классы формул, используемые для описа-н ия задач, методы вывода и модели вычислений, используемые в таких системах, очень разнообразны. Поэтому различные их комбинации образуют специфические стили программирования: концептуальное, функциональное ( аппликативное) и другие. [11]
Поскольку из ( а) и ( в) следует утверждение, отмеченное на рис. 237 и 238 знаком (), то в совокупности утверждений задачи 159 содержатся все те утверждения, которые были использованы во II доказательстве неразрешимости предыдущей задачи. [12]
Основная идея логического подхода состоит в том, чтобы рассматривать всю систему знаний, необходимую для решения прикладных задач и организации взаимодействия ЭВМ с пользователем, как совокупность утверждений. [13]
Качество фальсифицируемости существенно, так как лучшие законы и теории могут быть построены только путем исключения совокупностей логически допустимых утверждений о наблюдении. Ясно, что, чем легче опровергнуть гипотезу, тем лучше ( учитывая, что это качество важно) и что так называемые смелые точные гипотезы более полезны, так как, если их не удается опровергнуть, они сулят значительный научный прогресс, а точные гипотезы легче поддаются опровержению, чем неточно сформулированные. [14]
Из сформулированного выше вопроса видно, что проблемы машинного обучения и автоматического формирования знаний тесно смыкаются с общей проблемой индукции, состоящей, как отмечено в [59], в выяснении того, на что мы опираемся, когда переходим от фактов к закону, который выражает некоторые регулярности природы. Таким образом, будем считать индукцию тем механизмом, который лежит в основе получения общих выводов из совокупности имеющихся частных утверждений. [15]