a priori probability

A* Search
abductive reasoning
abstract plan
accretive associative memory
acquisitional efficiency
action
action schemas
activation function
active
active database
active rule
active troubleshooting
adaptivity
add list
admissibility criterion
admissible
adversary game
agent
agglomerative algorithm
AI
AKO link
algorithm
Alpha-Beta algorithm
Alpha-Beta search
ambiguity
analogical reasoning
AND tree
AND/OR tree
arc consistency
artificial agent
artificial intelligence
artificial neuron
association rules
associative memory
atomic formula
atoms
attribute selection
attributes
auctions protocols
auto-associative memories
automated synopsis
automatic translation
autonomy
average reward model
axon
back propagation
backtracking
backtracking points
backward chaining

AKO

-
-

backward pass
basic probability assignment
batch learning
Bayes' rule
Bayesian learning
Bayesian probability networks
Beam Search
belief
benevolence
Best-First Search
bidirectional associative memories
Bidirectional Search
binary constraint
blackboard
blackboard architecture
blackboard systems
Blind Search
Branch and Bound Search
branching factor
Breadth First Search
candidate elimination
canonical form
canonical formation rules
card sorting
case adaptation
case indexing
case learning
case library
case retrieval
case verification
case-based
case-based learning
case-based planning
case-based reasoning
causal link
causal model
cendroid defuzzification method
certainty factors
chaining
chromosome
chronological backtracking
circumscription
class
class extension
classical negation
classification
classification rules
classification trees
clausal form
closed formula

Bayes
Bayes
Bayes

cendroid

closed set
closed world
closed world assumption
CLP
clustering
clusters
coarse grain
cognitive science
combinatorial explosion
commitment
common sense
communication protocol
competition
competitive neural networks
compiled knowledge
complementary pairs
complete
complete plan
completeness
computational intelligence
Computational Tree Logic
concept
concept learning
concept type
conceptual dependency
conceptual dependency graph

conceptual dependency relationships

conceptual graphs
conceptual relation
conditional effects
conditional probability
confidence
configuration
conflict
conflict resolution
conflict set
conflicting literals
conjunctive model of classification
conjunctive normal form
connectionist approach
connectives
consistency check
consistency check algorithms
constraint
constraint graph
Constraint Logic Programming
constraint programming
constraint propagation
constraint satisfaction

constraint satisfaction problems

constraint solving problems
content addressability
context
context tree
contracting net protocol
control
convention
cooperation
crisp value
critical point
criticality value
critics
crossover
crossover mask
data abstraction
data driven
data mining
data mining incremental
data space
data warehouse
deafisible inference
decidable logic
deduction system
deductive reasoning
deep knowledge
default reasoning
defeasible logic
defeasible rules
defeasible theory
defeaters
definite clause grammars
definite inference
defuzzification
degree of consistency
degree of truth
delete list
deliberative agent
Delta rule
demons
demotion
dendrite
Depth-First Search
design
design stance
detach
deterministic effects
diagnosis
discrepancy
discrete Hopfield model

(EMYCIN)

Hopfield

discretization
disjunctive normal form
distributed artificial intelligence
distributed data mining
distributed memory
distributed multi-agent planning
divisive algorithm
domain expert
dynamic programming
eager learning
edge detection
effectors
elementary perceptron
encapsulation
energy function
Enforced Hill-Climbing Search
entropy of information
episode mining algorithms
episodical knowledge
epochs
equivalence
equivalence rules
erasure
error driven learning
Euclidian distance
evaluation
evaluation function
event-driven rule
evoking strength
exhaustive search
existential graphs
existential quantifier
exoneration
expert system
expert system shell
explicit knowledge
extension principle
feedback
feedforward
filtering algorithm
final state
fine grain
first fail principle
first order predicate logic
fitness function
forward chaining
forward checking
frame axioms
frame of discernment
frame problem

perceptron
()

frames
full look ahead
functional dependency
functional term
fuzzification
fuzziness
fuzzy complement
fuzzy composition
fuzzy linguistic description
fuzzy linguistic variable
fuzzy logic
fuzzy numbers
fuzzy reasoning
fuzzy relations
fuzzy rule
fuzzy set
fuzzy set theory
fuzzy variable
game tree
gene
general problem solver
generalization rule
generalized modus ponens
generalized modus tollens
generate and test
generation gap
genetic algorithms
genetic programming
genotype
goal driven
goals of attainment
graded learning
gradient descent
gradient descent optimization
graph expansion
graph-based planning
grid
grip
ground term
guided-probe approach
Hebbian rule
hetero-associative memories
heuristic
heuristic classification
heuristic function
heuristic match
heuristic search
heuristic search
heuristic value
hidden layer

Hebb

hidden layers
hierarchical planning
Hierarchical Task Networks
hierarchy concept type
hierarchy relation type
higher order constraint
Hill Climbing Search
horizon effect
Horn clauses
humanoid robots
hybrid agent
hypotheses discrimination
hypothesis space
hypothesize and test
if-needed demon
implication
imprecise data
incomplete
incomplete data
inconsistency effects
inconsistency support
incremental learning
indivisible action
induction
inductive learning
inductive learning hypothesis
inductive logic programming
inductive reasoning
inference
inference engine
inference mechanism
inference rules
inferential adequacy
inferential efficiency
inferential inefficiency
information gain
information retrieval
information value theory
informative patterns
inheritance
initial state
input layer
instance
INSTANCE_OF link
instance-based learning
intelligent agent
intention
intentional stance
interaction protocol
interference

Horn

INSTANCE_OF

