p

A
B

p
p






u
u
-ball
8-puzzle 8
8-queens problem 8-

A
A* decoder *
A* search *
abductive reasoning
abductive
ABO (Asymptotic Bounded Optimality)

abstraction
accessible
accusative case
achieves
acoustic model
Action Description Language

action-utility table
action-value function
action
applicable
conditional
decomposition
joint
monitoring
primitive
rational
schema
sensing
sensory
activation function
activation
active learning

active sensing
active vision
actuator
acyclicity
adaptive control theory

adaptive dynamic programming

add list ( STRIPS)
add-one smoothing
adequacy
adjunct
ADL (Action Description Language)

admissible heuristic

ADP (Adaptive Dynamic Programming)

adversarial
agent
active
autonomous
circuit-based
components
decision-theoretic
goal-based
greedy
intelligent
knowledge-based
learning
limited rational

logical
model-based
naive
passive ADP ADP
passive learning
passive
problem-solving
rational
reflex
replanning
software
utility-based
agglomerative clustering

aggregation
agreement (in a sentence) (
)
AI Winter N
albedo
algorithmic complexity

algorithm

1146

alignment method
alpha-beta pruning -
alpha-beta -
ambiguity
analogical reasoning
analysis of algorithms
anchor text
And-Elimination
AND-OR graph AND-OR
answer literal
answer set programming

answer sets
antecedent
anytime algorithm

apparent motion
applicable action
arc consistency
architecture
argument
arity
artifact
artificial intelligence
strong
weak
assertion
assignment
associative memory
assumption
asymptotic analysis
Asymptotic Bounded Optimality

ATMS

atomic event
atomic sentence
atoms ( )
augmentation
augmented finite state machine

automata
automated debugging

automated reasoners

automatic sensing
Autonomous Underwater Vehicle (ADV)

autonomous vehicle
autonomy
auxiliary variable
average reward
averaging over clairvoyancy

axiom
action exclusion
usable
axon

B
b* (branching factor) b* (
)
B* search *
backgammon
background assumptions
background knowledge
background
backjumping
back-propagation
backtracking
chronological
dynamic
intelligent
search
backward chaining

backward search
bagging
bag of words
bandit problem
bang-bang control
baseline
Bayesian classifier Bayes
Bayesian model merging
Bayes
Bayesian network Bayes
Bayes-Nash equilibrium Bayes-Nash
Bayes' rule Bayes
behaviorism
behavior language
belief
degree
propagation
revision
state
update
Bellman equation Bellman
Bellman update Bellman
benchmarking
best-first search
best possible prize
beta distribution
betting game
bias, declarative ,
bias weight
biconditional
bidirectional search
bigram model
bimodal
binary decision diagram

binary resolution
binding list
binocular stereopsis

binomial nomenclature
bioinformatics

1147
biological naturalism (
)
biometrics
bipartite matching
bit , bit
blackboard architecture

blind search
blocks world
body
Boltzmann machine Boltzmann
Boolean Boolean,
boosting
bottom-up parsing

boundary set
bounded optimality
asymptotic (ABO)
bounded rationality
brain
branch and bound
branching factor
effective
breadth-first search
bridge ( )
brightness
bunch

C
calculus
candidate definition
candidate elimination
canonical distribution
cardinal utility
cart-pole problem

cascaded finite state transducers

case-based reasoning

case folding -
case ( )
category
causal influence
causal link
causal network
causal rules
causation
cell decomposition
exact
cell layout
central limit theorem
certainty equivalent
certainty factor
CFG
chain rule
chance node
channel routing

charge-coupled device

chart
chatbot
checkers
chemistry
choice point
Chomsky Normal Form K M Chomsky
chronological backtracking

circuit-based agent

circuit verification
circumscription
prioritized
Clark completion Clark
Clark Normal Form K M Clark
classical planning
classification
class probability
clause
closed class
closed-world assumption

