|
<<< ΛΛΛ >>>
Т
творчество машинное computer art
тезис Черча Church thesis
теория аксиоматическая axiomatic theory
теория логическая logical theory
теория речевых актов speech act theory
терм term
тип данных data type
тип данных абстрактный abstract data type
У
универсум universum
универсум Эрбрана Herbrand universum
унификатор unifier
унификатор наибольший общий most general unifier
унификация unification
управление ситуационное situational control
Ф
фасет facet
фокус focus
форма префиксная нормальная prefix normal form
формула атомарная atomic formula
формула замкнутая closed formula
формула общезначимая valid formula
формула открытия
фрактал fractail
фрейм frame
фрейм-образец frame-prototype
фрейм падежный case frame
фрейм-прототип prototype frame
фрейм-экземпляр frame-example
функция выходов
функция доверия belief function
функция переходов membership function
функция принадлежности membership function
функция Сколема Skolem function
Х
Ц
цепочка вывода inference chain
Ч
Ш
шкала абсолютная absolute scale
шкала метрическая metric scale
шкала Осгуда Osgood scale
шкала относительная relative scale
шкала размытая fuzzy scale
шкала топологическая topological scale
шкала универсальная universal scale
Щ
Э
ЭВМ нейробионические neurobionical computer
эвристика heuristics
Ю
Я
язык автоматный
язык запросов query language
язык контекстно-свободный
язык контекстно-связанный
язык представления знаний knowledge representation language
язык представления знаний логический logical knowledge representation language
язык продукционный production language
язык секвенций
язык фреймовый frame language
ящик серый
ящик черный black box
абдукция abduction
абстракция abstraction
абстракция данных data abstraction
автомат automaton
автомат бесконечный
автомат вероятностный
автомат детерминированный
автомат инициальный
автомат клеточный cellular automaton
автомат конечный finite automaton
автомат линейно-ограниченный linear-bounded automaton
автомат магазинный push-down automaton
автомат недетерминированный
автомат с переменной структурой
автомат секвенциальный sequential automaton
автомат стековый
автомат стохастический stochastic automaton
автоматизация делопроизводства office automation
автоматизированная система управления(АСУ)
АСУ предприятием (АСУП)
АСУ технологическим процессом (АСУТП)
аксиома axiom
акт речевой speech act
актант
актор actor
алгоритм algorithm
алгоритм волновой wave algorithm
алгоритм генетический genetic algorithm
анализ
анализ кластерный cluster analisys
анализ морфологический morphologic analisys
анализ протокольный protocol analysis
анализ синтаксический syntactic analysis
анализ сцен scenary analysis
анализатор синтаксический syntactic parser
аналогия analogy
анафора anaphora
аргументация argumentation
архитектура вычислительной системы
архитектура компьютера computer architecture
архитектура конвейерная pipeline architecture
архитектура параллельная parallel architecture
архитектура потоковая data flow architecture
ассоциация association
атом atom
атрибут attribute
АБДУКЦИЯ
Правдоподобный вывод от частного к частному.
АБСТРАКЦИЯ
Процесс отcечения единичного, случайного или несущественного для последующих шагов работы. A. всегда имеет место при представлении данных и знаний о внешнем мире в интеллектуальных системах. A. используется при обобщении знаний, проведении рассуждений и планировании целесообразной деятельности. A. является средством образования понятий.
АБСТРАКЦИЯ ДАННЫХ
1. Использование при преобразовании переменных только связывающих их операций без учета внутреннего представления переменных.
2. Методология программирования, при которой программа описывается как совокупность абстрактных типов данных. (См.также Абстракция)
АВТОМАТ
Абстрактная машина, преобразующая последовательности входных символов в последовательности выходных символов. В зависимости от числа внутренних состояний памяти A. различаются конечные A. и бесконечные A.; в зависимости от однозначности или неоднозначности формирования выходных последовательностей - детерминированные A. и недетерминированные A.; в зависимости от особенностей структуры магазинные A., стековые A., клеточные A.
АВТОМАТ БЕСКОНЕЧНЫЙ
Автомат, у которого множество внутренних состояний является счетным, в частности, машина Поста и машина Тьюринга.
АВТОМАТ ВЕРОЯТНОСТНЫЙ
Частный случай стохастического автомата, когда структура автомата остается неизменной при любых результатах его функционирования.
АВТОМАТ ДЕТЕРМИНИРОВАННЫЙ
Автомат, у которого в любой такт работы набор входных символов и внутреннее состояние однозначно определяет набор выходных символов и внутреннее состояние A.Д. в последующем такте работы.
АВТОМАТ ИНИЦИАЛЬНЫЙ
Автомат с заранее фиксированным внутренним состоянием в начале работы.
АВТОМАТ КЛЕТОЧНЫЙ
Однородная структура, состоящая из клеток, в каждой из которых находится конечный автомат, в общем случае А.К. имеет четыре входа от соседних клеток и четыре выхода, идущих к ним. Все автоматы в клетках являются одинаковыми. A.K. позволяет моделировать параллельные асинхронные процессы. В частности, с помощью A.K. можно моделировать самоорганизацию различных пространственно-временных конфигураций.
АВТОМАТ КОНЕЧНЫЙ
Автомат, работа которого определяется двумя функциями:
y(t+1) = F1(x(t), y(t)),
z(t) = F2(x(t),y(t)).
Первая функция задает смену состояний автомата в дискретные такты времени t и называется функцией переходов; вторая - выходные сигналы автомата и называется функцией выхода; x, y, и z - множества двоичных векторов фиксированной длины, т.е. конечные множества. Математической моделью A.K. может служить автоматная грамматика с помощью которой порождается автоматный язык.
АВТОМАТ ЛИНЕЙНО-ОГРАНИЧЕННЫЙ
Частный вид машины Тьюринга, у которого в каждый момент времени лента имеет конечную длину. При необходимости сдвига управляющей головки за край ленты лента наращивается на конечный отрезок, нужный головке. Линейно-ограниченным автоматам соответствуют контекстно-зависимые грамматики, порождающие контекстно-зависимые языки.
<<< ΛΛΛ >>>
Определяемое из тех отношений
ВосприЯтие зрительной информации обработка сигналов
Квантификатор в узком смысле это указатель на область истинности некоторого утверждения отношений выражений
Elation отношение антисимметричное antisymmet
Грамматика совокупность правил формирования правильных предложений в рамках рассматриваемого языка
|
