Толковый словарь по искусственному интеллекту

ОГЛАВЛЕНИЕ

Т

творчество машинное computer art
тезис Черча Church thesis
теория аксиоматическая axiomatic theory
теория логическая logical theory
теория речевых актов speech act theory
терм term
тип данных data type
тип данных абстрактный abstract data type

ТВОРЧЕСТВО МАШИННОЕ
Направление в искусственном интеллекте, в рамках которого создаются модели и способы генерирования на ЭВМ аналогов результатов творческой деятельности человека. Сюда относятся программы для сочинения музыкальных произведений, стихотворений, прозы, машинная графика и живопись, игровые программы и т. п.

ТЕЗИС ЧЕРЧА
Утверждение о том, что "лямбда"-исчисление эквивалентно интуитивному пониманию алгоритма Т.Ч. аналогичен другим тезисам (например, тезису Тьюринга о том, что машина Тьюринга эквивалентна интуитивному пониманию алгоритмического процесса), позволяющим формализовать понятие алгоритма.

ТЕОРИЯ АКСИОМАТИЧЕСКАЯ
Логическая теория, в которой все исходные аксиомы являются тождественно истинными, а правила вывода - достоверными.

ТЕОРИЯ ЛОГИЧЕСКАЯ
Теория, в основе которой лежит формальная система.

ТЕОРИЯ РЕЧЕВЫХ АКТОВ
Раздел лингвистики, описывающий, как в текстах на естественном языке отражаются мотивы и цели говорящего. В Т.Р.А. большую роль играют внелингвистические компоненты (длительность пауз, тон, громкость произнесения, мимика и жесты), что сближает Т.Р.А. используется при создании модели общения в интеллектуальных системах.

ТЕРМ
Константа, переменная или выражение вида f(t1, t2, ... tn) где f - функциональный символ; ti - термы.

ТИП ДАННЫХ
Объединенные под одним именем по какому-либо признаку данные. Т.Д. используются в базах данных.

ТИП ДАННЫХ АБСТРАКТНЫЙ
Описание данных на языках программирования, позволяющее создавать в памяти ЭВМ те структуры данных, которые удобны для решения задачи.

УНИВЕРСУМ
Область, на которой определены значения предиката. Из этой области берутся значения для означивания переменных, входящих в предикат. Для многоместных предикатов У. есть декартово произведение областей определения для каждого из аргументов предиката.

Ваш комментарий о книге
Обратно в раздел Наука