|
<<< ΛΛΛ >>>
ОТНОШЕНИЕ СЕМАНТИЧЕСКОЕ
Используемое в базах знаний отношение семантика которого задается его именем.
ОТНОШЕНИЕ СИММЕТРИЧНОЕ
Отношение, обладающее тем свойством, что для любой пары (А, В) элементов, находящихся в этом отношении, справедливо утверждение, что пара (В, А) также находится в этом отношении. Примером может служить отношение "быть супругом" для мужей и жен. Отношение, для которого это свойство не выполняется хотя бы для одного пары, называется несимметричным, а если оно не выполняется ни для одной пары - антисимметричным.
ОТНОШЕНИЕ ТОЛЕРАНТНОСТИ
Рефлексивное, симметричное и нетранзитивное отношение. Такое отношение может толковаться как отношение сходства. В отличие от отношения эквивалентности, дающего разбиение множества элементов, на котором оно определено, на непересекающиеся подмножества, О.Т. дает покрытие этого множества. О.Т. используется при классификациях информации в базах знаний.
ОТНОШЕНИЕ ТРАНЗИТИВНОЕ
Отношение, для которого из того, что пары (А, В) и (В, С) находятся в этом отношении, всегда следует, что в этом же отношении находится пара (А, С). Если это свойство не выполняется хотя бы для одной тройки элементов, то отношение называется нетранзитивным, а если не выполняется ни для какой тройки элементов, то - антитранзитивным. Примером транзитивного отношения может служить отношение "быть старше".
ОТНОШНИЕ ФУНКЦИОНАЛЬНОЕ
Отношение, с помощью которого в базе знаний задаются связи между информационными единицами. Эти связи определяют процедуры нахождения (вычисления) одних единиц через другие.
ОТНОШЕНИЕ ЭКВИВАЛЕНТНОСТИ
Симметричное, рефлексивное и транзитивное отношение. Используется для классификации множеств элементов путем разделения его на непересекающиеся классы, в совокупности покрывающие все исходное множество.
ОТНОШЕНИЕ ЭКСТЕНСИОНАЛЬНОЕ
Отношение на множестве конкретных фактов, хранящихся в базе данных. (См. также Представление экстенсиональное.)
ОТРИЦАНИЕ
Одноместная логическая операция, обозначаемая а. Для двузначной логики она определяется следующим образом: если а является истинным, то а является ложным, а если а является ложным, то а является истинным. В многозначной логике имеется несколько видов отрицания. Прямое обобщение двузначного отрицания для k-значной логики выглядит как а = (k - a) mod k.
ОТРИЦАНИЕ ЛОГИЧЕСКОЕ
См. Отрицание. падеж глубинный deep case
падеж Филлмора Fillmor case
память ассоциативная associative memory
память виртуальная virtual memory
память иконическая iconic memory
паплайн-архитектура pipeline architecture
перевод машинный machine translation
переменная лингвистическая linguistic variable
переменная пропозициональная propositional variable
переменная связанная bound variable
перлокуция perlocution
перцептрон perceptron
перцепция perception
пиксел pixel
пиктограмма
планирование planning
планирование деятельности activity planning
планирование иерархическое hierarchical planning
планирование распределенное distributed planning
планирование стратегическое strategic planning
планирование тактическое tactic planning
планировщик planner
подход байесовский Bayesian approach
поиск search
поиск ассоциативный associative search
поиск в глубину depth-first search
поиск в пространстве задач search in problem space
поиск в пространстве состояний search in state space
поиск в ширину breadth-first search
поиск восходящий
поиск информационный information search
поиск нисходящий
поиск по образцу pattern-matching
поиск по принципу "сперва лучше"best-first search
поиск случайный
поиск типа "сперва вглубь"
поиск типа "сперва вширь"
понимание естественного языка natural language understanding
понятие concept
порождение гипотез автоматическое automated hypothesis generation
порождение текста text generation
поток данных data flow
правила де Моргана de Morgan rules
правило rule
правило вывода inference rule
правило вывода композиционное compositional inference rule
правило синтаксическое syntactic rule
предикат predicate
представление данных data representation
представление знаний knowledge representation
представление экстенсиональное extensional representation
пресуппозиция presupposition
принцип резолюции resolution principle
приобретение знаний knowledge acquisition
программа игровая game program
программа эвристическая heuristic program
программирование programming
программирование логическое logical programming
программирование объектно-ориентированное object-oriented programming
программирование функциональное
программирование эвристическое heuristic programming
продукция production
пропозиция proposition
пространство задач
пространство Осгуда Osgood space
пространство семантическое semantic space
пространство состояний state space
пространство целевое goal space
противоречивость абсолютная absolute inconsistency
противоречивость модельная model inconsistency
протофрейм frame-prototype
процедура опровержения refutation procedure
процедура присоединенная attached procedure
процесс асинхронный asynchronous process
процессор ассоциативный associative processor
процессор базы данных data base processor
процессор лингвистический linguistic processor
процессор логический logical processor
процессор логического вывода inference processor
процессор матричный matrix processor
процессор символьный simbolic processor
психология когнитивная cognitive psychology
ПАДЕЖ ГЛУБИННЫЙ
См. Актант.
ПАДЕЖ ФИЛЛМОРА
См. Актант.
ПАМЯТЬ АССОЦИАТИВНАЯ
Память, ориентированная на поиск хранящейся информации по содержанию. Организована с использованием признаков (тегов), связывающих данные (информацию) по их содержанию, в отличие от обычной памяти, информация в которой отыскивается по номеру ячейки, в которой она хранится. В П.А. используется поиск по образцу.
ПАМЯТЬ ВИРТУАЛЬНАЯ
"Неограниченная" оперативная память, которой располагает пользователь. С помощью специальных системных средств в ЭВМ происходит проецирование части П.В. на поле оперативной памяти. При этом остальная часть П.В. хранится на внешних носителях.
ПАМЯТЬ ИКОНИЧЕСКАЯ
Специально выделенная область памяти, предназначенная для хранения пиктограмм - условных графических изображений информационных объектов или операций.
ПАПЛАЙН-АРХИТЕКТУРА
См. Архитектура конвейерная.
ПЕРЕВОД МАШИННЫЙ
Совокупность процедур с помощью которых на ЭВМ происходит перевод текста с одного языка на другой. Эти процедуры реализуют анализ исходного текста, его грамматический (морфологический и синтаксический) разбор, перевод текста в глубинную структуру, отражающую смысл текста. По этой глубинной структуре строится соответствующий текста на другом языке. Процедуры синтеза текста в какой-то мере повторяют в обратной последовательности процедуры анализа. В настоящее время существуют системы П.М. осуществляющие перевод текстов из фиксированной предметной области.
ПЕРЕМЕННАЯ ЛИНГВИСТИЧЕСКАЯ
Переменная, которая в качестве своих значений использует слова и словосочетания, являющиеся характеристиками какого-либо явления. Например П.Л. с именем "длина" может принимать, следующие значения: "крошечная", "очень маленькая", "средняя", "большая", "очень большая". П.Л. используются при формализации качественной информации при ее вводе в базу знаний. В нечеткой логике значения П.Л. могут выступать как специальные квантификаторы.
ПЕРЕМЕННАЯ ПРОПОЗИЦИОНАЛЬНАЯ
Переменная, используемая в пропозициональной логике.
ПЕРЕМЕННАЯ СВЯЗАННАЯ
Переменная в логике, стоящая в зоне действий квантора общности или квантора существования.
<<< ΛΛΛ >>>
Структура глубиннаЯ структура
Характерные для интеллектуальной системы
Процедуры для решения типовых задач в данной проблемной области
Отношение
Толковый словарь по искусственному интеллекту современной науки 1 автомат
|