closed world
CLP ,
clustering
agglomerative
cluster
coarticulation
coastal navigation
coercion
cognition
cognitive
architecture
modeling
psychology
science
coherence relations
coin flip
combinatorial explosion
commitment
epistemological
ontological
common sense
communication
commutativity
competition
compilation
complementary literals
complement
complete data
completeness
completion
complexity analysis
complexity
sample
space
time

1148

complex sentence
complex term
compliant motion
component
composite decision process

composite object
compositionality
composition of substitutions

compression
computability
computational learning theory

computational learning
computational neuroscience

computer graphics
computer vision
computer
conclusion of an implication

concurrent action list

conditional
distributions
effects
Gaussian Gauss
independence
planning
probability table
probability
sentence
steps
conditioning case
configuration space
confirmation theory
conflict-directed backjumping

conflict
conformant planning
conjugate prior
conjunction (logic) ()
conjunctive normal form

conjunct ordering
conjunct
connectionism
connectionist
connection method
connective
logical
co-NP-complete co-NP
consciousness
conscious
consequent
consistency
consistent estimation
consistent plan

conspiracy number
constant symbol
constraint
binary
entailment
graph
logic programming

nonlinear
ordering
preference
propagation
recording
resource
satisfaction
special
unary
constructive induction
context-free grammar

context-sensitive grammar

contingency problem
continuation
continuity of preferences

continuous change
continuous planning
continuous speech
contour
contraction
contradiction
contrapositive
controller
control theory
adaptive
control
lateral
longitudinal
uncertainty
convention
conversion to normal form

convolution
cooperation
coordinate frame
coordination game
coordination
corpus-based
count noun
covariance
crack
creativity
critical path method

critical point
critic
cross-correlation
crossover

1149
cross-validation
crossword puzzle
cryptarithmetic
culling
cumulative learning
cumulative probability density function

curiosity
current-best-hypothesis

cutset conditioning

cybernetics
cycle cutest

D
data-driven
data mining
dative case
debugging
decision analysis
decision analyst
decision list
decision maker
decision network
decision node
decision stump
decision theory
decision tree
expressiveness
pruning
decision
one-shot
rational
sequential
declarative bias
declarativism
decomposability of lotteries

decomposition of plans
deduction theorem
deduction
deductive databases
default logic
default reasoning
default value
definite clause grammar

definite clauses
definition (logical) ()
deformable matching
degree heuristic
degree of belief
degree of freedom
controllable
effective
degree of truth
delay line

deleted interpolation smoothing

delete list
deliberate layer
deliberately
deliberate
deliberative
delta rule
demodulation
demodulator
dendrite
depth-first search
depth limit
depth of field
derivational analogy
derived sentences
descendant
description logic
descriptive theory
detachment
detailed balance
determination
minimal
deterministic environment

deterministic node
diachronic
diagnosis
diagnostic rule
diameter
dictionary
difference engine
differential drive
differential equation
differential
differentiation
diffuse reflection
digit recognition
Diophantine equations
Directed Acyclic Graph (DAG)

disabilities
disambiguation
discontinuities
discount factor
discourse ,
coherent
understanding
discrete event
discretization
discrimination net
disjoint sets
disjunction
disjunctive effects
disjunct
disparity
distribution
mixture
divide-and-conquer

1150

document classification
document clustering
domain
dominance
stochastic
strict
dominant strategy equilibrium

dominant strategy
dominated
dominate
dropping conditions
d-separation d
dualism
dynamical systems
dynamic backtracking
dynamic Bayesian network Bayes
dynamic decision network,

dynamic environment
dynamic programming

dynamic stability
dynamic state
dynamic weighting

E
earliest (start) time ()
economics
edge detection
edge
effector
effect
external
internal
negative
positive
primary
secondary
egomotion
EKF (Extended Kalman Filter)
Kalman
electric motor
electronic circuits domain

EM algorithm

structural
emergent behavior
empiricism
English auction
ensemble learning
entailment constraint
entailment
inverse
entail
Entscheidungsproblem
enumeration

