action theory
acyclic graph
adjacency list
adjacency matrix
affinity graph
aggregation parfactor
airflow simulation
algorithm
alpha-beta search
approximation algorithm
argumentation tree
artificial intelligence
array
associative memory
average case analysis
basic action theory
bayesian game
bayesian network
beam search
belief propagation
bellman equation
benchmark data set
best-first search
binary classification
binary constraint
binary heap
binary relation
binary search
binary space partition
boolean formula
boolean function
boolean logic
boolean variable
boruvka's algorithm
bottom-up dynamic programming
bound search
bounded halting
boyer-moore algorithm
branch-and-bound search
breadth first search
breadth first search tree
bsp tree
bucket sort
cdcl solver
christofides' heuristic
classification accuracy
classification function
classification problem
closed form
cluster assignment matrix
cluster ensemble
cnf decomposition
coalitional game
combinatorial auction
comparison sorting
compilation complexity
component analysis
component graph
computational complexity
computational complexity theory
computer science
computer vision
conditional probability
conditional random field
consistency algorithm
consistency checker
consistency problem
constrained mutual subspace
constraint calculus
constraint network
constraint optimization
constraint propagation
constraint satisfaction
constraint satisfaction problem
convex hull
convex polygon
cook's theorem
cosine similarity
cost function
covariance function
covariance matrix
cq entailment
cross validation
cryptography
data matrix
data mining
data set
data structure
dcop algorithm
decision problem
decision tree
decomposition tree
dependency graph
depth first search
depth first search tree
depth-first search
derivation tree
description logic
description logics
deterministic finite automaton
deterministic selection
diagonal matrix
differential equation
dijkstra's algorithm
dimensionality reduction
directed acyclic graph
directed graph
discriminant analysis
discriminative model
distance function
distance metric learning
divide and conquer algorithm
domain knowledge
drill scheduling
dynamic programming
eigenvalue
em algorithm
entity tree
epistemic structure
equivalence class
equivalence relation
error rate
euclidean distance
euclidean space
evaluation function
event calculus
expected case analysis
expression pattern
face recognition
fcrfs model
feature extraction
feature selection
feature selection method
feature space
feature subscription
feature vector
fermat's last theorem
fibonacci heaps
fibonacci numbers
finite element method
finite state machine
first-order logic
flow network
free variable
functional e-majsat
game theory
game tree
gaussian kernel
gaussian process
gene expression pattern
generative model
golog program
gradient descent
graph algorithms
graph coloring
graph mining
graph representation
graphical model
greedy algorithm
halting problem
harmonic series
hash function
hash table
heap property
heap selection
heap sort
heapification
heuristic
heuristic search
hidden variable
hider-seeker game
horn clause
horn e-contraction
horn logic
horn shiq
htn model
htn planning
hybrid model
hybrid mst algorithm
image annotation
image retrieval
incidence list
incidence matrix
incremental algorithm
incremental search
inference method
inference rule
information extraction
information processing
information retrieval
integer factorization
interaction graph
iterative algorithm
iterative dynamic programming
jordan curve theorem
kernel function
kernel learning
kernel matrix
kernel method
kl divergence
knowledge base
knuth-morris-pratt algorithm
kruskal's algorithm
labeled data
language model
latent perceptron
latent variable
learning algorithm
linear equation
linear order
linear programming
local consistency
local search
logic program
logic programming
logistic regression
longest common subsequence
longest common substring
loss function
machine learning
machine translation
map variable
markov decision
markov model
markov network
matrix
matrix factorization
matrix multiplication
maximum likelihood
merge sort
mesh generation
minimum pursuer problem
minimum spanning tree
mixture model
mobile sensor
modal logic
modal operator
model checking
model parameter
monte-carlo search
multiset variable
naive method
nash equilibrium
natural language processing
neighborhood kernel
nested monte-carlo search
neural information processing
non-empty set
non-euclidean geometry
non-metric distance
nondeterministic planning
nondeterministic polynomial time
normal distribution
np-completeness
o-notation
object oriented representation (of graphs)
object recognition
objective function
omega-notation
optimal solution
optimization problem
pagerank
parallel sat
parameterized random variable
pareto set
partial regression
patrol algorithm
pattern matching
pattern recognition
planning algorithm
planning problem
point-based algorithm
polynomial space
polynomial time
polynomial-time algorithm
posterior probability
prim's algorithm
principal component
probabilistic model
probabilistic planning
probabilistic transition
probability distribution
propagation algorithm
propositional logic
qbf solver
qualitative calculus
query mining
quick sort
random field
random graph
random variable
random walk
randomized algorithm
rating matrix
recommender system
recursive dynamic programming
reduction algorithm
regression model
regret minimization
regular expression
regularization parameter
reinforcement learning
representation language
reward function
robot motion planning
rsa encryption
sat solver
satisfiability problem
scheduling problem
search algorithm
search engine
search graph
search method
search node
search problem
search space
search tree
selection sorting
semantic space
semantic web
semi-supervised classification
semi-supervised feature selection
semi-supervised learning
sequential search
service composition
sift feature
single-source shortest path problem
singular value
situation calculus
sketch recognition
social network
soft global constraint
sorting algorithms
space-efficient dynamic programming
spanning tree
sparse covariance
sparse covariance function
spatial network
spatial reasoning
spectral kernel
stability of sorting algorithms
standard deviation
state diagram
stochastic game
string matching
strong connectivity algorithm
support vector
support vector machine
temporal logic
time complexity
time series data
top-down dynamic programming
topic model
training data
training set
transition function
traveling salesman problem
tree decomposition
tree search
turning radius
unary notation
undecidable problem
undirected graph
unequal divide and conquer
uniformly weighted heuristics
union-find problem
unlabeled data
unsatisfied clause
user interface
utility function
utility space
visual feature
web mining
web service
weighted heuristics mechanism
word sense disambiguation
worst case analysis
ability of agents
abstract algebra
abstract noun
abstract process-oriented specification
access collision
access function
access path
accidental cooccurrence
accuracy level
acoustic signal
acoustic-phonetic rule
acquisition of adaptation knowledge
acquisition of knowledge
acquisition tool
activation function
actor architecture
actor model of computation
acyclic circuit
acyclic cp-net
acyclic terminology
adaptive thresholding
addition of knowledge
adjoining grammar
agent-oriented system
algebra of features
algorithm generate
algorithm of adaptation
algorithm of figure
algorithm template
algorithmic compatibility
algorithmic detail
ambiguous sentence
analogical mapping
analogical reasoning
analysis of complex scenes
analysis of document corpora
analysis of gene expression
analysis of information processing systems
analysis of time
analysis of verbs
analytical expression
anaphor predicate
anaphora resolution
anaphoric antecedent
answer extractor
answer set
answer substitution
application domain
application of artificial intelligence
application of decision analysis
application of machine learning
approximate response
arithmetic operation
artificial agent
artificial intellect
association graph
associative relation
asynchronous conversation
atomic concept
attribute list
audio recorder
automated reasoner
automated reasoning
automatic programming
automatic recognition
automatic theorem
automation of reasoning
autonomous agent
autonomous driving
autonomous land vehicle
autonomous robot
auxiliary verb
average number
average runtime
axiom scheme of knowledge
axiomatic definition
bag of tokens
bag of words
base case
base relation
basis function
behaviour of agents
benchmark datasets
bidirected edge
bilingual dictionary
bilingual lexicon
bilingual parallel corpus
binary decision diagram
bit of information
boolean expression
case base
case-based reasoning
categorization task
causal diagram
causal graph
causal model
causal network
causal relation
chart parser
class label
class variable
clustering result
cognitive modelling
cognitive robotics
cognitive science
collaborative filtering
commitment protocol
common noun
communication channel
communication protocol
compilation language
complete algorithm
computational biology
computational effort
computational linguistics
computational model of discourse
computer program
computer programme
computer understanding
conceptual clustering
conceptual content
conditional entropy
conditional event
confidence factor
confidence interval
conflict resolution
conjunctive query
consequence relation
consistency checking
constraint graph
context-free grammar
control knowledge
control rule
control system
cooperative coevolution
cooperative computation
coreference resolution
correct answer
correlation coefficient
data-base query
decision maker
decision making
decision process
decision rule
decision-making process
deductive approach
default rule
degree of confidence
degree of consistency
degree of similarity
dependency analysis
deterministic automaton
dialectical tree
dialogue act
digital circuit
direct neighbour
discount factor
disjoint subset
disjunction of literals
distributed processing
distribution of agents
distribution of classes
distributional thesaurus
domain of application
domain of discourse
domain of values
domain theory
domain transition graph
domain-specific search engine
dynamic system
edge base
edge detection
electronic circuit
electronic dictionary
elementary algebra
empirical evaluation
empirical evidence
empirical result
empirical study
event detection
evidential corpus
exchange of information
execution mechanism
execution time
existential restriction
experimental evaluation
experimental vehicle
expert system
exponential growth
exponential increase
expository text
expressive power
extension of description logics
extension world
extraction process
factor of certainty
family of inference relations
family of programming languages
family of restrictions
finite automaton
finite-state automaton
first-order language
first-order predicate calculus
flow of information
formal semantics
functional description
fuzzy labelling
fuzzy logic
fuzzy set
fuzzy synset
gaussian distribution
genetic algorithm
gold standard
grammar formalism
graph of predicates
greedy heuristic
heuristic function
heuristic rule
hierarchical clustering
hierarchical representation
human cognition
human expert
human-computer interaction
humanoid robot
hybrid approach
hybrid system
inconsistent heuristic
inconsistent set
indexing scheme
induced csp
induced subgraph
induction algorithm
induction hypothesis
induction of decision trees
inductive learning
inference algorithm
inference of relationships
inference relation
input clause
input layer
input method
input pattern
input string
input vector
integer linear programming
integrated parser
intelligent agent
intelligent room
intensional predicate
interval algebra
item of information
item of knowledge
k-nearest neighbour
key word
knowledge representation
knowledge-based approach
knowledge-based program
knowledge-based system
knowledge-based technique
language interface
language processing
leaf node
learning rate
learning scheme
learning system
lexical database
lexical entry
lexical item
lexical pattern
line orthogonality pattern
line segment
linear classification
linear classifier
linear program
linear programme
linear regression
linear transformation
linguistic expression
local consistency algorithm
local similarity-based
logic of relevance
logical consequence
logical constant
logical entailment
logical formalism
logical formula
logical implication
logical reasoning
logical symbol
low-level process
machine intelligence
management of data
matching algorithm
matching methodology
mathematical induction
mathematical model
mathematical theory of computation
mathematical theory of evidence
maximal coherence
maximum entropy
maximum number
measure of uncertainty
mechanical device
merging framework
merging process
mobile device
mobile phone
mobile robot
model of knowledge
model-based approach
modell of computation
modell of events
monolingual group
morphological context
multi-agent platform
multi-agent system
multi-document summarization
multiagent reasoning
multiagent system
multiple annotator
multiple processor
named entity
natural language
natural language interface
natural language text
natural number
nearest neighbor
nearest neighbour
negative literal
neighbour classifier
network of relations
neural net work
neural network
node expansion
non-deterministic domain
normal form
noun compound
noun group
noun phrase
object-oriented database
occurrence of events
online dating website
ontology matching
order of magnitude
order of similarity calculations
ordinary differential equation
organisation of knowledge
oriented pattern
orthogonal line
orthogonal relation
orthogonality pattern
parallel corpus
parallel implementation
parallel processing
parallel relation
parent node
parsing algorithm
part-of-speech tagger
partial instantiation
partial mapping
partial matching
partial regression equation
path consistency
pattern mining
phonological context
phrasal lexicon
physical system
pre-trained classifier
preliminary experiment
prepositional phrase
primitive function
principle of database systems
probabilistic inference
probabilistic network
probabilistic reasoning
probabilistic scheme
problem solving
problem-solving heuristic
problem-solving system
procedural semantics
process monitoring
production rule
production system
profile of dependency graphs
profile of owl
programming language
pronoun resolution
proof of theorem
proof tree
propositional sentence
proving approach
pruning strategy
pseudo code
psycholinguistic study
psychology of computer vision
quantificational calculus
query answering
question answering
question-answering system
random instance
rate of convergence
ratio of efficiency
readable dictionary
real number
reasoning system
reasoning task
recognition program
reference set
refinement matrix
refinement strategy
refutation graph
relation phrase
relation type
relation-independent pattern
relational database
relative clause
remote agent
representation of causality
representation of documents
representation of knowledge
rhetorical relation
robot box
robot system
robot trajectory
robotic arm
robotic device
robotic manipulator
robotic network
role of domain knowledge
role of heuristics
root node
rule of combination
run time
sample pattern
satisfiable instance
scoring function
scoring rule
search process
search strategy
search technique
semantic grammar
semantic indexing
semantic network
semantic notion
semantic tree
semantical level
semantics of logic programs
semi-automatic metric
semi-supervised alignment
sense disambiguation
sensor measurement
sensor node
sentiment lexicon
sequence of tokens
sequence of words
shallow parser
signal processing
similarity computation
similarity metric
simplification rule
simulation result
single entity
smart phone
software architecture
software engineering
software specification
software tool
source language
source of data
source of information
source of knowledge
source ontology
sparse coding
spatial relation
spatial relationship
speech act
speech understanding
state automaton
state variable
statistical approach
statistical relational learning
stopword removal
structural relationship
structure of discourse
structured programming construct
successor-state axiom
sufficient condition
symbolic approach
syntactic form
syntactic parser
syntactic parsing
syntactic pattern
syntactic variant
system of communication
tag cloud
target compilation language
target concept
target language
target ontology
temporal relation
terminal node
test result
text classification
text fragment
textual entailment
theorem prover
theorem proving
theoretical analysis
theoretical result
theory of computing
theory of inheritance
theory of language
topic of documents
training corpus
training instance
training pattern
training sample
translation of languages
two-level morphology
two-valued logic
understanding system
universe of discourse
unlabelled instance
upper bound
user input
user response
value function
vector of probabilities
vector of variables
virtual agent
virtual environment
web application
web of data
word sense
abstract argumentation framework
accumulate reward
accurate classifier
accurate prediction
answer set programming
application scenario
applied statistic
approximate counting
arbitrary first-order sentence
artificial intelligence research
assistive technology
background knowledge
bound computation
call collect
cardinal direction calculus
categorial grammar
classification task
cognitive skill
collective decision-making
combinational circuit
combinatory categorial grammar
computation time
computational cost
computational efficiency
computational property
computational resource
computing core
content-based image retrieval
conversational agent
cooperative agent
correlation analysis
data sets
datum sets
dependency tree
direct edge
direct graph
dl-lite family
document collection
document corpus
domain adaptation
domain-independent planner
domain-specific expertise
dynamic conditional random field
efficiency improvement
epistemic logic
equivalent term
error bound
evolutionary cluster
expanded node
experimental methodology
explicit representation
first-order sentence
full power
game-theoretic consideration
grammar induction
graphical game
grid maps
ground semantics
hierarchical cluster
human decision maker
human user
human-robot dialogue
human-robot interaction
image processing
improve version
inclusion axiom
intelligent behaviour
irobot create
kernel discriminant analysis
knowledge compilation
label propagation
language game
language understanding
linear combination
logic programme
memory limitation
memory usage
minimum proof graph
mixed-integer programme
multi-class classifier
multi-core processor
multiple agent
multiple label
negative feedback
negotiation scenario
networking site
non-deterministic behaviour
ontology language
ontology modularisation
ontology reuse
optimisation problem
parallel text
part-of-speech tags
polynomial hierarchy
preceding paragraph
precision-recall curve
predefined threshold
principal component analysis
probabilistic interpretation
probabilistic logic programme
probability density
proof graph
proof sketch
prototype implementation
prototypical implementation
quadratic programme
qualified existential restriction
qualitative reasoning
qualitative spatial reasoning
range restriction
real-time dynamic programming
real-world application
real-world datasets
real-world setting
reference ontology
regular path query
relative error
relative strength
representation formalism
resource requirement
restrict form
role hierarchy
role inclusion
satisfiability checking
score rule
sensor network
sequential voting rule
set programming
similarity measure
software verification
stable extension
statistical-relational learning
stochastic process
straightforward implementation
structural svms
syntactic parse
target domain
task network
temporal reasoning
testing purpose
text categorization
text corpus
text document
topical hierarchy
two-tailed t-test
unified view
unsupervised manner
user preference
value iteration
value-function approximation
variance estimate
vector machine
vertex elimination order
web page
web-service composition
weight vector
word segmentation
wordnet synset
world wide web
abstract operator
abstract sensor
abstract solution
abstraction hierarchy
abstraction planning
accelerometer
accusative case
acoustic model
act phase
action model
action monitoring
action-utility table
activation level
active agent
active learning
active vision
actuator
adaptive control
adaptive control theory
adaptive dynamic programming
adaptive network
adaptive planning
add list
additivity of utility function
adjective phrase
adjunct
adl
adl formalism planning
admissible heuristic
advice taker
agent architecture
decision-theoretic agent
agent design
forward-chaining agent
agent function
planning agent
software agent
agent-based software engineering
ai
algorithm resolution
algorithmic complexity
alignment method
all-rels-ln
all-rels-out
alpha-beta pruning
analogical language
analysis of algorithms
analytic sentence
analytical engine
anaphora
annealing
anytime algorithm
apparent motion
applicable operator
apposition
approximately correct hypothesis
approximation hierarchy
architecture
architecture for speech recognition
arithmetic notation
artificial environment
artificial intelligence applications
artificial intelligence programming language
artificial sweeteners
asbestos removal
assembly planning
logical assertion
assignment in an atn
astronomer
asymptotic abo
asymptotic analysis
atomic event
atomic sentence
augmented transition network
autoepistemic logic
automata
automated debugging
automatic pilot
automaton
chess automaton
automaton program
automaton pruning
automaton ratings
automotive industry
autonomous vehicle
autonomous vehicle underwater
auv
axiom
axon
b-tree
back-chain
back-chain-list
back-prop-update
back-propagation
backed-up value
background assumptions
backjumping
backprojection
backtracking
chronological backtracking
dependency-directed backtracking
backtracking search
backus-naur form
backward chaining
bandit problem
bang-bang control
bar codes
baseline
baum-welch algorithm
bayes' rule
bayesian learning
bayesian updating
behavior-based robotics
behavioral module
bel belief about state
belief function
belief network
belief network construction
dynamic belief network
belief network inference
belief network inference complexity
belief network learning
sigmoid belief network
benchmarking
biconditional
bidirectional search
bigram model
binding list
blackboard architecture
blind search
blocks world
blocks world planning
boltzmann machine
boolean connective
bottom-up-parse
boundary set
bounded optimality
bounded-error planning
brain computational power
brain states
branching factor
breadth-first search
c configuration space
c-buridan
canonical distribution
canonical form
cart-pole problem
case of nouns
case-based planning
causal inference
causal influence
causal link
causal rules
causal semantic
causal support
causal theory
causation
cell decomposition
cell layout
certainty equivalent
certainty factor
channel routing
charge-coupled device
chart
chart edget
chart-parse
chronological backtracking
class probability
cleaning robot
clever indexing
clobbering
closed class
closure resolution
cognitive architecture
cognitive psychology
coherence relation
collective computation
combinatory logic
combined indexing
commonsense ontology
communicating agent
communication
competitive ratio
compilation time
complete proof procedure
completeness of a plan
completeness of a proof procedure
completeness of a search algorithm
completeness of resolution
completeness search
completeness theorem
complexity
complexity analysis
search complexity
compliant motion
composite decision process
composite heuristic
composite object
composition of substitutions
compositional semantic
compound-action
compression
computability
computational learning theory
conceptual graphs
condition-action rule
condition-part
conditional action
conditional effect
conditional independence
conditional link
conditional planner
conditional planning
conditional probability table
conditional step
conditional-planning-agent
conditioning case
configuration space
configuration space obstacle
confirmation theory
conjunction
conjunctive normal form
conjunctive probability
conjunctive queries
connection method
connectionism
consistent decomposition
consistent hypothesis
consistent plan
conspiracy number
constant symbol
constraint logic programming
constraint satisfaction search
time constraint
unary constraint
constructive induction
context-sensitive grammar
contingency
contingency planning
contingency problem
continuity of preferences
continuous environment
contour of a state space
control systems
control theory
conventional signs
convolution
coordinate frame
core language engine
corpus
correspondence theory
cross ratio
cross-beam sensor
cross-correlation
cross-indexing
cross-over
cross-validation
cryptarithmetic problem
cumulative learning
current-best-hypothesis
current-best-hypothesis search
current-best-learning
cutset
conditioning cutset
conditioning bounded cutset
d-separation
data extraction
data fusion
data-directed inference
data-driven inference
database
datatype problem
debugging
decision analysis
decision analyst
decision cycle
decision list
dynamic decision network
decision network evaluation
decision node
decision theory
decision tree expressiveness
decision tree learning
decision tree pruning
decision-list-learning
decision-making agent
decision-theoretic-agent
decision-tree-learning
declarative approach
declarative bias
default logic
default reasoning
default value
deferred planning
definite clause grammar
interval-valued definitions
deliberate ambiguity
demodulation
demodulator
dempster-shafer theory
dempster's rule
dependency grammar
depth sensor
depth-limited search
derived sentences
descriptive theory
detachment
deterministic environment
deterministic node
dewey decimal system
dfs-contour
diagnostic inference
diagnostic rule
diagnostic rules
diameter of a state space
symbolic differentiation
diffusely reflected light
disambiguation
discontinuous function
discourse coherence
discourse intention
discourse understanding
discrete environment
discrete event
discretization
discrimination net
disjoint sets
disjunct
disjunction
disjunctive effect
disjunctive effects
disjunctive precondition
distributed encoding
domain closure
domain closure effect
domain constraint
domain of a random variable
dominance
domination of heuristics
dotted rule
double-negation elimination
downward solution
drilling rights
automated driving
dropping conditions
dt-agent
dualistic view
mechanical duck
dung beetle
dynamic belief network
dynamic decision network
dynamic environment
dynamic logic
adaptive dynamic programming
dynamic symbol
dynamic weighting
dynamical systems
ease-based planning
effective branching factor
egomotion
electrocutaneous feedback
electronic circuits domain
emergent property
encoded message model
end effector
enqueue-at-end
enqueue-at-front
constraint entailment
entscheidungs problem
environment properties
environment simulator
epipolar line
episodic environment
epistemological commitment
epistemological level
equality substitution
equality symbol
error of a hypothesis
surface error
estimation phase
event category
evolution machine
model state evolution
evolutionary programming
excitatory synapse
exclusive or
execution monitoring
exhaustive decomposition
existential elimination
existential graph
existential introduction
existential quantifier
expansion of states
expansion operator
expected utility
expectimax
expectimax value
expectimin value
expectiminimax
expectiminimax complexity
expectiminimax-value
explanation-based learning
exploration function
exploration problem
extrinsic property
f free space
failure sensor
false negative
false positive
feature detector
feature of a state
speech feature
feed-forward network
feedback loop
feedforward circuit
figure of speech
find-and-infer
find-transform
fine-motion planning
finite-state machine
first-order probabilistic logic
fitness function
fitness-fn
floor-planning
foil
foliation
force sensor
formal grammar
formal language
formalization planning
formulate search execute
formulate-goal
formulate-problem
fortran
forward chaining
forward checking
forward-backward algorithm
forward-chain
fully instantiated plan
additive utility function
multiplicative utility function
separable utility function
function symbol
functional decomposition
functional dependency
functional programming
fusion sensor
fuzzy set theory
g activation function
g-set
gain ratio
game robot
game zero-sum
gaussian elimination
gaussian function
general ontology
general problem solver
general search
generalization hierarchy
generalized cylinder
generalized phrase structure
generalized resolution
genetic engineering
geometry theorem prover
goal formulation
inferential goal
goal maintenance
goal predicate
goal representation
test goal
goal-based agent
goal-directed reasoning
goldbach's conjecture
good old-fashioned ai
gps
gpsg
graceful degradation
grammar
grammar attribute
definite clause grammar
dcg
grammatical formalisms
greedy agent
ground clause
ground literal
ground resolution theorem
ground term
hacker
hand-eye machine
head of a clause
hephaistos
herbrand base
herbrand universe
herbrand's theorem
hermeneutic
least-constraining-value heuristic
hidden markov model
hidden unit
hierarchical abstraction
hierarchical decomposition
hierarchical decomposition planning
hierarchical planning
hierarchical task network
higher-order logic
holonomic robot
hopfield network
guarded horn clause
horn normal form
horn sentence
hypothesis
hypothesis space
i-dt decision tree
identity relation
if-then rule
image edge
image formation
image reconstruction
immortal agent
implication rule
implication-elimination
implicative normal form
implicit representation
incomplete information
incompleteness theorem
incorporation
incremental learning
indeterminacy
bounded indeterminacy
unbounded indeterminacy
index function
indexing
indirect speech act
induction
inductive inference
inductive logic
inductive logic programming
inference
inference procedure
inferential frame problem
infinite loop
infinite regress
influence diagram
information gain
information highway
information theory
information value theory
information-gathering-agent
informed search
inheritance
inhibitory synapse
initial state
inlet-reflections
input generalization
input resolution
integrability
symbolic integration
intelligence test
intelligent action
intentional state
intercausal inference
intercausal reasoning
interleaving
interpretation semantic
intersective semantic
intractability
intrinsic property
introspection
geometric invariant
projective invariant
invariant shape representation
inverse method
inverse resolution
inverted pendulum
ipem
ipl
iqtest
ir
irrational behavior
irrationality
isa links
itep
iterative deepening
iterative deepening search
iterative improvement
iterative improvement search
iterative-deepening-search
jacquard loom
joint encoder
joint of a robot
joint probability distribution
junction type
k-dl decision list
kalman filtering
kb-agent
kinematics
kl-one
knowledge acquisition
knowledge background
built-in knowledge
diagnostic knowledge
knowledge effect
knowledge engineer
knowledge engineering
knowledge level
knowledge map
knowledge precondition
knowledge properties
knowledge source
knowledge-based agent
knowledge-based learning
knuth-bendix algorithm
kolmogorov complexity
language analysis
language interfaces
language origin
language perception
laser range finder
lattice theory
laws of robtics
leak node
learning action-value
active learning
learning agent
learning architecture
bayesian learning
blocks-world learning
learning cart-pole problem
checkers learning
learning curve
decision lists learning
decision trees learning
q-learning
top-down learning
utility function learning
least commitment
least mean squares
least-constraining-value
left-corner parser
lexical-functional grammar
lexicon
lifting lemma
light-beam sensors
limited rational agent
linear input resolution
linear plan
linear resolution
linear separability
linearization
linked list
linking curve
local encoding
locally finite graph
locally structured system
logic programming constraint
inductive logic programming
logic programming language
logic sampling
logic string
logic theorist
logic variables
logical agent
logical connective
logical definition
logical equivalence
logical expert system
logical inference
logical interpretation
logical minimization
logical notation
logical positivism
logical query
logical semantic
logical sentence
logical syntax
logical variable
logicism
long-distance dependency
long-term memory
longitudinal control
lookup table
low-level action
machine evolution
majority function
majority-value
markov blanket
markov chain
markov decision problem
partially observable markov decision problem
markov property
mass spectrometer
material handling
mathematical induction schema
mathematical objection
maximum expected utility
mean square error
means-ends analysis
medical expert system
memory requirements
memory rule
mental objects
mental states
mereology
meta-comment
metalevel reasoning
metalevel reasoning expert system
metaphor
metaphysics
metareasoning
metonymy
metropolis algorithm
micro-planner
min-conflicts
min-value
minimal determination
minimax decision
minimax search
minimax-value
minimum description length
mixed inference
mlnimal-consistent-det
mobile robots
mobot
model theory
model tree
model trees
model-based agent
model-based reasoning
model-based recognition
modification operator
monotonicity of a heuristic
monotonicity of a logic
monotonicity of preferences
morphology
morphology analysis
derivational morphology
inflectional morphology
most general unifier
most-constrained-variable
most-constraining conjunct
motion compliant
motion guarded
motion parallax
motion planning
motion planning complexity
multi-agent planning
multiattribute utility
multiattribute utility theory
multilayer network
multiple inheritance
multiple-state problem
multiply connected network
multistratal grammar
naive agent
natural deduction
natural language expert system
navigation robot
nested quantifier
network
neural computation
neural network efficiency
neural network expressiveness
feed-forward neural network
neural network hardware
neural network learning
neural network link
multilayer neural network
neuron
new predicates learning
nlp
node search
node utility
nominal compounds
noncomputability
nondeterminism
nondeterministic algorithm
nondeterministic environment
nondeterministic-chart-parse
nonepisodic environment
nonholonomic robot
nonlinear plan
nonmonotonic logic
nonterminal symbol
normalization
normalized utility
normalizing constant
normative theory
notation logic
null hypothesis
number theory
object creation
object-oriented programming
objective case
observation sentences
obstacle avoidance
occur-check
ockham algorithm
omniscient agent
one-shot decision
online algorithm
online cost
online navigation
ontological commitment
ontological engineering
ontological promiscuity
ontology
op strips operator
open class
open planning architecture
open-coding
operationality
operations research
operator reduction
operator schema
optical character recognition
optical flow
optimally efficient algorithm
optimizer peephole
ordering constraints
owl
probability vector
pac learning
parallel architecture
parallel distributed processing
parallel inference machine
parallel search
parity function
parse forest
parse tree
parsing
parsing chart
part of speech
passive adp agent
passive agent
passive learning
path cost
path-cost-rlnction
pathfinder
pathmax
payoff function
percept sequence
perceptron
perceptron convergence theorem
perceptron learning rule
perceptron representational power
performance measure
perspective projection
phenomenology
phoneme
phonetic alphabet
photogrammetry
photometry
photosensitive spot
phrase structure
piecewise continuity
pixel
planning
planning under uncertainty
policy iteration
polytree
possibility theory
pragmatic interpretation
pragmatics
precompilation
universally quantified precondition
predicate
predicate calculus
predicate symbol
predicate type
prediction phase
prediction sequence
prediction-estimation process
prepositional logic
prepositional logic agent
prepositional semantics logic
prepositional syntax logic
primitive operator
prior knowledge
prior probability
prioritized sweeping
priority queue
probabilistic first-order logic
probabilistic grammar
probabilistic projection
probabilistic sensor models
probability
probably approximately correct
contingency problem
problem formulation
problem frame
problem generator
problem-solving
problem-solving agent
procedural attachment
process state
product rule
program agent
program synthesis
progression planning
pronunciation learning
protection interval
pruning
pruning in contingency problems
pseudo-code
psychological models
psychological reasoning
public key encryption
pure inductive inference
q-learning
q-learning-agent
q-value
qualitative probabilistic network
quantified sentence
quantization factor
quantum theory
quasi-logical form
query variable
ramification problem
random restart
randomization
rational action
rational agent
rational decision
rational speaker
ray tracing
reactive planner
reactive planning
reading signs
real-time ai
real-time architecture
hypothesis recognition
recognizable set
recurrent neural network
recursive definitions
recursively enumerable grammar
reductio ad absurdum
reference class
referential opacity
referential transparency
refinement operator
reflectance map
reflex agent
reflex-learning-element
reflex-performance-element
regression recognition
regression planner
regression planning
regular grammar
reinforcement learning agent
relaxed problem
relevance-based learning
replanning agent
replanning-agent
representation languages
representation theorem
resolution completeness proof
resolution strategies
rewrite rule
robot
robot architecture
robotics
rotary motion
rotation
rule of thumb
rule-based architecture
rule-based systems
runtime variable
sample complexity
sampling rate
scaled orthographic projection
scanner in chart parsing
schema rule
scope quantifier
script
search cost
search
optimality search
search spaces planning
segment of discourse
segmentation of an image
segmentation of speech
semantic
semantic interpretation
partitioned semantic network
semantic preference
semantic semidecidability
first-order logic semantics
semidynamic environment
sensing action
sensitivity analysis
sensor
sensor model
stationary sensor model
parallel-beam sensor
structured light sensor
sensory stimuli
sentence
sequential decision problems
short-term memory
shortest path
sigmoid function
sign function
silhouette curve
silhouette method
similarity network
simple-communicating-agent
simple-reflex-agent
simulated annealing
simulation of intelligence
simulation of world
single-state problem
singly connected network
situated agents
situated automaton
situated language
situated planning agent
situation calculus planning
situation space planning
situation-action rule
skolemization
slmple-planning-agent
slmple-policy-agent
slmple-problem-solving-agent
space complexity
speaker identification
spectrophotometry
specularly reflected light
speech act interpretation
speech acts planning
speech frame
speech recognition
speech synthesis
speedup learning
spelling correction
state space
state-description
static environment
static symbol
static universe
static variable
stationarity in pac learning
statistical mechanics
step function
stepper motor
stereogram random dot
stochastic dominance
stochastic simulation
subject-aux inversion
subjective case
subsumption architecture
successor function
sum of squared differences
summarizing
supervised learning
support-except
symbolic planning
synapse
syntactic ambiguity
syntactic theory of knowledge
syntax
synthesis of algorithms
assumption-based system
system gain
justification-based system
table-based indexing
tactile sensor
tag tree-adjoining grammar
taxonomic hierarchy
taxonomic information
taxonomy
telepathic communication
telepresence
temporal constraint
temporal constraints
temporal differencing
temporal substance
temporal-difference equation
term rewriting
terminal state
terminal symbol
terminal test
termination condition
terminological logic
text interpretation
theory of information value
theory resolution
utility theory
tiling algorithm
time expressions
tokenization
total order planning
tractability of inference
training curve
training on test set
training sequence
transfer motion
transfer path
transformational grammar
transit motion
transit path
transition model
transitivity of implication
transitivity of preferences
translation
tree-adjoining grammar
tree-based indexing
tropistic agent
truth maintenance
truth maintenance system
truth-functionality
truth-preserving inference
turing machine
turing test
uncertain reasoning
uncertain rule
uncertainty in games
uncertainty model
unconditional probability
uncooperative agent
uniform convergence theory
uniform cost search
unit clause
unit preference
unit resolution
units function
universal quantifier
unsupervised learning
upward solution
utility scale
utility-based agent
utterance
vacuum agent
vacuum environment
vacuum world
variable planning
vector quantization
vector-space model
venn diagram
verification hardware
version space
version-space learning
virtual reality
visibility graph
viterbi algorithm
vlsi layout
wacky agent
warren abstract machine
well-formed formula
wordnet