interoperability
interpolative associative memories
interpretation
interpretation models
interpreter
inter-transactional association rules
intra-transactional association rules
ISA link
Iterative Deepening A* Search
Iterative Deepening Search
job-shop scheduling
join
K-consistency
K-means algorithm
knapsack problem
k-nearest neighbors algorithm
knowledge
knowledge acquisition
knowledge base
knowledge based system
knowledge capture
knowledge elicitation
knowledge engineer
knowledge engineering
knowledge extraction
knowledge management
knowledge modeling
knowledge source
knowledge system
Kohonen networks
Kripke structure
laddered grids
lambda expressions
lateral excitation
lateral inhibition
layer
lazy learning
learning
learning from examples
learning from observation
least commitment principle
linear associator
linear plan
linear regression
linear resolution
linear time logic
linearly separable problems
literal
local minima
logic clause

-
-
ISA
*

-
-

-

Kohonen ()
Kripke

-

logic contradiction
logic semantics
logic substitution
logical inadequacy
logical necessity
logical sufficiency
logistic function
logistics
machine evolution
machine learning
machine vision
maintaining arc consistency
Manhattan distance
manifestation frequency
manufacturing robots
mathematical logic
maximum defuzzification method
max-min composition
max-product composition
means-ends analysis
mediator
membership function
memory capacity
message passing systems
meta -control
meta -knowledge
meta -rule
metadata
mgu
min conflicts heuristic
minimax algorithm
minimax search
missing data
mobile robots
mobility
modal logic
model
model checking
model-based diagnosis
model-based reasoning
module
modus ponens
modus tollens
morphological analysis
morphology derivational
morphology inflectional
most general unifier
multi-agent planning
multi-agent system
multiple inheritance

Manhattan



maximum
max-min
max-product

-
-
-

-
-

multistage classification
mutation
mutual exclusion relations
naive Bayes classifier
namespace
natural language
negation as failure
negative context
negative preconditions
negotiation
network paralysis
neural network
neuron
node consistency
noise reduction
non-determinism
non-monotonic modal logic
non-symbolic artificial intelligence
null plan
object
object instances
object-oriented programming
obligation
occurs check
OCR - Optical Character Recognition
offsprings
omniscience
ontology
open world
opportunistic scheduling
optimal solution
optimization
OR tree
order inconsistent plan
ordered game tree
ordering constraint
output layer
output layer
overfitting
overloading
OWL classes
OWL properties
OWL restriction
parallel search
parse tree
partial look ahead algorithm
passive troubleshooting
path consistency algorithm
pattern
pattern matching

Bayes



()

OR

OWL
OWL
OWL

pattern of activity
phenotype
phonemes
physical stance
pixel
plan
plan solution
plan space
planner
planning contingency
planning graph
planning system
polymorphism
portals
positive context
powerset
pragmatic analysis
precondition list
predicate
predicate logic
prediction
predictive models
PrefixSpan algorithm
prenex conjunctive normal form
primitive action
primitive conceptualizations
primitive problem
prior probability
pro-activeness
probability planning
problem description
problem world
procedural knowledge
production rules
production system
progression
projection
promotion
proof
proof by contradiction
proof layer
proof procedure
propositional logic
propositional rules
pruning
pure node
pure tree
qualitative reasoning
quantifier
andom learning

PrefixSpan

rationality
RDF classes
RDF description
RDF instances
RDF object
RDF predicate
RDF properties
RDF property domain
RDF property range
RDF statement
RDF subject
RDF subproperty
RDF/XML abbreviated syntax
reactive agent
reactive rules
reactiveness
reasoning
recurrent
recurrent neural networks
recursion
reduction
reduction operator
refutation
refutation completeness
regression
reinforcement learning
repair algorithm
repair space
replanning
representational adequacy
resolution principle
resolvent
resource competition
resource planning
restriction
reversible operator
robot
robotic agent
rule action
rule base
rule cluster
rule conclusion
rule condition
rule of inference
scheduler
schema theorem
scout
scripts
search algorithms
search engines

RDF
RDF
RDF
RDF
RDF
RDF
RDF
RDF
RDF
RDF
- RDF
RDF/XML

search frontier
search space
search thread
search tree
selection fitness proportionate
selection roulette wheel
selection tournament
self decay
self-organizing feature map
semantic analysis
semantic knowledge
semantic networks
semantic web
semantics
sensor
sequential covering algorithm
sequential pattern minimg
shallow knowledge
Shannon entropy
shell
sigmoid functions
sign function
simplification
Simulated Annealing Search
situation calculus
skeptical logic
skolemization
smoothing
social ability
softbot
software agent
solution extraction
solution refinement
sparse data
specialization rule
spectrogram
Speech Act Theory
speech recognition
spelling correction rules
state
state space
state-space planning
static world
step function
strict rules
strong negation
subsumption architecture
superiority relation
supervised learning
support

Shannon

Support Vector Machines

symbolic artificial intelligence
symbolic logic
synapse
syntactic analysis
system model
Tabu Search
tacit knowledge
target function
tautology
teach-back
temporal association rules
temporal logic
term
term assignment
terminal state
text categorization
text planning
therapy space
threat
threshold effect
threshold function
timetable
topological sort
total ordered plan
transition operator
trigger
troubleshooting
trust layer
truth maintenance
truth table
Turing test
tutorial interview
two-person game
unary constraint
unconditional probability
underfitting
unification
unifier
unit clause
universal quantifier
unrestrict
unsupervised learning
valence
valid plan
validation
validation data
veracity
verification
web portals

Turing

web resource
web services
well formed formulae
working memory
XML attributes
XML elements
XML entity
XML root element
XML tag

XML
XML
XML
XML
XML

qualitative reasoning