environment
artificial
class
competitive
continuous
cooperative
deterministic
discrete
dynamic
game-playing
generator
history
multiagent
observable
properties
semidynamic -
sequential
single-agent
static
stochastic
strategic
epiphenomenal
episodic environment
epistemological commitment

epoch
equality symbol
equality
equilibrium
equivalence
ergodic
error
function
sum of squared
ethics
evaluation function
event
calculus
discrete
generalized
liquid
evidence variable
evidence
evolution
machine
example
exceptions
exclusive or
execution monitoring
execution
executive layer
exhaustive decomposition
existential graph
Existential Instantiation

Existential Introduction

expansion (of states) ()

expectation maximization

1151
expected monetary value

expected utility
expected value (in a game tree)
( )
expert system
decision-theoretic
explanation-based learning

explanation
exploration function
exploration problem
exploration
Extended Kalman Filter (EKF)
Kalman
extension (of a causal link) (
)
extension (of a concept) ( )
extension (of default theory) (
)
externalities
extrinsic property

F
face detection
factoring
factor
fact
failure model
false negative
false positive
family tree
feature
feedback loop
feed-forward network

fertility
Fifth Generation project 5
figure of speech
filtering
finite domain
finite horizon
finite-state machine

first-order logic
first-order probabilistic logic

fixation
fixed-lag smoothing

fixed point
flaw
floor-planning
fluent calculus
fluent
focus of expansion
focus spaces
focus

folk psychology
force sensor
foreshortening
foreshorten
formal language
formulate
forward-backward algorithm
forward chaining

forward checking
forward pruning
forward search for planning

four-color map problem

frame
free space
free will
frequentists ,


fringe
functional dependency
functionalism
functional programming

functional specification theory

function
approximation
approximator
symbol
total
futility pruning
fuzzy control
fuzzy set

G
gain parameter
gain ratio
gambling
game
constant-sum
inspection
multi player
of chance
partial information
repeated
theory ()
zero-sum
gate (logic) ()
Gaussian distribution Gauss
Gaussian error model Gauss
Gaussian filter Gauss
Gauss-Jordan elimination Gauss-Jordan
generality

1152

generalization hierarchy
generalization
generalized cylinder
generalized event
general ontology
General Problem Solver

generation (of states) ()

generative capacity
generic robot language
genetic algorithm
genetic programming
Geometry Theorem Prover

Gibbs sampler Gibbs
global localization
Global Positioning System (GPS)

goal
formulation
inferential
predicate
serializable
Goldbach's conjecture Goldbach
gold standard
graceful degradation
gradient descent
grammar
augmented
categorial
context-free

context-sensitive

definite clause (DCG)

formal
formalism
lexical-functional (LFG)
prescriptive
recursively enumerable

regular
tree-adjoining (TAG)
graphical model
grasping
greedy search
grid, rectangular ,
gripper
grounding
ground resolution theorem

ground term

H
halting problem
Hamming distance Hamming
hash table

head of a clause

heavy-tailed distribution
hedonic calculus
Herbrand base Herbrand
Herbrand's theorem Herbrand
Herbrand universe Herbrand
heuristic
admissible
composite
degree
domain-independent

empty-delete-list
straight-line
hexapod
hidden Markov model Markov
hidden unit
hidden variable
hierarchical decomposition
Hierarchical Task Network (HTN)

higher-order logic
hill climbing
hindsight
hit list
holistic context
homeostatic
homophone
Hopfield network Hopfield
horizon effect
horizon
Horn clause Horn
Horn form Horn
HTN (Hierarchical Task Network)

human judgment
humanoid robot
human performance
human preference
Hungarian algorithm
hybrid architecture
hyperparameter
hypertree width
hypothesis

I
i.i.d. (independently and identically distributed)

identification in the limit
identity theory
ignorance
ILP (Inductive Logic Programming)

image
processing
retrieval
segmentation

1153
imaging sensor
implementation level
implication
implicative normal form

implicit effect
importance sampling

incompleteness
inconsistent support
incorporation
incremental learning
independence
absolute
conditional
marginal
independent subproblems

