Информационные технологии /technologies information ТК 022

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

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

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

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

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

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

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

Поток данных — последовательность данных, непрерывно подаваемых при конвейерной архитектуре в операционное устройство, выполняющее над ними однотипные операции. [Толковый словарь по искусственному интеллекту / Авторы-составители

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

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