Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

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

..pdf
Скачиваний:
34
Добавлен:
12.11.2023
Размер:
11.14 Mб
Скачать

Р у м ы н с к о - р у с с к и й

abduc^ie

v

abordare

Bayesiana

a b s tra c t iune

a b s tr a c t iz a r e a d a te lo r

a c h iz i^ ie

de

cuno$tinj:e

a c h iz i^ ie

de

cu n o ^ tin te

ac t

de

v o rb ire

 

ac tiu n e

 

 

 

 

ac to r

 

 

 

 

a Igori tm

g e n e tic

alg o ritm

alg o ritm

unda

 

anafor&

morfologicS

analizS

analizS

pe baz£

de c l u s te r e

a n a liz a p ro to co lu lu i

a n a liz a

scen elo r

an a liz a s i n t a c t i c a

a n a liz o r

s i n t a c t i c

ana logle

 

 

 

anim atie

 

sablon

ap e la re

prin

arbore

binar

 

 

arbore

de

componente

arbore

de

d e c iz ie

arbore

de

dependente

arbore

de

scop

 

arbore

in f e r e n t ia l

argumentat ie

 

 

argumentaj: le

 

 

a r h it e c t u r a c a l c u l a t o r u l u 1

a r h ite c tu rS

dataflow

a r h it e c t u r a p a r a le la

a r h ite c tu rS

p ip e lin e

a r h it e c t u r a

p ip e lin e

a r h it e c t u r a

RISC

a r h it e c t u r a

SIMD

a r ta

com puterizata

as o c ie re

 

 

 

atom

 

 

 

 

 

a t r i b u t

 

 

 

 

automat

c e lu la r

 

automat

 

automat

f i n i t

m&rginit

automat

l in i a r

automat

push-doun

automat

secvenjiial

automat

s to h a s tic

autom atizarea

a c t i v i t a t u de birou

ax ю та

cuno^tinfe

 

b az |

de

d eschisa

baza

de

cuno^tin^e

baza

de

Cuno^tinie

inchisa

bazS

de

cu n o ^ tin te

in te n sio n a la

baza

de

date

ex ten sio n ala

bazel

de

d ate

b a z |

de

d ate

ie ra rh ic a

baza

de

d ate

re la ^ io n a la

behavior i sm cadru

cadru-exemplar c a d ru -p ro to t i p c a d ru -p ro to t i p

абдукция подход байесовский абстракция

абстракция данных извлечение знаний приобретение знаний акт речевой действие

актор

алгоритм

алгоритм генетический алгоритм волновой анафора

анализ

морфологический

анализ

кластерный

анализ

протокольный

анализ

сцен

анализ

синтаксический

анализатор синтаксический аналогия

графика динамическая вызов по образцу дерево двоичное дерево составляющих дерево решений дерево зависимостей дерево целей дерево вывода обоснование аргументация

архитектура компьютера архитектура потоковая архитектура параллельная паплайн-архитектура архитектура конвейерная РИСК-архитектура СИМД-архитектура творчество машинное ассоциация атом атрибут автомат

автомат клеточный автомат конечный

автомат линейно-ограниченный автомат магазинный

автомат секвенциальный автомат стохастический

автоматизация делопроизиодсiва аксиома

база знаний база знаний открытая

база знаний замкнутая база знаний интенсиональная база данных

база данных экстенсиональная база данных иерархическая база данных реляционная бихейвиоризм фрейм фрейм-экземпляр

фрейм-образец фрейм-прототип

141

cadru cazual

 

 

фрейм

падежный

 

 

caleul

 

 

 

 

исчисление

предикатов

 

calcul

cu predicate

исчисление

первого

ca|cu| cu predicate de ordinul

исчисление

предикатов

inti i

logic

 

 

порядка

логическое

 

calcul

 

 

исчисление

 

calcul

propozitional

исчисление

высказываний

calcul

propozifional

исчисление

пропозициональное

calcul

situational

 

исчисление

ситуационное

cSutare

asociativS

 

поиск

ассоциативный

 

cSutare

 

поиск

 

cSutare

dupS

optimum

поиск

по

принципу "сперва

cSutare

Jn

adincime

лучше"

глубину

 

 

поиск

в

 

задач

cSutare

j^n spatiul

problemei

поиск

в

пространстве

cSutare