indeterminacy
bounded
unbounded
indexical
indexing
indicator variable
indifference, principle of ,
individuation
induction
constructive
mathematical
inductive inference
pure
inductive learning
Inductive Logic Programming (ILP)

inequality constraints
inertial sensor
inference
probabilistic
procedure
rule
inferential equivalence

infinite horizon problems

infinite horizon
influence diagram
information
extraction
gain
gathering
retrieval
theory
value
informed search
inheritance
initial state
input resolution
inside-outside algorithm -
instance

insurance premium
integrability
integrity constraints
intelligence
intention (discourse) ( )
intentionality
intentional stance
intentional state
intercausal reasoning
interleaving (search and action)
( )
interlingual
interlingua
interlinguistics
intermediate form
internal state
Internet search
Internet shopping
Internet
interpretation
pragmatic
semantic
interreflections
interval
intractability
intrinsic property
introspection
inverse entailment
inverse game theory
inverse kinematics
inverse link
inverse method
inverse resolution
inverted pendulum
IQ test
irrationality
iterative deepening
iterative expansion

J
job shop scheduling

joint action
joint intention
joint plan
joint probability distribution

full
join tree
junction type
justification

K
Kalman filter Kalman
switching
Kalman gain matrix Kalman

1154

kernel function
polynomial
kernelization
kernel machine
kernel model
kidnapping problem
kinematic state
kinematics
kinship domain
knowledge
acquisition
background
base
commonsense
diagnostic
engineering
model-based
precondition
prior
representation
source
Kolmogorov axioms Kolmogorov
Kolmogorov complexity
Kolmogorov

L
landmark
landscape
language
formal
generation
markup
model
natural
perception
processing
situated
translation
understanding
latent Dirichlet allocation
Dirichlet
latent semantic indexing

latent variable
latest (start) time ()
lattice theory
laws of thought
layers
laziness
leaf node -
leak node
leaping to conclusions

learning
active
curve
ensemble

explanation-based
incremental
inductive
instance-based
nonparametric -
passive
reinforcement
relevance-based
statistical
supervised
top-down
unsupervised
least commitment
least-constraining-value heuristic

leave-one-out
left-corner parser

left-recursive rules -
legal reasoning
lens system
lens
leveled off (planning graph)
( )
level sum
level ( )
lexicalized PCFG PCFG
lexicon
liability
life insurance
lifting lemma
lifting
light
likelihood weighting
likelihood
limb
limited rationality
linearization
linear /
algebra
constraint
Gaussian Gauss
input resolution
interpolation smoothing

programming
regression
resolution
separability
separator
line labeling
line search
linguistics
computational
linkage constraints
liquid event
liquids
list
literal

1155
local beam search
locality
localization
locally structured system

local search
locking
logical /
agent
inference
positivism
reasoning
logicism
logic programming
constraint
inductive (ILP)
tabled
logic
default
dynamic
first-order
fuzzy
higher-order
inductive
modal
non monotonic
propositional
resolution
logistic function logistic
logit distribution logit
log likelihood
long-distance dependencies

long-term memory
look ahead
lookup table
loopy propagation
lottery

M
machine evolution
machine learning
machine translation
macrop (macro operator)
magic set
Mahalanobis distance Mahalanobis
majority function
manipulator
marginalization
Markov
blanket
chain Monte Carlo Monte Carlo
chain
decision process
process
mass noun
mass spectrometer
material advantage

materialism
eliminative
material value
mathematical induction schema

mathematics
matrix ,
maximin equilibrium maximin
maximum a posteriori
maximum expected utility

maximum likelihood
max-level -max
max norm max
measurement
mechanism design
mechanism
medical diagnosis
Meet ( )
megavariable
memoization
memory-based translation

memory requirements
memory
mental model
mental objects
mental states
mereology
metadata
metalevel state space

metaphor
metaphysics
metareasoning
decision-theoretic

metarule
metonymy
MGD (Most General Ynifier) MGD (
)
micromort

microworld
million queens problem

min-contlicts
mind-body problem

