Glossary of artificial intelligence

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 workshop –

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 –

Principal Component Analysis –

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 –