Промышленные автоматизированные системы /Automation of construction production and building materials industry

Пространство задач — структура, отражающая декомпозицию крупных задач на более мелкие, вплоть до стандартных задач, решение которых предполагается известным. П.З. используется в интеллектуальных системах для

Пропозиция — предложение, суждение, утверждение. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256

Программа эвристическая — программа, в основу которой положены соображения о том, как данную проблему решает человек. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин,

Программа игровая — программа позволяющая использовать ЭВМ в качестве одного из участников игры. П.И. составляются как для игр типа шахмат, шашек и т. п., так

Принцип резолюции — метод логического вывода, в основе которого лежит приведение доказываемого утверждения к множеству дизъюктов и поиску в этом множестве пар, один дизъюнкт которых

Пресуппозиция — высказывание, истинность которого является предпосылкой истинности или ложности другого высказывания. Например, два высказывания «Кеплер умер в нищете» и «Кеплер умер не в нищете» имеют

Представление экстенсиональное — представление константных фактов, не содержащих свободных переменных в базах данных или в базах знаний. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н.

Представление знаний — формализация знаний для их ввода в базу знаний. На концептуальном уровне П.З. наиболее распространены модели знаний в виде семантических сетей, фреймов и

Правило синтаксическое — в формальной системе правило, которое определяет способ формирования синтаксически правильных выражений. В лингвистике П.С. позволяют отделять синтаксически правильные предложения данного языка от

Правило вывода — правило, с помощью которого в формальных системах из множества аксиом порождается правильно построенные формулы, которые интерпретируются как истинные. [Толковый словарь по искусственному