mind
minesweeper
minimal model
minimax algorithm minimax
minimax decision minimax
minimum description length

minimum remaining values

minimum slack

1156

minimum spanning tree

mixed strategy
mixing time
mixture of Gaussians Gauss
mixture
modal logic
modal operator
model-based reasoning

model checking
model
causal
kernel
sensor
transition
Modus Ponens
Generalized
monism
monitoring
monotone condition
monotonicity
Monte Carlo algorithm Monte Carlo
Monte Carlo localization Monte Carlo
morphing
Most General Unifier (MGU)

motion model
motion parallax
motion
compliant
guarded
MRS (Metalevel Reasoning System)

MST (Minimum Spanning Tree)

multiagent planning
multi agent systems
multiattribute utility theory

multibody planning
multimodal
multiply connected network

multivariate
Murphy's Law Murphy
music
mutagenicity
mutation
mutex
mutual exclusion
Mutual Preferential Independence (MPI)

Mutual Utility Independence (MUI)

myopic policy
mysticism

N
naive Bayes Bayes
narrow content
Nash equilibrium Nash
natural deduction
natural kind
natural language
natural numbers
navigation function
nearest neighbor
negated literal
negation as failure
negation
negative example
negligence
neural computation
neural network
neurobiology
neuron
neuroscience
NLP (Natural Language Processing)

noise
noisy-OR
nominative case
noncomputability
nondeterministic
nonepisodic
nonholonomic
nonlinear plan
nonmonotonicity
nonmonotonic logic
non terminal symbol
normal distribution
normalization
normative theory
notation
noughts and crosses
noun phrase
NP (hard problems) NP ( )
NP-complete NP-
number theory

O
objective case
objective function
objectivism
object-oriented programming

object recognition
object
composite
observable
observation model
observation sentences
occupancy grid
occupied space

1157
occur check
Ockham's razor Ockham
offline search offline
omniscience
logical
one-shot decision
online search online
ontological commitment
ontological engineering
ontology
upper
opacity
open class
open coding
open loop
open preconditions
open world assumption
operationality
operations research
optical character recognition

optical flow
optimal controllers
optimal control theory
optimality theory (
)
optimality
optimally efficient algorithm

optimal solution
optimizer, peephole

orderability
ordering constraint
ordinal utility
overconstrained
overfitting
overgeneration
overriding

P
packed forest
packed tree
paradox
parallel distributed processing

parallelism
parallel lines
parallel search
parameter independence
parameter
paramodulation
parent node
Pareto dominated Pareto
Pareto optimal Pareto
parity function
parse tree

parsing
bottom-up
chart
top-down
partial-order planning

particle filtering
partition
Parzen window Parzen
Pascal's wager Pascal
path consistency
path cost
path planning
path ,
pattern database
pattern matching
payoff function
PD controller PD
PDDL (Planning Domain Definition Language)

Peano axioms Peano
peeking
perception
perceptron
percept sequence
percept
performance element
performance measure
perpetual punishment
perplexity
persistence action
persistence arc
persistent failure model

perspective projection
perspective
phase transition
phenomenology
philosophy
phoneme
phone model
phone number
phonetic alphabet
phone
phonology
photogrammetry
photometry
photosensitive spot
phrase structure
phrase
PID controller PID
pigeons
pinhole camera

pitch -
pixel
planetary rover
Planning Domain Definition Language (PDDL)

1158

planning
case-based
classical
conditional
conformant
contingency
continuous
hierarchical
linear
multiagent
multibody
non-interleaved -
partial-order
reactive
route
sensorless
plan
conditional
consistent
continuous
joint
nonlinear
plateaux
ply
pneumatic actuation
point-to-point motion
pointwise product
poker hands ,
policy
asynchronous
modified
optimal
proper
polite convention
polytree
pose estimation
pose
positive example
positivism, logical ,
possibility axiom
possibility theory
possible world
posterior probability
pragmatic interpretation
pragmatics
precision
precondition axiom
precondition
predecessor
predicate calculus
predicate indexing
predicate symbol
predicate
prediction
preference independence

