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

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

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

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

in t e r p r e t ^ c i a

 

 

jazyku

интерфейс

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

ro zh ran ie

v

prirodzenom

интерфейс

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

in te lig e n tn ^ m edzistyk

 

источник

знаний

zdroj

z n a lo s t f

 

 

 

исчисление

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

pofcet,

kalkul

 

 

 

исчисление

vyrokovy

pofcet

 

 

 

исчисление

логическое

logick^

kalkul^

 

 

исчисление

предикатов

p redikatovy

pocet

prveho

radu

исчисление

предикатов первого

p redikatovy

pocet

порядка

 

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

vyrokovy

kalkul

 

 

исчисление

 

 

исчисление

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

situaS ny

kalkul

 

 

карта когнитивная

ko g n itiv n a

тара

 

 

каузация

 

 

kauzacia

t

 

 

 

 

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

kvant if i k ator

v

 

 

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

k v a n tif ik a c ia

 

 

квантор

общности

kvant if ikcitor

vseobeeny

 

квантор

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

k v an tifik & to r

e x iste n en y

 

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

k l a s i f i k a c i a

 

 

 

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

zhlukovan ie

 

 

 

 

когитология

наука

k o g ito lo g ia

veda

 

 

когнитивная

kogniti'vna

 

 

компонента

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

dek la ra t i'vna zlozka

 

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

zret'azenie

v

 

 

 

конструкт

Келли

Kellyho

ko n stru k t

 

 

концепт

 

 

 

koncept

 

 

 

 

 

 

конъюнкция

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

konjunkeia

mate/naticka

 

лингвистика

l in g v i s tik a

 

лингвистика

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

lin g v i s tik a

po6itacova

 

липе

 

 

 

lip s

,

 

 

 

 

 

 

литера

 

 

 

l i t e r a l

 

 

 

 

 

 

логика

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

log i ka

pravdepodobnostna

 

логика

logika

 

логика

веры

 

logika

v ie ry

 

(casova)

логика

временная

logika

temporalna

логика

второго порядка

logika

druheho

radu

 

логика

действий

logika

ak e ii7

 

 

 

логика

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

logika

deonticka

 

 

логика

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

logika

dynamicka

 

 

логика

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

logika

"sed liack a"

 

 

логика

индуктивная

logika

indukti'vna

 

 

логика

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

logika

i n t u i c i o n i s t i c k a

 

логика

каузальная

logika

kauzalna

 

 

логика

команд

logika

povelov

 

 

 

логика

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

logika

konst rukt i'vna

 

логика

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

logika

matematicka

 

 

логика

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

logika

mnohohodnotova

 

логика

монотонная

logika

monot6nna

 

 

логика

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

logika

nemonotonna

 

 

логика

нечеткая

logika

n e o s tra

Jfuzzy)

 

логика

оценок

logika

d eo n tick a

 

 

логика

первого порядка

logika

prveho

radu

 

 

логика

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

logika

vyrokova

 

 

логика

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

logika

p r i e s t o r o v a /

 

логика

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

logika

pseudofyzlkaIna

 

логика

размытая

logika

n eo s tra

(fuzzy)

 

логика

рассуждений по умолчанию

logika

d e f a u lto v a /

 

 

логика

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

logika

epistem icka

 

 

локуция

 

 

 

lokucia

 

 

 

 

 

 

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

lambda-kalkul

 

 

 

машина

абстрактная

poci'tac

a b s tra k tn y

 

 

машина

баз

данных

poci'taS

databazovy

 

 

машина

баз

знаний

poci'tac

zn alo stn y

 

 

машина

виртуальная

po6i4a2

v ir tu a ln y

 

 

машина

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

p o c ita c

s

paralelnym

 

 

 

 

 

odvodzovan i'm

 

 

231

машина

Поста

машина

связей

машина

Тьюринга

машина, управляемая потоком данных меню мера правдоподобия

метазнание

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

метафора

метаязык метод ветвей и границ

метод интервью механизм вывода механизм наследования МИМД архитектура множество нечеткое модел ь модель ассоциативная

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

модель концептуальная модель Крипке модель лабиринтная

модель лингвистическая модель логико-лингвистическая модель логическая модель мира модель обучения модель общения модель открытая

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

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

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

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

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

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

обобщение индуктивное оболочка

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

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

