Принцип резолюции
Принцип резолюции — метод логического вывода, в основе которого лежит приведение доказываемого утверждения к множеству дизъюктов и поиску в этом множестве пар, один дизъюнкт которых
Принцип резолюции — метод логического вывода, в основе которого лежит приведение доказываемого утверждения к множеству дизъюктов и поиску в этом множестве пар, один дизъюнкт которых
Пресуппозиция — высказывание, истинность которого является предпосылкой истинности или ложности другого высказывания. Например, два высказывания «Кеплер умер в нищете» и «Кеплер умер не в нищете» имеют
Представление экстенсиональное — представление константных фактов, не содержащих свободных переменных в базах данных или в базах знаний. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н.
Представление знаний — формализация знаний для их ввода в базу знаний. На концептуальном уровне П.З. наиболее распространены модели знаний в виде семантических сетей, фреймов и
Правило синтаксическое — в формальной системе правило, которое определяет способ формирования синтаксически правильных выражений. В лингвистике П.С. позволяют отделять синтаксически правильные предложения данного языка от
Правило вывода — правило, с помощью которого в формальных системах из множества аксиом порождается правильно построенные формулы, которые интерпретируются как истинные. [Толковый словарь по искусственному
Поток данных — последовательность данных, непрерывно подаваемых при конвейерной архитектуре в операционное устройство, выполняющее над ними однотипные операции. [Толковый словарь по искусственному интеллекту / Авторы-составители
Порождение гипотез автоматическое — процесс получения из фактов, хранящихся в базе данных, новых информационных единиц в базе знаний. [Толковый словарь по искусственному интеллекту / Авторы-составители
Понимание естественного языка в искусственном интеллекте — совокупность моделей и процедур, с помощью которых в интеллектуальных системах происходит соотнесение поступающего текста на естественном языке с
Поиск случайный — поиск в неструктурированном пространстве поиска. При П.С. с помощью некоторого вероятностного распределения выбираются узлы пространства и проверяются, не являются ли они целевыми.