preference
monotonic

premise
prioritized sweeping
priority queue
prior knowledge
prior probability
prismatic joint
Probabilistic Context-Free Grammar (PCFG)

probabilistic language model

probabilistic network
probabilistic roadmap
probabilistic
probability
conditional
conjunctive
marginal
prior
probably approximately correct

probit distribution probit
procedural approach
procedural attachment
process
production system
production
product rule
programming language
program synthesis
projection
pronunciation model
pronunciation
proof
property
propositional attitude
propositional Horn clause inference
Horn
propositionalization

propositional logic
proposition ()
proprioceptive sensor
protection interval
pruning
forward
pseudocode
pseudo-experience
PSPACE-complete PSPACE-
psychological reasoning
psychology
psychophysics
public key encryption

pure strategy
pure symbol

1159

Q
Q learning Q
qualia
qualification problem
qualitative physics
qualitative probabilistic network

quantified term
quantifier
existential
nested
scope
universal
quantization factor
quasi-logical form
query language
query variable
query
queue
priority
quiescence

R
radial basis function
ramification problem
ramification
randomization
random restart
random set
random variable
random walk
range finder
rapid prototyping
rational agent
rationality
rational thought
ray tracing
reachable
reactive layer
reactive planning
realizable
real-time AI
real-world problem

reasoning
default
goal-directed
intercausal
logical
uncertain
recall
reciprocal rank
recognition
recurrent network
recursive definition
recursive estimation
reduction

reduct
redundant step
reference class
reference controller
reference path
reference resolution
referential opacity
referential transparency
reflectance map
reflectance
refutation completeness
refutation
regression, linear ,
regression planner

reification
reify
reinforcement learning
reinforcement
rejection sampling
relational probability model

relation
relaxed problem
relevance-based learning

relevance feedback
relevance
renaming
repair
reparative
repeated game
repeated state
replanning
representation theorem
representation
resolution closure
resolution
input
inverse
linear
resolvent
resource
consumable
reusable
response
retina
revolute joint
reward
rewrite rule
rhetorical structure theory

ridge
right association
risk aversion
risk neutrality
risk seeking
Robbins algebra Robbins

1160

robotics
cognitive
robot
ROC curve ROC
roll -
rotation
route finding
Rubik's cube Rubik
rule-based system
rule

S
sample complexity
sample points
sampling rate
sampling
satisfiability
saturation
scaled orthographic projection

scene
schedule
scheduling
schema
scientific discovery
search
bidirectional
breadth-first
continuous space
depth-first
depth-limited
greedy best-first

greedy
heuristic
hill-climbing
informed
iterative deepening

local beam
local
memory-bounded
parallel
partial information
quiescence
real-time
Recursive Best-First (RBFS)

repeated states

simulated annealing

stochastic beam
uniform-cost
uninformed
segmentation
semantic interpretation
semantic networks

semantics
compositional
logical
preference
Semantic Web
semidecidable problem
semidecidable
semidynamic environment
semiotics
sensing
sensitivity analysis
sensorless planner

sensory action
sensor
active
inertial
passive
tactile
sentence
atomic
complex
quantified
separator
sequential
circuit
decision problem
environment
serendipity
serializable subgoals
set-level
set of support
set
shading
shaft decoder
shape
shortest path
short-term memory
sideways move
sigmoid function
signal processing
signs
simplex algorithm simplex
simulated annealing
simulation of world
simultaneous localization and mapping

singly connected network
singular extension
singularity
situated agent
situatedness
situation calculus
situation
skeletonization
Skolem constant Skolem
Skolem function Skolem
skolemization Skolem
slack

1161
smoothing
social law
Socratic reasoning
softbot
softmax function softmax
software agent
software architecture
solution
optimal
soma
sonar sensor ()
sonnet
soul
sound (inference) ()
soundness (of inference) (
)
space complexity
spam email
sparse system
spatial reasoning
spatial substance
speaker identification
speaker
specialization
spectrophotometry
specular reflection
speech act
speech recognition
speech understanding
spelling correction
SPI (Symbolic Probabilistic Inference)