in

spatiul

s t S n l o r

поиск

в

пространстве

состояний

cSutare

pe

nivel

 

поиск

в

ширину

 

 

cSu za litate

 

 

 

каузация

 

 

 

 

caz

de

profunzime

 

падеж

глубинный

 

 

caz

FilImore

 

 

падеж

Филлмора

 

общий

cel

mai

general unificator

унификатор

наибольший

c Iasi ficare

 

 

 

классификация

 

 

clauzS

Horn

 

 

 

дизъюнкт

Хорна

 

 

clauzS

vidS

 

 

 

дизъюнкт

пустой

 

 

c lusterizare

 

 

кластеризация

 

 

cogitologie

spajiului

когитология

 

 

colectarea

сборка

мусора

 

 

components

declarativa

компонента

декларативная

computator

neurobionic

ЭВМ нейробионические

 

comunicare

 

 

 

общение

 

 

 

 

concatena re

 

 

 

конкатенация

 

 

concept

 

 

 

 

концепт

 

 

 

 

concept

 

 

 

 

понятие

 

ситуационное

conducere si tuaj: iona la

управление

conj unct ie

logica

 

конъюнкция

логическое

 

consecintS

 

следствие

 

constructie

Kelly

 

конструкт

Келли

абсолютная

contrazicere

absolutS

противоречивость

corespondents

^abloanelor

поиск

по

образцу

образцом

corespondents

^abloanelor

сопоставление с

cuanti ficsre

 

 

квантификация

 

 

Cuantlf icator

existential

квантификатор

 

 

cuantificator

квантор

существования

 

cuantificator

universal

квантор

общности

 

 

cuno^tinte,

cunoa^tere

знания

декларативные

 

cunoptinte

declarativSe

знания

 

cuno^tinte

despre

domeniul

знания

о

предметной области

problemei

 

 

 

знания

эвристические

 

cuno^tinte

euristice

 

cuno^tinte

experte

 

знания

экспертные

 

cuno^tinte

pragmatice

знания

прагматические

 

cuno^tin-pe

procedurale

знания

процедурные

 

cutie neagra

 

ящик черный

алгоритмическая

decidabilitate algoritmicS

разрешимость

demonstrarea

teoremelor

доказательство

теоремы

d e m o n s t r a t e

constructivS

доказательство

конструктивное

denotat

bazei de cuno^tinpe

денотат

 

знаний

depanarea

отладка базы

descompunerea

problemei

декомпозиция

задач

descriptor

 

дескриптор

 

 

 

designat

 

 

десигнат

 

 

 

dialog Socratic

беседа сократическая

discurs

 

 

дискурс

 

 

 

disjunctie

 

дизъюнкция

когнитивный

disonanpa

cognitiva

диссонанс

distanpS

semantic^

расстояние

семантическое

142

domen iu

de

aplica|:ie

 

domeniu

bine

domeniu

de

aplicafie

st ructu rat

 

slab

domeniu

de

a p l i c a p e

st ructu rat

 

 

ent itate

 

 

 

 

eredi tantS

 

 

 

euristica

 

 

 

eveniment

 

 

 

explleafle

 

 

 

fa^etS

date

 

 

flux

de

 

 

focus

normalS

prefixatS

formS

formuIS

atomicS

 

formulS

inchisS

 

formuIS

validS

 

f ractal

de

apartenenfS

funefie

funcfie

de

opinie

 

funcfie

Skolem

 

generalizare

inductiva

generare

automatS a

lpotezelor

generare

de

te x t

generare

de

te x t

g raf

 

 

g raf £ I/SAU

 

graficS cognitivS

gramaticS

de

caz

gram atica

formala

gram atica

m a tr ic ia la

gram atica

re£ea

griIS

Kelly de

repertoriu

hartS

cognitiva

 

hermeneut ica

 

 

hlpereven iment

 

 

identlficare

cuno^t inj;elor

identif icarea

ilo c u liu n e

 

 

implicaXie

 

 

imp licit

 

 

 

incertltudine

 

 

lncertitudine

lingvistica

incompletltud ine

 

inconsistent

modelului

inducfle

completa

(matematicS)

induc^ie

inducj:ie

e m p i n c a

 

inferen^S

 

 

 

inferen^a

abductlva

mferen^a

bazata

