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

abdukce

a b s t таксе

datova

a b s t таксе

automat

t

c e lu la rn i

automat

koneEny

automat

automat

linearnS

omezeny

zasobrukovy

automat

sekven^ni'

automat

s to c h a s tic k y

automat

autom atizace

a d m in is tra tiv y

axiom

akt

?e£ovy

ak to r

a Igoritmus

vlnovy

alg o ritm u s

g en etick ^

alg o ritm u s

sh lukov^i

ana lyza

m orfologicka

analyza

protokol ova

analyza

sy n ta k tic k a

analyza

analyza

sceny

t

s y n ta k tic k ^

a n a ly z a to r

p a ra le ln i'

a r c h ite k t u r a

a r c h ite k t u r a

ri'zena

tokem dat

aso ciace

atom

a t r i b u t

(databaze)

b£ze d at

h ie ra rc h ic k a

databaze

re la c n i

d atabaze

f

ex ten zio n aIn i'

databaze

b£zevz n a lo sti'

z n a lo s ti'

uzavrena

baze

intenz iona Ini'

baze

z n a lo s ti'

otevrena

baze

z n a lo s ti'

navraceni'

sokratovsky d ia lo g

behaviorism us

vyhodnocen i'

ver i f ikace

videoprocesor^

percepce

(vnimani')

vizucilni'

percepce

t a k t i l n i '

percepce

uSebni'

vyber

fuzzy (mUiav^)

in feren c e

usuzovani' podle

ana logie

verohodne

( р la u sib i Ini7)

in feren c e

/

р г/т ё

usuzovani'

vol^ni'

podle

vzoru

propozice

(vyrok)

atomick^

propozice

generovani7 te x tu

hermeneutika

nadud^lost

(h y p eru d ^ lo st)

hypot^za

kompaktnosti

hypoteza

maticova

gramatika

Padova

gram atika

si't'ov^

gram atika

formal Ini'

gram atika

g raf

g ra fik a

dynamicka

kognitivni'

g ra fik a

akce

uloh

rozklad

denot&tv

strom

inferencni'

lin earn i'

strom

z £ v is lo s tm '

strom

rozhodovaci

strom

konz istenSn i' strom

strom

ci'lu

design £ t

d e s k rip to r

d e f a u lt

klauzule

prazdn^

Hornova

k lau zu le

d isju n k ce

d isk u rs

disonance

k o g n itiv n i

k o n stru k tiv n i' diikaz

dokazovani'

vet

d e fin ic n i'

obor

ta b u le

z n a l o s t l (poznatky)

dek la ra t i vni ^zna^lost 1

o b la s ti

z n a lo s ti

о

predmetne

pragm aticke

z n a lo s ti

procedure In i'

z n a lo s ti

h e u r i s t ^скё

z n a lo s ti

ex p ertn i7

zna lo st i

hodnota

a t r i b u tu

d efa ^lto v ^

hodnota

videni7

pocitacove

(strojove')

a/nebo

g raf

id e n tif ik a c e

z n a l o s t /

id e n tif ik a c e

zisk^vani'

z n a lo s ti7

programovani7 и т ё 1ё

Intel igence

ilokuce

im plikace

lndukce

(em piricka)

indukce

neupln£

uplna

(matematicka)

indukce

z n a lo stn i7

inzenyr

zn a lo stn i7 in z en y rstv i7

umela

in te lig e n c e

interview

in te rp re ^ a c e

jazyce

rozhrani7 v

prirozenem

in te l igentn i7

rozhrani7

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

исчисление

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

исчисление

исчисление

логическое

исчисление

предикатов

исчисление

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

порядка

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

исчисление

исчисление

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

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

каузация

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

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

квантор

общности

квантор

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

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

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

когитология

наука

когнитивная

компонента

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

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

конструкт Келли

концепт

конъюнкция

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

лингвистика

лингвистика

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

липе

литера

логика

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

логика

логика

веры

логика

временная

логика

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

логика

действий

логика

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

логика

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

логика

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

логика

индуктивная

логика

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

логика

каузальная

логика

команд

логика

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

логика

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

логика

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

логика

монотонная

логика

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

логика

нечеткая

логика

оценок

логика

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

логика

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

логика

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

логика

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

логика

размытая

логика

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

логика

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

локуция

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

машина

абстрактная

машина

баз

данных

машина

баз

знаний

машина

виртуальная

вывода

машина

параллельного

машина

Поста

машина

связей

машина

Тьюринга

потоком данных

машина,

управляемая

zdroj

z n a l o s t f

kalkul

(pofcet)

(p o cet)

vyrokovy

kalkul

logick^

kalkul

,

predikatovy

kalkul

p redikatovy

kalkul

prvniho

vyrokovy

radu

(p o cet)

kalkul

situ a £ n i'

kalkul

kog n itiv n i'

тара

kauzace

kvant i f ikace

k v a n t if ik a to r

u n iv e rz aln i'

k v a n t i f 1 k ato r

e x is te n e n i'

kvant i f ik a to r

k Iasi f i kace

sh lukovani'

kogitolog^e

veda

k o g n itiv n i

d e k la r a tiv n i

slozka

sre te z e n i'

Kellyho

k o n stru k t

koncept

t

konjunkce

lin g v i s tik a

matematicka

poci'taSov^

lin g v i s tik a

lip s

/

11 t e r a l

logika

logika

pravdepodobnostni'

logika

vi'ry

logika

Basova

( tem^oraIni')

logika

druheho ^adu

logika

c in n o sti'

deontick^

logika

dynamicki

logika

logika

selsk eh o

rozumu

induktivni'

logika

logika

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

kauz^lni'

logika

logika

povelu

logika

konst ru k tiv n i'

matematicka

logika

vi'cehodnotova

logika

monot6nni'

logika

nemonotonn\

log i ka

mlhav^

(fuzzy)

logika

deonticka

lo g ik a ,

logika

iDrvni'ho

radu

propozicni'

logika

p ro sto ro v a

logika

pseudofyzikalni'

logika

mlhava

(fuzzy)

logika

d efa u lto v ^

logika

epistem ick^

logika

lokuce

kalkul

lambda

a b s tra k tn i'

s t r o j

databazovy

pofci'tac

z n a lo s tn f

pofci'tac

,

v i r t u a l n i s t r o j

p a ra je ln g

od v o zu jici s t r o j

Postuv

s t r o j

s t r o j

k o n ek e io n istick y

Turinguv

s t r o j

dat

s t r o j

ri'zeny

tokem

m etaznalost

metaprodukce

m etafora

metajazyk

metod a

v?tvi7 a mezi7

metoda

rozhovoru

inferen6ni7 mechanismus

mechanismus

d £ di£ nosti

a r c h ite k t u r a

VLSI

fuzzy

(mlhava) mno^ina

mode l

model

a s o c ia tiv n i7

komputafcni7 model

uzavreny model,

model

z n a lo s ti

k o g n itiv n i7 model

konceptuaIni7 model

Kripkeuv model

lab y rin to v ^ ^ o d e l

l in g v is tic k y

model

model

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

logicky model

model

sv eta

model

u6eni7

mode l,

komun i kace

otevreny model

model

u z iv a te le

rqlaSni7 model

sit'ovy

model

situ a c n i7 model

model

akce

a

reakce

forma Ini7 model

model

jazyka

modus

ponens

modus

to ll e n s

dedSni

neurobion ika

n e u rS ito s t

jazykovd nejednoznacnost

neuplnost

n eresi te Inost

a l^gor i^tmicka

predmetn^ o b la s t

/

o b la st

spatnS

stru k tu ro v an a

dobre

stru k tu ro v an a

o b la st

problemova

o b la s t^

induktivni7

zobecneni7

oba l

v

argumentace

zpracovani7

sig n alu

obraz

vzore^

,

v

v ,

uceni7 se

u6eni7 na

zaklade

prik lad u

komunikace

souhrn

dokladu

vysvetJen i7

opr^vnen i7

z n a lo s ti7

lad£ni7

baze

vztah

(re lace)

antireflexivni7

relace

antlsymetricki

relace

antitranzitivni7 relace

virtu^lnf

relace

Easovy

vztah

akEni7

vztah

intenziona Ini' vztah

kauz£lni7

vztah

,

re lace

neostr£ho modelovani'

neref lexivni' relace

nesymetrick^ ^relace

netransitivni'

re lace

prostorovy

vztah

vztah

relevantnosti

ref lexivni7

re lace

semanticka

re lace

symetricka

re lace

vztah

tolerance

tranzitivni7 relace

funkEni7 vztah

relace

ekvivalence

extenz iona Ini7

relace

negace/

logicka negace

hloubkovy

pad

F il Imoruv

pad

a s o c ia tiv n i7 pamet

vi rtu a Ini7 pamet'

ikoni^cka garnet*

zre tez en a a r c h ite k t u r a

s tro jo v ^

p re k la d ,

jazykova

promEnna

vyrokov^

promEnna

vazana

promEnnE

perlokuce

perceptron

percepce

element

obrazovy

hledani7 do

hloubky

p ro sto ru

hledani7 v

problemovem

hledani7 ve

stromovem p ro sto ru

hledani7 do

li'rk y

vyhledavani7

informace

hledani7 podle vzorku

hledani7 zpusobem "nej lepsi'

napred;

v

jazyku

porozumem

prirozenemu

pojem

generovani

hypotez

autom aticke

generovani7

te x tu

tok

dat

de

Morganova p ra v id la

p rav id lg

t

p ra v id lo

in feren cn i

p ra v id lo

kompoziEni7

in feren cn i7

s y n ta k tic k e

p ra v id lo

rezolucni7

p rin c ip

zi'sk^v^ni7

z n a lo s ti'

program

hry

h e u r is tic k y program

programov^ni

logieke

programovani'

objektove

orientovan^

programovani7

h e u r is tic k ^ programovani7

produkce

propozice

Osgooduv

p ro sto r

semanticky

p ro sto r

stavovy

p ro sto r

ci'lovy p ro sto r

absolutni'

nekonzistence

modelov^

nekonzistence

vzorovy

ramec (prototyp ramce)

vyvracej i7ci7 procedure

pridan^

procedura

asynchronni7 proces

a s o c ia tiv n i7 procesor

datab£zovy

procesor

jazykovy

procesor

logicky

procesor

procesor

logickeho vyvozovani7

maticovy

procesor

symbolovy

procesor

k o g nitivni7 psychologie

alg o ritm ick ^

r e S ite ln o s t

rozpozn^v^ni'

obrazu

rozpozn^v^n i7 re£i

semanticka

vzdalenost

usuzovani7

/

usuzovani7

autoepistem icke

hermeneutick£

usuzovani7

usuzovani7 podle

selsk£ho

rozumu

/

nemonot6nni7 usuzovani7

usuzovani7 podle

ana logle

usuzovani7 podle

aso ciaci7

d efau lto v e

usuzovani7

vSrohodne

usuzovani7

reso lv en t

re z o lu c e /

r e s i t e l

uloh

Kellyho

repertoarovy svaz

сеть

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

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

сеть

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

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

сеть

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

силлогизм

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

синтаксис

синтез

программ

автоматический

синтез

программ

индуктивный

система

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

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

Система

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

система

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

система

дедуктивная

система

доверия

система

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

система

индуктивная

система

интеллектуальная

система

интеллектуальная

обучающая

система

интеллектуальная

обучающаяся

система

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

система

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

система

обучающаяся

система

объяснения

система,

основанная

на

знаниях

система,

основанная

на

правилах

система

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

знаний

система

продукций

система

продукционная

система

пятого

поколения

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

система

управления

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

система

управления

базой

данных

система

управления

базой

знаний

система

формальная

система

фреймов

система

экспертная

система

экспертная

пустая

следствие

логическое

слот

событие

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

образцом

список

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

средства

инженерии

знаний

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

ссылка

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

стратегия

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

структура

глубинная

структура

когнитивная

структура

однородная

структура

падежная

структура

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

суждение

Сущность

схема

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

сценарий

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

тезис

Черча

теория

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

теория

логическая

intenz ion£ In i' sem anticka

s i V

extenz ion£ In i7 sem anticka

s iV

konekcionaIn i' sit*

sylogismus

SIMD a r c h ite k t u r a

syntax

programu

autom aticka synteza

induktivni7 sy n teza

programu

axiom aticky

system

dialogovy system

deduktivni7 system

system

domnenek (viVy)

system

p rirozeneho

jazyka

induktivni' system t

in te l igentn i'

system

system

in te l igentni'

uci'ci'

in te l ig en tn i7 uci'ci'

se system

ufci'ci7 se

system

vysvetlovac1 system

znalostni'

system

pravidlech

system

zalozeny

na

system

rep rez en ta ce

z n a lo s ti'

system^produkci'

prod^kcni7 system

poci'tac

p ate

generace

automat izovany

system rize n i'

system

ri'zeni7 baze

dat

system

ri7zeni7 baze

z n a lo s ti7

form ^lni

system

system

r^mcu

/

ex p ertn i7

system

pr^zdny

ex p e rtn i7 system

logicky

dusledek

prazdne

mi7s to

u d alo st

se

vzorem

porovnavani'

a s o c i^ tiv n i7

seznam

p ro stred k y

z n a lo s tm 7ho

in zen y rstv i'

anafor ick evodkazovan i7

s t r a t e g i c

ri'zeni7 in feren c e

hloubkova

s tr u k tu r a

k o g n itiv n i7

s tr u k tu r a

homogenni

s tr u k tu r a

p£dov<£ s tr u k tu r a

k o g n itiv n i7 s tr u k tu r a

usudek

/

/

t

e n t i t a

konceqtuaIni'

schema

scenar

umeni

poSitacove

Churchova

te z e

axiom aticka

te o r i e

logicka

te o r i e

t e o r i e recovych

aktu

term

typ/

datovy

datove

a b s tra k tn i'

t y p y

universum

universum

Herbrandovo

u n if ik a to r

nejObecn$j§i' u n ifik a to r

u n if ik a c e v

situ a c n i'

ri'zeni'

rys

ohnisko

normalni'

forma

p refix n i'

atomicka

formule

uzavrena

formule

p la tn a

formule

f rak ta l

ramec

p ro to ty p

ramcovy

pro^otypovy

ramec

pripad

ramce

,

padovy

ramec

funkce

domnenky

(vi^ry)

funkce

nalezeni'

(pr i's lusnost i )

Skolemova

funkce

inferencni'

retez

ab so lu tn i'

stu p n ice

m etricka

stu p n ice

Osgoodova

stu p n ice

r e la tiv n i'

stu p n ice

fuzzy

stu p n ice

topologicka

stu p n ice

u n iv e rz alm '

stu p n ice ^

neurobionicky poci'tac

h e u r is t ik a

jazyk

dotazovaci'

z n a lo s ti'

jazyk

rep rezen tace

1од1Скё

jazyky

reprezentace

zna lo st i'

produkEni'

jazyk

ramcovy

jazyk

cern£

skri'nka

abduccion

a b s tra c c io n

de

los

d ato s

a b s tra c c io n

automata

c e lu la r

automata

automata

f i n i to

lim itado

automata

linealm ente

automata

de

pi la

automata

se cu e n cia l

automata

e s t o c a s tic o

tr a b a jo s

autom atizacion

de

los

de

o f ic i n a

axioma

lenguaje

ac to

del

a c to r

a Igori tmo

o n d u la to rio

a lg o n tm o

a lg o n tm o

g en e tic o

c l u s te r - a n a l i s i s

a n a l i s i s m orfologico

a n a l i s i s

de

p ro to co lo s

a n a l i s i s s i n t a c t i c o

a n a l i s i s

de

escenas

an a liz a d o r

s i n t a c t i c o

ana log ia

anafora

argumentacion

a r q u it e c t u r a

del computador

a r q u it e c t u r a

de

tip o

p ip e lin e

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

de

d ato s

a r q u it e c t u r a

del

f l u j o

aso ciacio n

atomo

a t r i b u t o

datos

base

de

base

de

d ato s je ra rq u i c a

base

de

d ato s re la c io n a l

base

de

d ato s e x ten sio n al

base

de

conocim ientos

cerrad a

base

de

conocim ientos

base

de

conocim ientos

in te n c io n a l

a b i e r t a

base

de

conocim ientos

backtracking

d ialo g o s o c ra tic o

behaviorismo

v a lid a c io n

v eri fic a c io n

procesor

video

percepcion

inform acion

v isu a l

percepcion

de

percepcion

de

inform acion

t a c t i l

muestra

de

ensenanza

in fe re n c ia

ab d u ctiv a

in f e r e n c ia

in fe re n c ia p r o b a b i l i s t i c a

in fe re n c ia

n a tu ra l

in fe re n c ia

in d u ctiv a

in fe re n c ia i n t u i c i o n i s t a

in fe re n c ia

lin e a l

in fe re n c ia

logica

en

in fe re n c ia

baseada

in fe re n c ia

non

monotona

in fe re n c ia

vaga

an alo g ia

in fe re n c ia

por

in fe re n c ia

verosim il

in fe re n c ia

d ir e c ta

llamada

segun

especimen

proposicion

atomica

proposicion

generacion

de

te x to s

herm eneutica

h ip ersu ceso

h ip o te s is

de

compacidad

h ip o te s is

gram atica

en

forma de

m atriz

gram atica

de

los casos

profundos

red

gram atica

de

gram atica

formal

g rafo

animada

g r a f ic a

g r a f ic a

de

cognicion

accion

de problemas

decomposicion

denotacion

arbol

de

in fe re n c ia

arbol

b in a rio

arbol

de

dependencias

arbol

de

d ec isio n es

arbol

de

componentes

arbol

de

o b je tiv o s

s ig n ific a d o

d e s c r ip to r

d e fa u lt

vacia

c la u s u la

c la u s u la

de

Horn

disyuncion

d isc u rs o

de

cognicion

d isonancia

dem ostracion

c o n s tru c tiv a

dem ostracion

de teoremas

domen

de

anuncios

ta b le r o

conocim ientos

d e c la ra tiv o s

conocim ientos

conocim ientos

sobre el

domin

de los

problemas

conocim ientos

pragm aticos

conocim ientos

sobre

procedim ientos

conocim ientos

h e u r is t ic o s

conocim ientos

ex pertos

v alo r

de

a t n b u t o

v alo r e stan d a r

v isio n

de

computador

g rafo

Y/0

id e n ti fic a c io n

id e n tlf ic a c i o n

de conocimientos

ad q u isic io n

de conocimientos

programacion

AI

illo c u c io n

im plicacion

induccion

em pirica

induccion

induccion

matematica completa

in g en iero

de

conocimientos

m g e n i e n a

de

los conocimientos