spin glass
SSD (Sum of Squared Differences)

St. Petersburg paradox

stability
static
strict
stable model
stack decoding
stack
standardizing apart
start symbol
state constraints
statement
state
belief
initial
static (variable) ()
static environment
stationarity
stationary distribution
stationary process
statistical mechanics
stemming
step cost

stereogram, random dot ,

stereopsis, binocular ,

stiff neck
stimulus
stochastic beam search

stochastic dominance
stochastic environment
stochastic gradient
stochastic hill climbing

stop word
straight-line distance
strategic environment
strategy profile
strategy proof
strategy
string theory
string
STRIPS assumption STRIPS
strong AI
strong domination
stuff
stylometry
subcategorization
subevent
subgoal independence
subjective case
subjectivism
substance
spatial
temporal
substitutability
substitution
subsumption architecture
subsumption lattice
subsumption
subtask sharing
successor function
successor-state axiom
summing out
sum of squared differences

sum of squared errors

supervised learning
support vector
Sussman anomaly Sussman
syllogism
symbolic differentiation
symbolic integration
symbol splitting
synapse
synchro drive
synchronic knowledge
synchronization
synonymy

1162

syntactic ambiguity
syntactic sugar
syntactic theory
syntax
synthesis of algorithms
synthesis
deductive
systemic grammar
systems reply

T
tabu search tabu
tactile sensors
TAG (Tree-Adjoining Grammar)

task environment
task network
taxonomic hierarchy
taxonomy
Taylor expansion Taylor
temporal difference learning

temporal inference
temporal logic
temporal probability models

temporal reasoning
temporal substance
terminal state
terminal symbol
terminal test
termination condition
term rewriting
term
test set
texel
texture gradient
texture
theorem prover
theorem proving
theorem
incompleteness
theory resolution
thingification
thought
thrashing
threshold
tic-tac-toe
tile
tiling
time complexity
time expressions
time interval
time slice
time
tit for tat " "
tokenization

top-down parsing

torque sensor
total cost
total
touring problem
tracking
tractability of inference

tractable
trading
trail
training
transfer model
transient failure
transition matrix
transition model
transition probability
transitivity
translation model
transposition table
tree decomposition
tree width
trial
triangle tables
trichromatic perception
trigram
trihedral solid
truth maintenance system

truth
tuple
turbo decoding
Turing award Turing
Turing machine Turing
Turing Test Turing
typical instance

U
ultraintelligent machine
ultrasonic transducer
uncertainty
unconditional probability

undecidability
underconstrained
underflow
undergeneration
unicorn
unification
Unifier, Most General (MGU) ,

uniform convergence theory

uniform-cost search

uniform prior

1163
Uniform Resource Locator (URL)

unigram model
unimodal
uninformed search
unique action axiom
unique names assumption

unit clause
unit preference
unit propagation
unit resolution
units function
universal grammar
Universal Instantiation
universal plan
Unmanned Air Vehicle (UAV)

Unmanned Land Vehicle (ULV)

unrealizable
unrolling
unsound
unsupervised learning
upper ontology
utilitarianism
utility
cardinal
expected
function
multiattribute
multiplicative
normalized
ordinal
theory ()
utterance

V
vacuum tube
vacuum world
vagueness
validity
value determination
value function
value iteration
value node
value of computation
value of information
value of perfect information

vanishing point
variabilization
variable
variational methods
vector quantization
vector space model
vector
verb phrase

verification
version space collapse

version space
vertex
Vickrey auction Vickrey
virtual counts
visibility graph
vision
voted perceptron

W
Warren Abstract Machine
Warren
wavelength
weak AI
weak domination
weak method
weather reports
weighted
weighted linear function

wide content
word alignment vector

word
working memory
workshop
workspace
world model, in disambiguation ,

world state
worst possible catastrophe

wumpus world wumpus

X-Z
xor
zero-sum game