обучение на примерах общение

Postov

s t r o j

(po£i'ta6)

po6i'ta£

konekcioniony

Turingov

s t r o j

(pocitaS )

po£i'ta6 riadeny tokom udajov

menu

v ie ro h o d n o st1

miera

metazna lost*

 

 

metaprodukcia

 

m etafora

 

 

 

metajazyk

 

hrani'c

metoda

v e tie v a

metoda

in terv iew

odvodzovaci'

mechanizmus

mechanizmus

d ed icn o sti

a r c h ite k t u r a

VLSI v

n eo stra

(fuzzy)

mnozina

model

 

 

,

 

model

a s o c ia tiv n y

model

vypoctovy

 

model

u z a v r e ty /

 

model

zn alo stn y

 

model

kogniti'vny

model

konceptualny

model

Kripkeho

 

model

labyrintovy

model

l in g v is tic k y

model

lo g ic k o - lin g v is tic k y

model

logicky

 

model

sv eta

sa

 

model

иб е т а

 

model

komunikacie

model

otvoreny

 

model

pouzi'vatela

model

relacny

 

model

s i e t ’ovy

 

model

situ ac n y

 

model

ak c ie

a reakcie

formalny

model

 

model

jazyka

 

 

modus

ponens

 

 

modus

to l l e n s

 

dedenie

 

 

 

neurobionika

 

 

neurSi to s t '

 

 

jazykova

neur6itost*

neup Inost’

 

 

alg o ritm ic k a nerozhodnuteInost' o b la s t’ predmetn^

o b la s t'

z le

stru k tu ro v an a

oblast* d o b re

stru k tu ro v an a

ob last'problem ova

induktivne

zovSeobecnenle

oba l

t

 

 

argumentacia

prirodzeneho

spracovanie

j azyka

 

obrazov

spracovanie

spracovanie

p a ra le ln e

spracovanie

signalov

obraz

 

 

 

o^razec

sa

 

,

ucenie

na

ибеп ie

sa

prikladoch

komunikacia

232

объединение

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

объяснение

 

 

оправдание

 

знаний

отладка

базы

отношение

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

отношение

отношение

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

отношение

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

отношение

виртуальное

отношение

временное

отношение действия

отношение

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

отношение

каузальное

отношение

моделирования нечеткое

отношение

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

отношение

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

отношение

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

отношение

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

отношение

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

отношение

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

отношение

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

отношение

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

отношение

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

отношение

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

отношение

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

отношение

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

отношение

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

отрицание

логическое

отрицание

падеж

глубинный

падеж

Филлмора

память

 

ассоциативная

память

 

виртуальная

память

 

иконическая

паплайн-архитектура

перевод

машинный

переменная

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

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

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

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

поиск

в

глубину

задач

поиск

в

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

поиск

в

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

состояний

поиск

в

ширину

 

поиск

информационный

 

поиск

по

образцу

"сперва лучше

поиск

по

принципу

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

suhrn dokIadov vysvetlenie

opravnenie

 

/

ladenie

z£kladne z n a lo s ti

r e la c ia

 

 

 

r e la c ia a n t ir e f le x i v n a

r e l a c i a

a n tisy m e tric k a

r e l a c i a a n t itr a n z iti'v n a

r e la c ia

v ir tu a ln a

r e la c ia

temporalIna (casova)

r e la c ia

акбпё

r e la c ia

in te n zio n aIn a

r e la c ia

kauzalna

r e l a c i a

neostreho/ modelovania

r e la c ia

n e re fle x iv n a

r e la c ia

nesym etrick£

r e la c ia

n e t r a n z i t i'vna

r e la c ia

p rie s to ro v a

r e la c ia

relevancn^

r e la c ia

ref lex i'vna

r e la c ia

sem ant1 Скё

r e la c ia

symet r i скё

r e l a c i a toleranfcna

r e la c ia

t ranz i t i'vna

r e la c ia

funkcionaIna

r e la c ia

e k v iv a le n c ie

r e la c ia

ex ten zio n aIn a

negacia

 

 

t

negacia

logicka

pid

h I'bkov^

 

 

pad

FilIm orov #

pamaf asoci a t i'vna

pamat' vi rtu4 Ina

pamat' ikom ck£

a r c h ite k t u r a

zretazen a

s tro jo v y

preklad

premenna

lin g v i s tic k a

(jazykova)

 

ргетеппё

vyrokova

premenna

viazana

p erlo k u cia

 

 

perceptron

 

 

p ercep cia

 

 

obrazovtf

element

planovanie

c in n o s ti

planovanie

planovanie

h ie ra rc h ic k e

planovanie

d is trlb u o v a n e

planovanie

s t r a t e g i c k ё

planovanie

ta k tic k ё

planova£

 

pri'stup

bayesovsky

hl'adanie

( vyh I'adavanie)

aso ciati'v n e

 

hl’adanie

hl'adanie

do

 

hfoky

hl'adanie

v

problemovom

p r i e s t o r e

stavovom p r i e s t o r e

hl'adanie

v

hl'adanie

do

 

SiVky

vyh I'adavan i e

info rmac 1 1'

hl'adanie

porovnavan i'm obrazcov

h l'adanievS/posobom "najprv

naj lepsi'"

 

prirodzeneho

porozumenie

 

jazyka

 

 

 

poj em

 

 

 

233

порождение

гипотез автоматическое

autom aticke

generovanie

порождение

текста

 

hypotez

 

tex tu

 

 

generovanie

 

поток данных

 

 

tok udaiov

Morganove

правила

де

Моргана

p ra v id la

de

правило

вывода

 

p r a v id lо

odvodzovacie

правило

 

p rav id lo

правило

вывода композиционное

( i n f e r e n c e )

v ,

p rav id lo

kompozicne

правило

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

odvodzovacie

 

 

p ra v id lo

s y n ta k tic k e

предикат

 

 

данных

p r e d i c t

 

 

udajov t

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

rep re z e n t^ c ia

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

знаний

rep re z e n ta c ia

zn a lo st^

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

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

re p rez en t£ c ia

zn a lo sti'

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

 

 

extenz юпа Ina

 

 

 

presupoz i'cia

 

t

принцип

резолюции

 

princi'p

rez o lu cie

приобретение

знаний

zi'skavanie

z n a lo s ti

 

программа

игровая

 

program

hry

program

программа

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

h e u r is tic k y

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

логическое

programovanie

logicke

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

programovanie

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

 

programovanie

 

 

объектно-ориентированное

obj ektovo -or ientovane

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

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

programovanie

h e u r is tic k e

продукция

 

 

 

produkcia

 

 

 

 

пропозиция

 

Осгуда

vyrok

 

Osgoodov

f

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

p r i e s t o r

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

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

p r i e s t o r semanticky

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

состояний

p r i e s t o r

stavovy

t

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

целевое

p r i e s t o r

cielb v y

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

абсолютная

n ek o n zisten cia

absolutna

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

модельная

n ek o n zisten cia

modelova

протофрейм

опровержения

p ro to ty p

ramca

 

 

процедура

proceddra

v y v raten ia

процедура

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

procedura

pridana

 

процесс

асинхронный

proces

asynchronny

 

процессор

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

procesor

asociati'vny

процессор

базы данных

procesor

databazovy

процессор

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

procesor

jazykovy

 

процессор

логический

procesor

logick^

 

процессор

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

procesor

in feren in y

процессор

матричный

procesor

maticovy

 

процессор

символьный

proceso^

symbolovy^

психология

когнитивная

kognitiVna

psychologia

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

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

a lg o ritm ic k a nerozhodnuteInost'

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

образов

rozpoznavanie

obrazov

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

речи

rozpoznavanie

re6i

 

расстояние

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

sёmanticka v zd iale n o st'

рассуждение

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

usudzovanie

 

/

рассуждение

usudzovanie

autoepistem icke

рассуждение

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

usudzovanie

hermeneutick^

рассуждение

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

usudzovanie

pod lb

zdraveho

рассуждение

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

rozumu

 

t

usudzovanie

nemonotonne

рассуждение

по

аналогии

usudzovanie

pod lb

ana logie

рассуждение

по

ассоциации

usudzovanie

podl'a

a s o c ia c ie

рассуждение

по

умолчанию

usudzovanie

d efa u lto v e

рассуждение

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

usudzovanie

vierohodne

резольвента

 

 

rezo lv en ta

 

 

резолюция

 

 

re z o lu c ia

 

 

решатель

задач

репертуарная

r i e s i c

uloh

 

 

решетка

Келли

Kellyho

rep ertoarova mriezka

РИСК-архитектура

a r c h ite k t u r^

RISC

 

робот автономный

robot autonomny

 

234

робот интегральный робот интеллектуальный сборка мусора

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

секвенция

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

сеть ассоциативная сеть вывода

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

сеть переходов расширенная сеть Петри сеть причинно-следственная

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

экстенсиональная сеть соединительная силлогизм СИМД-архитектура синтаксис

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

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

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

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

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

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

система мультипроцессорная система обучающаяся система объяснения

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

вычислительная система управления

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

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

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

система экспертная пустая

следствие логическое слот

событие сопоставление с образцом список ассоциативный

средства инженерии знаний

инструментальные ссылка анафорическая

robot

in te g ra ln y

t

 

 

robot

in te lig e n tn y

 

 

c i s t e n i e

pamati

 

 

 

 

svedectvo

 

 

 

 

 

sekvencia

 

 

 

 

 

semant i ka

 

 

 

 

 

s itu a c n a

semantika

 

 

sem iotika

 

 

 

 

 

s i e t '

aso ciati'v n a

 

 

 

s i e t '

( in fe re n c n a )

s i e t '

odvodzovacia

siet*

in te z io n ^ ln a

semantick£

s ie t'k a u z ^ Ina

 

 

 

 

s i e t '

prechodova

t

 

 

t

s i e t ' P e tr i ho

 

 

 

s i e t '

pr i'cinno-nas ledkova

s i e t ' s e m a n t ic ^

 

 

semanticka

s i e t ' extenzion £ Ina

s i e t '

konekcionaIna

 

 

sylogizmus

SIMD

 

 

 

a r c h ite k t u r a

 

 

 

syntax

 

programov

autom aticka

syntёza

 

synt^za

 

programov

indukti'vna

autom atizovanё

p ro jek to v an ie

system

axiom aticky

 

 

system

otazka-odpoved'

system

deduktiVny

 

 

 

system

v ie ry

 

t

 

jazyka

system

prirodz^neho

system

indukti'vny

 

 

v

system

in te lig e n tn y

 

system

in te lig e n tn y

u ciac i

systёm

in te lig e n tn y

u 6 iaci sa

system

i n t e r a k t i #vny

 

 

system

m ultiprocesorovy

system

u c ia c i sa

 

 

 

system

vysvet I'ovaci'

y

system

zn alo stn y

 

 

system

zalozeny

na

p rav id lach

system

re p re z e n ta c ie

z n a lo s ti'

system

produkcii'

 

 

 

system

produkcny

 

 

 

p o c ita c

 

p ia te j g en eracie

automatizovany

system

ria d e n ia

system

ria d e n ia

zakladne

udajov

 

 

zakladne

system

ria d e n ia

zn a lo sti'

 

 

 

 

 

system

formalny

 

 

 

 

system

ramcov/

 

 

 

 

expertny

system

prazdny

expertny

system

logicky

 

d6sledok

 

 

 

s lot

 

 

t

 

 

 

 

 

u d alo st'

so

vzorom

porovnavanie

asociatiV ny

zoznam

f

 

p ro s trie d k y

znalostneho

in£in i e r s t v a

an afo rick a odvolavka

235

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

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

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

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

теория речевых актов терм

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

универсум Эрбрана унификатор унификатор наибольший общий унификация

управление ситуационное фасет

фокус форма префиксная нормальная

формула атомарная формула замкнутая формула общезначимая фрактал фрейм

фрейм-образец фрейм-прототип фрейм-экземпляр фрейм падежный функция доверия

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

шкала топологическая шкала универсальная ЭВМ нейробионические эвристика язык запросов

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

логический язык продукционный язык фреймовый ящик черный

strategia

riadenia

odvodzovania

t

struktura

hl'bkova

Struktura

kognitivna

struktura

Ьотодёппа

struktura

pSdovS /

Struktura

kognitivna

tisudok

 

 

,

entita

 

 

scl^ma

konceptualna

scenSr

t

umenie

poSi'tacove

Churchova

t£za

t

teoria

axiomaticka

teoria

logick£

aktov

teoria

recovych

term

 

(datovy) typ

udajovy

abstraktne

udajov6

typy

univerzum

univerzum

Herbrandovo

unifikator

 

,

unifikStor

najvs^obecnejsi

unitikacia

 

 

situaSne ri ad em e

 

rys

 

 

t

 

ohnisko,

 

 

prefixna

normaIna forma

formula

atomickS

 

formula

uzavretS

 

formula

platna

 

fraktal

 

 

 

ramec

t

prototyp/

 

r^mcovy

 

ramec

prototypovy

 

pri'pad

rSmca

 

ramec

padovy

 

funkcia

viery v

 

funkcia

pr i'slusnost 1

funkcia

Skolemova

 

infereftcny

retiazec

 

stupnica

absolutna

 

stupnica

metrickS

 

stupnica

Osgoodova

 

stupnica

relati'vna

 

stupnica

neostrS (fuzzy)

stupnica

topologickS

stupnica

univerzSlna

poSi'taS

neurobionicky

heuristika

 

 

jazyk

dotazovaci

znalosti'

jn/yk

reprezentScie

j.i vk

reprezentacie

znalosti'

log ick^

 

 

jazyk

produkcny

 

azyk

ramcovy

 

lerna

skrinka

 

236

Р у с с к о - в е н г е р с к и й

абдукция

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

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

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

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

актор

алгоритм алгоритм волновой

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

анализатор синтаксический аналогия анафора аргументация

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

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

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

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

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

abdukcio

#

 

 

,

 

a b s tra k c io

 

 

 

a d a ta b s z tra k c io

 

automata

 

 

/

 

 

s e jta u to m ata

 

 

veges

automatak

 

lin e a ris a n

k o r la t o z o tt

a u to m a ta ^

/

 

 

verem-automatak

 

s z e k v e n c ia lis

automatak

sz to c h a s z tik u s

automatak

iroda

au to m atiza l4 s

axioma

 

 

 

 

 

beszedaktus

 

 

 

 

ak to r

 

 

 

 

 

 

a Igor i tmus

 

 

 

 

hullam -aIgor 1 tmus

 

g en etik u s

alg o ritm u s

k lasz te r - a n a

l i'z IS^

 

morfo l($g ia i

 

ana l i'z is

protoko l-ana l i'z is

 

s z in ta k tik u s

a n a li'z is

la tv a n y - a n a li'z is

 

s z in ta k tik u s

p arsz er

an alo g ia

 

 

 

 

 

anafora

 

 

( e rv e le s )

argum entacio

szam i'tog^p-archi te k tu r a

csovezetekes

a r c h ite k t u r a

parhuzam os^architektura

a d a tv e z e rle s e s

a r c h i t e k t u r a

as s z o c ia c id

 

 

 

 

atom

 

 

 

 

 

 

a ttrib u tu m

 

 

 

 

adatbaz is

 

 

a d a tb a z is

h ie ra rc h ik u s

r e la c io s a d a tb a z is

 

e x te n z io n a lis

a d a tb a z is

ism eretb a zis

t

 

 

z a r t

ism eretb a zis

 

i n te n z i o n a li s

ism eretb a zis

n y i t o t t ism eretb a zis

v is s z a u t a la s

parbeszed

S zo k rateszi

 

behavior i^zmus

 

 

erv en y esi4 es

 

 

 

v e r if ik ^ c i o

 

 

 

 

videoprocesszor

 

e r z e k e l e s ,

 

,

,

 

v i z u a l i s e rz e k e le s

 

e r i n t e s i e rz e k e le s

 

o k ta tasi,

v alo g ata s

 

lev ezetes

lev ezetes

 

abdukt i'v

 

v al6 $ zinusegi

lev ezetes

term esz,etes

 

lev ezetes

indukti'v

lev ezetes

le v ez ete s

i n t u i c i o n i s z t i k u s

l i n e a r i s

lev ezetes

,

logikai le v ez ete s

ism ereteken

 

ala p u lo lev ezetes

nemmonoton

lev ezetes

237

вывод нечеткий вывод по аналогии

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

высказывание атомарное генерация текста герменевтика гиперсобытие гипотеза

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

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

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

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

знания декларативные знания о предметной области знания прагматические знания процедурные знания эвристические знания экспертные значение атрибута значение по умолчанию зрение машинное И/ИЛИ граф идентификация идентификация знаний извлечение знаний ИИ-программирование

иллокуция

импликация

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

индукция полная (математическая) инженер по знаниям инженерия знаний интеллект искусственный

интервью

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

fuzzy (homalyos)^levezetes ana logian alapulo levozotos plauzibilis levezetes

elorehalado kovetkeztotes minta a lta li h i'vas

ali'tas (itdlet) atomi kus7/a li'tas szovegeloalitas hermeneut ika hyper-jelenseg hipotezisy

osszefuggesi hipotezis matrix grammatika

eset grammatika ha 1(5 ^rammat i ka

formalis grammatika graf 7

an imacio

kognit i'v graf ika a k c i o / problemafelbontas denot^ns levezetesi fa buiaris fa fuggosegi fa dontesi fa konzisztencia fa cel-fa

desz ignans deszkr iptor

a laperteImezes u’res kloz

Horn-kloz di szj unkcio diszkurzus

k o g m t i V disszonancia konstrukti'v ^lzonyi'tas tete lb lzony i'tas tartomany

tabla

ls m e r e t, tudas

d ek laratiV ismeret (tudas)

problem atika

ismeret

pragmatikus

ismeret

procedural is

ismeret

h e u r is z tik u s

ism eret

s z a k e rto i ism eret a t t rib u tu m -ertek

alap erteIm ezesi ism eret szamitogepes la ta s ЁЗААСУ g raf

azonosi'tas

i sme retazonos i4 as/ ism erettoke le te s i'te s

me s te r s e g e s i n te l llg e n c ia I programmozas

lllo k u c io y implik£cio indukci6

e m p i n k u s indukcio

teljes (matematlkai) indukc lsmerettechnol6gus ismerettechnol6gia mesterseges intelligencia interview^ f interpretacio

238

интерфейс

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

интерфейс

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

источник знаний

исчисление

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

исчисление

исчисление

логическое

исчисление

предикатов

исчисление

предикатов первого

порядка

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

исчисление

исчисление

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

карта когнитивная

каузация

 

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

квантификация квантор общности

квантор существования классификация кластеризация когитология когнитивная наука

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

конъюнкция

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

лингвистика

лингвистика

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

липе

 

 

литера

 

 

логика

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

логика

логика

веры

 

логика

временная

логика

второго порядка

логика

действий

логика

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

логика

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

логика

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

логика

индуктивная

логика

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

логика

каузальная

логика

команд

логика

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

логика

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

логика

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

логика

монотонная

логика

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

логика

нечеткая

логика

оценок

логика

первого порядка

логика

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

логика

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

логика

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

логика

размытая

логика

рассуждений по умолчанию

логика

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

локуция

 

 

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

машина

абстрактная

машина

баз

данных

машина

баз

знаний

машина

виртуальная

машина

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

машина

Поста

term eszetes

nyelvu

k ap cso lat

i n t e l l i g e n s / k ap cso lat

 

is m e re tfo rra s

 

 

 

 

kalkulus

 

 

 

 

 

 

 

a l it^ s - k a Ik u lus

 

 

 

logikai

k alkulus

 

 

 

predikatum

k alkulus

k alkulus

elsorendu

predikatum

a lita s - k a lk u I k u s

 

 

 

sz i tuelcio-ka l ku l us

 

 

kogni t i'v -terkep

 

 

 

kauz£cio

 

 

t

 

 

 

 

kvant i f ik a cio

 

 

 

 

kvantor y

 

kvantor

 

u n iv e rz a li s

 

e x i s t e n c i a l i s

kvantor

 

k laszi f ikaci($

 

 

 

 

k la s z te r e z e s

 

 

 

 

 

kogitol^ogia

 

 

 

 

 

kogniti'v

tudomany

 

 

d ek larati'v

komponens

 

konkatenacio

 

 

 

 

 

K e lly - fe le

konstruktum

fogalom

$

 

 

 

 

 

 

konjukcio

 

 

 

 

ny elv eszet

szami'tastudomanyi

szami'togepes

n y elv eszet

lip s

7

 

 

 

 

 

 

 

l i te r a l

 

 

 

 

 

 

 

logika

 

 

 

logika

 

va losziniise'g 1

 

meggyozodesi

logika

logika)

id o lo g ik a

(tem p o ra lis

m^sodfoku

logika

 

 

 

a k c i6 - lo g ik a

 

 

 

 

 

d eontikus

logika

 

 

 

dinamikus

logika

 

 

 

term eszetes

logika

 

 

induktiV

logika

 

logika

i n t u i t i o n i s z t i k u s

k a u z ili s

logika

 

 

 

v e z e rle s i ^logika

 

 

 

k o n stru k tfv

logika

 

 

matem atikai

logika

 

 

t6bbertёku

logika

 

 

monoton

logika

 

 

 

 

nemmonoton

logika

 

 

fuzzy

logika

 

 

 

 

 

d eontikus

logika

(elsorendu

elsofoku

logika

logika)

 

 

/

 

7 7

 

i t e l e t l o g i k a ( a l l i t a s l o g i k a )

t e r log i ka

 

 

logika

 

p sz eu d o fizik ai

 

fuzzy

logika

logika

 

 

a la p e rte lm i

 

 

episztem oldgikus

logika

lokucio

 

 

 

 

 

 

 

lambda-kaIkulus

 

 

 

a b s z t r a k t /ge^

 

 

 

 

ad a tb a zisu

gep

gep

 

 

ism eretb azisu

 

7

v i r t u i l i s

gep

 

 

 

parhuzamos

k o v e tk e z te te s i gep

Post-gep

 

 

 

 

 

 

 

239

машина связей

машина Тьюринга машина, управляемая потоком данных меню мера правдоподобия

метазнание

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

метафора

метаязык

 

метод

ветвей и границ

метод

интервью

механизм

вывода

механизм

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

МИМД архитектура

множество

нечеткое

модел ь

ассоциативная

модель

модель

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

модель

замкнутая

модель

знаний

модель

когнитивная

модель

концептуальная

модель

Крипке

модель

лабиринтная

модель

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

модель

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

модель

логическая

модель

мира

модель

обучения

модель

общения

модель

открытая

модель

пользователя

модель

реляционная

модель

сетевая

модель

ситуаций

модель

стимул-реакция

модель

формальная

модель

языка

модус

поненс

модус

толленс

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

нейробионика

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

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

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

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

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

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

обобщение индуктивное оболочка

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

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

обучение на примерах общение

konnekcios

gep

(k ap c so lati

дёр) ,

 

 

T u rin g - a e p /

дер

ad a tv e ze rle su

menu

 

 

р la u z ib i llti s m e r te k

m etaism eret

t

 

metaprodukcio

 

m etafora

 

 

metanyelv

es

k o rlato k

elagazdsok

modszere

 

i n t e r j u-mddszer

lev ezetd si

mechanizmus

o ro k le s i mechanizmus

VLSI-arch ite k tu r a

fuzzy-haImaz

modell

model l

aszo ciati'v

szdlmi'tdstudomanyi model l

z a r t modell

 

ism eret-m odell kogm ti'v ^model l

k o n cep tu alis

modell

K rip k e - fe le

modell

labi rintus-m odell

nyelvi

modell

log i ka i- n y e lv l modell

logikai

 

modell

viIdg-mode 11

 

ta n u ld s i

moduli

kommunikdcio-modell

n y ito t

model l

fe lh a szn d lo

modell

r e la c id s

modell

hdlo modell

s z itu d c id s ( h e ly z e ti) modell sz tim u lu s - re a k c id modell form dlis modell

nyeIv-modell

modus

ponens

modus

to l l e n s

h ir a d i ta n c id neurobionika bizonytalansag

n y elv tan i bizonytalansag

n em -teljesseg

alg q ritm ik u s megoIdhatatlansag

egyeni t e r

 

 

 

t

t

e le g te le n u l

t

s t r u k t u a l t

egyeni

ter

 

 

t

 

j o l s tr u k t u a 'lt

tartomany

 

problem a-ter

 

/

t t

 

in d u k tiv a I t a l a n o s i t a s

 

k e re tre n d sze r

 

 

 

e rv e le s

 

n^elv

feld o lg o zas

term eszetes

k ep -feIdolgozas

7

 

parhuzamos

feld o lg o zas

 

je lf e ld o lg o z d s

 

 

 

minta

 

 

 

 

 

m in ta/

 

t

 

t

 

ta n u la s

 

 

 

peIdakonfvalo

ta n u la s

 

kommun i kacid

 

 

 

 

240