pe cunoa^tere

inferen^a

fuzzy

 

infere nce

inductlvS

inferent

intultjon istS

inferen^S

lineara

 

lnferentS

logicS

 

lnferen^a

nemonotona

lnferen{a

plauzibi la

mferenfa

prin

analogie

mferenfa

probabilistS

lnferenfa

raf ю п а la

домен область предметная

область предметная хорошо структурированная

область предметная плохо

структурированная

сущность

наследование

эвристика

событие

объяснение

фасет поток данных фокус

форма префиксная нормальная формула атомарная формула замкнутая формула общезначимая фрактал функция принадлежности

функция доверия функция Сколема

обобщение индуктивное порождение гипотез

автоматическое генерация текста

порождение текста граф И/ИЛИ граф

графика когнитинвная грамматика падежная грамматика формальная грамматика матричная грамматика сетевая решетка Келли репертуарная карта когнитивная герменевтика гиперсобытие идентификация идентификация знаний иллокуция импликация дефол т

неопределенность

неопределенность

лингвистическая

неполнота

противоречивость модельная индукция

индукция полная (математическая)

индукция неполная (эмпирическая)

вывод вывод абдуктивный

вывод на знаниях вывод нечеткий вывод индуктивный

вывод интуиционисткий вывод линейный вывод логический вывод немонотонный

вывод правдоподобный вывод по аналогии вывод вероятностный вывод естественный

143

inginer de cuno$tin£e

 

ingineria

cuno^t inj:e lor

 

instrumente

de

ingineria

A cuno^tinj;elor

 

 

 

natural

in^elegerea

limbajului

inteligen{|

artificial^

 

interfafa

in

limbaj

natural

interface

inteligenta

 

interpretare

 

 

 

 

 

j^nterviu

 

 

 

 

 

 

:j.nvStare

din

exemple

 

 

invStare

 

 

ipotezS

de compacitate

 

ipotezS

 

judecatS

 

 

 

 

 

 

justificare

 

 

 

 

 

lambda

calcul

 

 

 

 

lanf: de

inference

 

 

 

limbaj

de

productii

 

a

limbaj

de

reprezentare

cuno^tinfelor

 

 

reprezentarea

limbaj

logic

pentru

cuno$t inj:e lor

 

 

 

 

limbaje

cadru

 

 

 

 

limbajul

interpeiSr1 lor

 

lingvisticS

computafionaiS

lingvisticS

computational

LI PS v

 

 

 

 

 

 

 

lista asociativa

 

 

 

literal

 

 

 

 

 

 

 

locuj: iune

 

 

 

 

 

 

logicS

ac^iunilor

 

 

 

logica

 

 

 

logica

bunului

simj:

 

 

logica

cauzalS

 

 

 

 

logicS

constructivS

 

 

logicS

de

ordinul

doi^

 

logicS

de

ordinul

intii

 

logica

deonticS

 

 

 

 

logica

deonticS

 

 

 

 

logicS

dinamica

 

 

 

 

logica

epistemica

 

 

 

logicS

fuzzy

 

 

 

 

 

logicS

fuzzy

 

 

 

 

 

logica

imperativelor

 

 

logicS

inductivS

 

 

 

logicS

intuifionistS

 

 

logicS

matematicS

 

 

 

logicS

monotonS

 

 

 

 

logicS

nemonotonS

 

 

 

logica

opini ilor

 

 

 

logicS

polivalentS

 

 

 

logicS

probabilistS

 

 

logicS

propozitю п а IS

 

logicS

pseudofizicS

 

implicit

logica

rafionamentului

logicS

spafialS

 

 

 

 

logicS

temporala

 

 

 

ma^inS

abstracts

 

 

 

marina

bazS

de

cuno^tin^e

ma^inS

bazS

de

date

 

 

marina

conectiva

date

 

marina

cu

flux

de

 

marina in fe re nt ia l paralelS

marina

Post

 

 

 

 

 

инженер

по

 

знаниям

 

инженерия

 

знаний

знаний

средства

инженерии

инструментальные

 

понимание

 

естественного языка

интеллект

 

искусственный

интерфейс

 

естественно-языковый

интерфейс

 

интеллектуальный

интерпретация

 

 

интервью

 

 

 

 

 

обучение

на

примерах

обучение

гипотеза

компактности

гипотеза

суждение

 

 

 

 

 

оправдание

 

 

 

 

"Лямбда"-исчисление

 

цепочка

вывода

 

 

язык

продукционный

знаний

язык

представления

язык

представления

знаний

логический

 

 

язык

фреймовый

 

 

язык

запросов

 

 

лингвистика

компьютерная

лингвистика

вычислительная

липе

 

ассоциативный

список

литера

 

 

 

 

 

 

локуция

 

 

 

 

 

 

логика

действий

 

 

логика

смысла

логика

здравого

логика

каузальная

 

логика

конструктивная

логика

второго

порядка

логика

первого

порядка

логика

деонтическая

 

логика

оценок

 

 

логика

динамическая

 

логика

эпистемологическая

логика

размытая

 

 

логика

нечеткая

 

 

логика

команд

 

 

логика

индуктивная

 

логика

интуиционисткая

логика

математическая

логика

монотонная

 

логика

немонотонная

 

логика

веры

 

 

 

логика

многозначная

 

логика

вероятностная

логика

пропозициональная

логика

псевдофизическая

логика

рассуждений

по

умолчанию

 

 

 

логика

пространственная

логика

временная

 

машина

абстрактная

 

машина

баз

 

знаний

 

машина

баз

 

данных

 

машина

связей

 

потоком

машина,

управляемая

машина

параллельного вывода

машина

Поста

 

 

144

ma$in£ Turing

 

marina

v ir tu a l^

 

masurS

de

p l a u z i b i l i t a t e

 

mecanizm

 

de

molten ire

 

mecanizm

 

in f e r e n t ia l

 

memorie

a s o c ia tiv a

 

memorie

iconica

 

memorie

v i r tu a l^

 

meniu

 

 

 

 

 

m etacunoa^tere

 

m etafora

 

 

 

 

metalimbaj

 

 

m etaproductie

 

metoda

in te r v iu lu i

lim ita re

metoda

p rin

ram ific are

MIMD-arhitecturS

 

mode l

a s o c ia tiv

 

model

 

model

c o g n itiv

 

model

com putational

 

model

conceptual

 

model

de

 

jomunicare

 

model

de

 

in v a tare

 

model

de

 

re te a

 

model

desch i s

 

model

formal

 

 

model

Tnchis

 

 

model

Kripke

 

 

model

l a b i r i n t

 

model

li n g v i s t i c

 

model

logic

 

 

model

l o g ic o - lin g v is t ic

 

model

r e la tio n a l

 

model

s it u a t i o n a l

 

model

s ti m u le n t - r e a c t ie

 

modelul

cu n o ^ tin te lo r

 

modelul

lim bajului

 

modelul

lumii

 

modelul

u t i l i z a t o r u l u i

 

modus

ponens

 

 

modus

t o ll e n s

 

multime

fuzzy

 

n e d e c i d a b il ita t e a lg o ritm ic a

n eg a tie

logicS

 

n eg a tie

 

neurobionicS

 

 

percepere

 

v

 

percepere

 

 

percepere

t a c t i l a

 

percepere

v iz u ala

 

perceptron

 

 

p erlo c u t iune

 

 

pixel

 

 

 

v

 

p l a n i f i c a r e

 

p l a n i f i c a r e d i s t r i b u i t a

 

p l a n i f i c a r e ie ra rh iz a tS

 

p l a n if ic a r e s tr a t e g ic a

 

p la n i f i c a r e t a c t i c a v

p la n if ic a re a

a c t i v i t a t i l o r

p l a n if ic a to r

 

p red ic at

p a ra le lS

p re lu c ra re

p re lu c ra re a

im aginilor

p re lu c ra re a

lim bajului n atu ra l

10 - 6474

 

машина Тьюринга машина виртуальная мера правдоподобия механизм наследования механизм вывода память ассоциативная память иконическая память виртуальная меню метазнание метафора метаязык метапродукция метод интервью

метод ветвей и границ МИМД архитектура модел ь модель ассоциативная

модель когнитивная модель вычислительная модель концептуальная модель общения модель обучения модель сетевая модель открытая модель формальная модель замкнутая модель Крипке модель лабиринтная

модель лингвистическая модель логическая

модель логико-лингвистическая модель реляционная модель ситуаций

модель стимул-реакция модель знаний модель языка модель мира

модель пользователя модус поненс модус толленс

множество нечеткое неразрешимость алгоритмическая отрицание отрицание логическое нейробионика

восприятие

перцепция восприятие тактильной

информации восприятие зрительной

информации

перцептрон

перлокуция

пиксел

планирование планирование распределенное

планирование иерархическое планирование стратегическое планирование тактическое планирование деятельности планировщик предикат

обработка параллельная обработка изображений обработка естественного языка

145

prelucrarea

semnalelor

 

обработка

сигналов

presupunere

rezolutiei

 

пресуппозиция

 

 

principiul

 

 

принцип

резолюции

 

Pr°b5

 

 

ata^ata

 

 

свидетельство

 

 

procedura

 

 

процедура

присоединенная

procedur!

de

respingere

 

процедура

оповещения

proces

asincron

 

 

 

процесс

асинхронный

procesor

asociativ

 

 

процессор

ассоциативный

procesor

baza

de

date

 

процессор

базы

данных

procesor

inferential

 

 

процессор

логического вывода

procesor

lingvistic

 

 

процессор

лингвистический

procesor

logic

 

 

 

процессор

логический

procesor

matricial

 

 

процессор

матричный

procesor

simbolic

 

 

процессор

символьный

product ie

 

 

 

 

 

 

продукция

эвристическая

program

euristic

 

 

 

программа

program

 

ludic

 

 

 

 

программа

игровая

 

programare

 

automat!

 

 

программирование

эвристическое

programare

 

juristic!

 

 

программирование

programare

 

in

inteligenta

ИИ-программирование

art if icia l!

 

 

 

 

программирование

лог ическое

programare

 

logic!

pe

obiecte

programare

 

orientat!

программирование

обьектно-

proiectare

 

asistata

de

calculator

ориентированное

 

 

система

автоматизированного

 

 

 

 

 

 

 

 

 

проектирования

 

propozitie

 

 

 

 

 

 

пропозиция

 

 

 

 

propozitie

 

atomic!

 

 

высказывание

атомарное

propozitie

 

 

 

высказывание

prototip

cadru

 

 

 

протофрейм

когнитивная

psihologie

 

cognitiv!

 

 

психология

rat ionament

autoepistemic

рассуждение

автоэпистемическое

rationament

рассуждение

rationament

de bun simt

 

рассуждение

здравого смысла

rationament

hermeneutic

 

рассуждение

герменевтическое

rationament

implicit

 

 

рассуждение

по

умолчанию

rationament

inainte

 

 

вывод прямой

немонотонное

rationament

nemonoton

 

рассуждение

rationament

plauzibil

 

рассуждение

правдоподобное

rationament

prin

analogie

рассуждение

по

аналогии

rationament

prin

asociere

рассуждение

по ассоциации

recunoa^terea

forme lor

 

распознавание

образов

recunoa^terea

vorbirii

 

распознавание

речи

referint!

a n a f o n c !

 

 

ссылка

анафорическая

regasire

a

informatiei

 

поиск информационный

regu l!

de

inferent!

 

 

правило

вывода

 

 

regul!

compozitionala

правило

композиционное

regul!

de

inferenf!

правило

вывода

regul!

sintactic!

 

 

правило

синтаксическое

regulile

lui

de

Morgan

 

правила

де Моргана

relatie

antiref lexiv!

 

отношение

антирефлексивное

relatie

 

отношение

relatie

antisimetrica

 

отношение

антисимметричное

relatie

antitranzitiva

 

отношение

антитранзитивное

relatie

cauzal!

 

 

 

отношение

каузальное

relatie

de

actiune

 

 

отношение

действия

r e l a t e

 

de

echivalenta

 

отношение

эквивалентности

relatie

de

modelare

fuzzy

отношение

моделирования

relatie

de

relevant!

 

 

нечеткое

 

 

 

 

 

отношение

релевантности

relatie

de

tolerant!

 

 

отношение

толерантности

relatie

extensionala

 

 

отношение

экстенсиональное

relatie

functional!

 

 

отношение

функциональное

relatie

intensional!

 

 

отношение

интенсиональное

relatie

nereflexiv!

 

 

отношение

нерефлексивное

relatie

nesimetric!

 

 

отношение

несимметричное

146

ге lat ie

net ranz1 1 ivS

ге lat ie

reflexiva

ге lat ie

semant1 cS

ге lat ie

simetrica

ге lat ie

spatiaIS

ге lat ie

temporal^

ге lat ie

tranzitivll

ге lat ie

vi rtua ik

ге lua re

 

reprezentare extensionalS

reprezentarea

cunoa$terii

reprezentarea

datelor

resolvitor de

probleme

retea

 

 

 

rete a a s o c ia tiv a

rete a

cauzalS

 

 

rete a

cauzalS

 

 

retea

de conexiuni

rete a

rete a de

 

in fe re n te

de t r a n z i t i e e x tin s a

rete a

P e tri

 

 

rete a

semantica

ex ten sio n alS

rete a

sem antics

retea

semantic^

intensionalS

reuniune de confirman rezolut ie

rezolvent robot autonom robot integral

robot inteligent ^abIon

gabion

scarS absolutS scara fuzzy scara metricS scarS Osgood scara relativa scarS topologica scara universala scenariu

schema conceptuala secventa

selectie^de instruire semantica

semantica situationala semiot ica

sintaxS

sintezS automata a programelor sintezS inductivS a programelor sistem axiomatic

sistem bazat pe cunoajstere sistem bazat pe reguli sistem cadru

sistem

de

a d m in istra re

a

bazelor

de c u n o ^ tin te

a

bazelor

sistem

de

administrare

de date

cadre

 

 

sistem

de

 

 

sistem

de

ca lc u l din g e n e ra tia

a cincea

sistem de instruire inteligent

sistem de limbaj natural sistem de opini i

отношение нетранзитивмос отношение рефлексивное отношение семантическое отношение симметричное отношение пространственное отношение временное отношение транзитивное отношение виртуальное бектрекинг

представление экстенсиональное представление знаний представление данных решатель задач сеть сеть ассоциативная

сеть причинно следственная сеть каузальная сеть соединительная

сеть вывода сеть переходов расширенная сеть Петри сеть семантическая

сеть семантическая экстенсиональная сеть семантическая

интенсиональная

Объединение свидетельств резолюция резольвента робот автономный

робот интегральный робот интеллектуальный образ образец

шкала абсолютная шкала размытая шкала метрическая шкала Осгуда шкала относительная

шкала топологическая шкала универсальная сценарий схема концептуальная секвенция

выборка обучающая семантика

семантика ситуативная семиотика синтаксис

синтез программ автоматический синтез программ индуктивный система аксиоматическая система основанная на знаниях система основанная на правилах оболочка система управления базой

знаний система управления базой

данных система фреймов

система пятого поколения вычислительная

система интеллектуальная обучающая

система естественно-языковая система доверия

147

sistem

 

de

produc^ii

sistem

 

de

p r o d u c f n

sistem

 

de

re p re z e n ta re a

c u n o a ^ te rii

 

 

 

sistem

 

d ed u ctiv

 

 

sistem

 

ex p ert

vid

 

sistem

ex p e rt

 

sistem

 

e x p l i c a t i v

 

sistem

 

formal

 

 

 

sistem

in d u c tiv

 

de conducere

sistem

in fo rm atic

sistem

i n s t r u i b i l

i n t e lig e n t

sistem

i n s t r u i b i l

sistem

in te l i g e n t

 

sistem

i n t e r a c t i v

 

sistem

in tre b a re - rS sp u n s

sistem

m u ltip ro ceso r

s lot

 

Osgood

 

 

 

spaf:iu

 

 

 

spa^iu

sem antic

 

 

s p a fiu l o b ie c ti v e lo r

s p a tiu l

s tS r i l o r

 

s t i i n t a

co g n itiv S

 

s t r a t e g i c

de

c o n tro l

a in f e r e n t e lo r

 

s t r u c t u r e

c o g n itiv e

s tr u c tu rS

co g m tiv S

s t r u c t u r e

de

caz

 

s t r u c t u r e

de

profunzime

s t r u c t u r e

omogenS

 

sursS

de

c u n o s tin te

sylog i sm

 

 

 

 

tab l l

 

a c t e l o r

de

v o rb ire

t e o r i e

t e o r i e

axiom atica

 

t e o r i e

logicS

 

 

 

termen

 

Church

 

 

te z a

lui

d ate

t i p a b s t r a c t

de

t i p de

d ate

 

 

 

tra d u c e re

automata

 

u n i f i c a r e

 

 

 

 

uni f i c a t o r

 

 

 

u n iv e rs

Herbrand

 

u n iv e rs

 

u n iv e rsu l

problemei

v a l id a r e

 

 

 

 

v a lo a re

im p lic ita

 

v a lo a re a va t r i b u t u l u i

v a r i a b i l a

lin g v is tic S

v a n a b i l S

propoz 1 1 iona IS

v a r ia b iI S

legatS

 

vedere

a r t i f i c i a l a

 

v e r i f i c a r e videoprocesor

система продукций система продукционная

система представления знаний

система дедуктивная система экспертная система экспертная пустая система объяснения система формальная система индуктивная система управления

автоматизированная система обучающаяся система интеллектуальная

обучающаяся система интеллектуальная

система интерактивная система вопросно-ответная Система мультипроцессорная слот пространство Осгуда

пространство семантическое

пространство целевое пространство состояний когнитивная наука стратегия управления выводом

структура когнитивная структура познавательная структура падежная структура глубинная структура однородная источник знаний силлогизм доска объявлений

теория речевых актов теория аксиоматическая теория логическая терм тезис Черча

типы данных абстрактные тип данных перевод машинный унификация унификатор универсум универсум Эрбрана

область проблемная валидация значение по умолчанию значение атрибута

переменная лингвистическая

переменная пропозициональная переменная связанная

зрение машинное верификация видеопроцессор

148

С л о в а ц к о - р у с с к и й

A/ALEBO g raf abdukcia

a b s tra k c ia

,

 

 

 

a b s tra k c ia

udajov,

 

a b s tra k tn e

udajove typy

akcia

 

,

 

 

f

aktor

 

 

 

alg o ritm ick a

nerozhodnute Inost?

alg o ritm ick ^

rozhodnute I'nost'

algoritm us

geneticky

 

algoritm us

 

algoritm us

vlnovy

 

anafora

f

 

 

t

 

an afo rick a

odvolavka

 

ana logia

morfologicka

 

analyza

 

anal'/za

protokolova

 

analyza

seen

 

 

 

analyza

sy n ta k tic k a

 

analyza

zhlukova

 

an a ly z ato r

sy n ta k tic k y

a r c h ite k tu ra

p a ra le ln a

a r c h ite k tu ra

po6ita£ova

a r c h ite k tu ra

riadena

tokom udajov

a r c h ite k tu ra

RISC

 

a r c h ite k tu ra

SIMD

 

a rc h ite k tu ra

VLSI

 

a r c h ite k tu ra

zretazena

a rc h ite k tu ra

zretazen a

argument^cla

 

 

 

argumentacia

 

 

 

asociaci^a

 

hl'adanie

 

a s o c ia tiv n e

 

a s o c ia tw n y

zoznam

 

atom

 

 

 

 

 

a t r i b u t

 

 

 

 

7

automat

bunkovy

 

automat

ce lu la rn y

automat

koneeny

 

 

automat

l in e a rn e ^ h ra n ic e n y

automat

sekvenXny

 

automat

s to c h a s tic k y

 

autom aticke

generovanie hypotez

autom atizacia ^ ad m in istrativ y

automatizovane

p ro jek to v an le

automat izovany

system

n a d e m a

/

 

 

f

 

 

axioma

 

 

 

 

bayesovsky

p ris tu p

 

behaviorizmus

 

 

Churchova

teza

 

 

ciern a skrinka

 

 

l i s t e n i e

pamati

 

 

dedenie

/

 

 

 

 

d e fa u lt

hodnota

 

d efau lto v a

 

deklaratiV na

zlozka

 

dekompozfeia

problemu

 

denotat

 

 

 

 

 

d esig n at

d e s k rip to r

И/ИЛИ граф абдукция абстракция абстракция данных

тип данных абстрактный действие актор

неразрешимость алгоритмическая

разрешимость алгоритмическая алгоритм

алгоритм генетический алгоритм волновой анафора ссылка анафорическая аналогия

анализ морфологический анализ протокольный анализ Сцен анализ синтаксический анализ кластерный

анализатор Синтаксический архитектура параллельная архитектура компьютера архитектура потоковая РИСК-архитектура СИМД-архитектура МИМД архитектура

архитектура конвейерная паплайн-архитектура аргументация

обоснование

ассоциация поиск ассоциативный

список ассоциативный атом атрибут автомат

автомат клеточный автомат конечный

автомат линейно-ограниченный автомат секвенциальный автомат стохастический

порождение гипотез автоматическое

автоматизация делопроизводства система автоматизированного

проектирования система управления

автоматизированная

аксиома

подход байесовский бихейвиоризм тезис Черча ящик черный сборка мусора

наследование

дефолт

значение по умолчанию компонента декларативная декомпозиция задач денотат десигнат дескриптор

149

d is j unkcia

,

 

 

d isk u rz

 

 

 

 

dokaz

kon^tru k tiv n y

 

dokazovanie

teor£m

 

e n t i t a

x

 

 

,

 

 

exp ertn y

 

system

 

 

ex p ertn ^

 

system prazdny

formatny

 

model

 

 

formula

atomicka

 

 

formula

p la tn a

 

 

formula

u zav reta

 

 

f r a k t a l

 

,

 

 

 

funkcia

p r i s l u s n o s t i

 

funkcia

Skolemova

 

 

funkcia

v ie ry

 

 

generovanie

te x tu

 

 

generovanie

te x tu

 

 

g ra f

 

 

 

 

 

 

g r a f ik a dynamiqka

 

 

g r a f ik a kogniti'vna

 

gram atika

formalna

 

gram atika

maticova

 

gram atika

padova

 

 

gram atika

sietb v S

 

 

Herbrandovo

univerzum

hermeneut i ka

 

 

h e u r is t ic k y

program

 

h e u r is t ik a

 

 

 

hl'adanie

 

(vyh I'adavanie)

hl'adanie

 

do

hl'bky

 

 

hl'adanie

 

do

Si'rky

 

 

hl'adanie

 

porovnavanim obrazcov

hl'adanie

 

sposobom

"najprv naj lepsi ”

hl'adanie

 

v

problemovom p r i e s t o r e

hl'adanie

 

v

stavovom

p r i e s t o r e

hodnota

a t r i b u tu

 

 

hypoteza

 

kompaktnosti

hypoteza

 

i d e n t i f i k a c i a

 

7

i d e n t i f i k a c i a z n a lo s ti

i lokucia

 

 

 

 

 

im plikacia

 

 

 

indukcia

 

neuplna

(em piricka)

indukcia

 

indukcia

 

u p ln i (matemat1 ck a)

in duktivne

zovSeobecnenie

inferen6ny

ret'azec

 

in te lig e n tn y medzistyk

i n t e r p r e t a c i a

 

 

in te rv iew

 

t

 

 

jazyk

dotazovaci

 

 

jazyk

produkSny

 

 

jazyk

ramcovy

 

z n a lo s ti'

jazyk

re p re z e n ta c ie

jazyk

re p re z e n ta c ie

zn a lo sti'

logicky

n e u r c ito s t

 

jazykova

 

 

kauzacia

k o n stru k t

 

 

Kellyho

 

m nezka

Kellyho

rep erto aro v a

к Iasi f i kacia

 

 

k lau zu la

 

Hornova

 

 

Д И З ЪЮНКЦИЯ

дискурс доказательство конструктивное

доказательство теоремы сущность

система экспертная система экспертная пустая модель формальная формула атомарная формула общезначимая формула замкнутая фрактал функция принадлежности

Функция Сколема функция доверия порождение текста генерация текста граф графика динамическая

графика когнитивная грамматика формальная грамматика матричная грамматика падежная грамматика сетевая универсум Эрбрана герменевтика программа Эвристическая эвристика поиск

поиск в глубину поиск в ширину поиск по образцу

поиск по принципу "сперва лучше"

поиск в пространстве задач поиск в пространстве состояний значение атрибута гипотеза гипотеза компактности идентификация

идентификация знаний иллокуция импликация индукция индукция неполная

(эмпирическая) индукция полная

(математическая) обобщение индуктивное фепочка вывода интерфейс интеллектуальный интерпретация интервью язык запросов

язык продукционный язык фреймовый

язык представления знаний язык представления знаний

логический

неопределенность

лингвистическая

каузация конструкт Келли

решетка Келли репертуарная классификация дизъюнкт Хорна

150