Glossary of artificial intelligence

This glossary of artificial intelligence terms is about artificial intelligence, its sub-disciplines, and related fields.

A

• Abductive logic programming –
• Abductive reasoning –
• Abstract data type –
• Abstraction –
• Accelerating change –
• Action language –
• Action model learning –
• Action selection –
• Adaptive algorithm –
• Adaptive neuro fuzzy inference system –
• Admissible heuristic –
• Affective computing –
• Agent architecture –
• AI accelerator –
• AI-complete –
• Algorithm –
• Algorithmic efficiency –
• Algorithmic probability –
• AlphaGo –
• Ambient intelligence –
• Analysis of algorithms –
• Answer set programming –
• Anytime algorithm –
• Application programming interface –
• Approximate string matching –
• Approximation error –
• Argumentation framework –
• Artificial immune system –
• Artificial intelligence –
• Artificial Intelligence Markup Language –
• Artificial neural network –
• Association for the Advancement of Artificial Intelligence –
• Asymptotic computational complexity –
• Attributional calculus –
• Augmented reality –
• Automata theory –
• Automated planning and scheduling –
• Automated reasoning –
• Autonomic computing –
• Autonomous car –
• Autonomous robot –

B

• Backpropagation –
• Backward chaining –
• Batch normalisation –
• Bayesian programming –
• Bees algorithm –
• Behavior informatics –
• Behavior tree –
• Belief-desire-intention software model –
• Bias–variance tradeoff –
• Big data –
• Big O notation –
• Binary tree –
• Bio-inspired computing –
• Blackboard system –
• Boolean satisfiability problem –
• Brain technology –
• Branching factor –
• Brute-force search –

C

• Case-based reasoning –
• Chatterbot –
• Cloud robotics –
• Cluster analysis –
• Cobweb –
• Cognitive architecture –
• Cognitive computing –
• Cognitive science –
• Combinatorial optimization –
• Committee machine –
• Commonsense knowledge –
• Commonsense reasoning –
• Computational chemistry –
• Computational complexity theory –
• Computational creativity –
• Computational humor –
• Computational intelligence –
• Computational learning theory –
• Computational linguistics –
• Computational mathematics - the mathematical research in areas of science where computing plays an essential role.
• Computational neuroscience –
• Computational number theory - also known as algorithmic number theory, it is the study of algorithms for performing number theoretic computations.
• Computational problem –
• Computational statistics –
• Computational vision –
• Computer-automated design –
• Computer science –
• Computer vision –
• Connectionism –
• Consistent heuristic –
• Constraint logic programming –
• Constraint programming –
• Constructed language –
• Control theory –
• Convolutional neural network –
• Crossover –

D

• Darkforest –
• Dartmouth Conferences –
• Data fusion –
• Data integration –
• Data mining –
• Data science –
• Data set –
• Data warehouse –
• Datalog –
• Decision boundary –
• Decision support system –
• Decision theory –
• Declarative programming –
• Deductive classifier –
• Deep Blue –
• Deep learning –
• Default logic –
• Description logic –
• Developmental robotics –
• Diagnosis –
• Dialog system –
• Dimensionality reduction –
• Discrete system –
• Distributed artificial intelligence –
• Dynamic epistemic logic –

E

• Embodied agent –
• Embodied cognitive science –
• Ensemble averaging –
• Ethics of artificial intelligence –
• Evolutionary algorithm –
• Evolutionary computation –
• Evolving classification function –
• Existential risk –
• Expert systems –

F

• Feature extraction –
• Feature selection –
• First-order logic –
• Fluent –
• Formal language –
• Forward chaining –
• Frame –
• Frame language –
• Frame problem –
• Friendly artificial intelligence –
• Futures studies –
• Fuzzy control system –
• Fuzzy logic –
• Fuzzy set –

G

• Game theory –
• Genetic algorithm –
• Genetic operator –
• Glowworm swarm optimization –
• Google DeepMind –
• Graph (abstract data type) –
• Graph (discrete mathematics) –
• Graph database –
• Graph theory –
• Graph traversal –

H

• Heuristic –
• Hyper-heuristic –

I

• IEEE Computational Intelligence Society –
• Inference engine –
• Information integration –
• Information Processing Language –
• Intelligence amplification –
• Intelligence explosion –
• Intelligent agent –
• Intelligent control –
• Intelligent personal assistant –
• Interpretation –
• Issue trees –

K

• Kernel method –
• KL-ONE –
• Knowledge acquisition –
• Knowledge-based systems –
• Knowledge engineering –
• Knowledge extraction –
• Knowledge Interchange Format –
• Knowledge representation and reasoning –

L

• Linked data –
• Lisp –
• Logic programming –

M

• Machine vision –
• Markov chain –
• Markov decision process –
• Mathematical optimization –
• Machine learning –
• Machine listening –
• Machine perception –
• Mechanism design –
• Mechatronics –
• Metabolic network modelling –
• Metaheuristic –
• Model checking –
• Modus ponens –
• Modus tollens –
• Monte Carlo tree search –
• Multi-agent system –
• Multi-swarm optimization –
• Mutation –
• Mycin –

N

• Name binding –
• Named-entity recognition –
• Named graph –
• Natural language processing –
• Natural language programming –
• Network motif –
• Neuro-fuzzy –
• Neurocybernetics –
• Node –
• Nondeterministic algorithm –
• Nouvelle AI –
• NP –
• NP-completeness –
• NP-hardness –

O

• Ontology engineering –
• Ontology learning –
• OpenAI –
• OpenCog –
• Open-source software –

P

• Pathfinding –
• Partial order reduction –
• Partially observable Markov decision process –
• Particle swarm optimization –
• Pathfinding –
• Pattern recognition –
• Planner –
• Predicate logic –
• Principle of rationality –
• Probabilistic programming language –
• Production Rule Representation –
• Production system –
• Programming language –
• Prolog –
• Propositional calculus –
• Python –

Q

• Qualification problem –
• Quantifier –
• Query language –

R

• R programming language –
• Reasoning system –
• Recurrent neural network –
• Region connection calculus –
• Reinforcement learning –
• Resource Description Framework –
• Rete algorithm –
• Robotics –
• Rule-based system –

S

• Satisfiability –
• Search algorithm –
• Selection –
• Self-management –
• Semantic network –
• Semantic reasoner –
• Semantic query –
• Semantics –
• Sensor fusion –
• Separation logic –
• Similarity learning –
• Simulated annealing –
• Situated approach –
• Situation calculus –
• SLD resolution –
• Soft computing –
• Software –
• Software engineering –
• Spatial-temporal reasoning –
• SPARQL –
• Speech recognition –
• Spiking neural network –
• State –
• Statistical classification –
• Statistical relational learning –
• Stochastic optimization –
• Stochastic semantic analysis
• STRIPS –
• Subject-matter expert –
• Superintelligence –
• Supervised learning –
• Swarm intelligence –
• Symbolic artificial intelligence –
• Synthetic intelligence –
• Systems neuroscience –

T

• Technological singularity –
• Temporal difference learning –
• Tensor network theory –
• TensorFlow –
• Theoretical computer science –
• Theory of computation –
• Thompson sampling –
• Time complexity –
• Transhumanism –
• Transition system –
• Tree traversal –
• True quantified Boolean formula –
• Turing test –
• Type system –

U

• Unsupervised learning –

V

• Vision processing unit –

W

• Watson –
• Weak AI –
• World Wide Web Consortium –

See also

• Artificial intelligence
• Glossary of areas of mathematics