Glossary
Abductive logic programming is a subfield of AI that deals with the use of logic programming to solve problems by formulating and testing hypotheses.
abductive reasoningAbductive reasoning is a form of logical reasoning that starts with an observation or set of observations and then seeks to find the simplest and most likely explanation for the set of observations.
abstract data typeAn abstract data type is a data type that is not concrete, but rather is defined by a set of values and operations.
abstraction (software engineering)Abstraction is the process of hiding the details of an implementation from the user. In software engineering, abstraction is used to hide the details of an implementation from the user.
accelerating changeAccelerating change in AI refers to the rapid pace at which AI technologies are evolving and being adopted in various fields. This is resulting in a growing number of AI applications and higher demand for AI talent.
action languageAction language is a language used to describe the actions that a agent can perform.
action model learningAction model learning is a process in AI whereby a computer system is able to learn how to perform a task by observing and imitating a human example.
action selectionAction selection is the process of choosing which action to take in a given situation.
activation functionA function that determines whether a neuron should be activated or not, based on the input it receives.
adaptive algorithmAn adaptive algorithm is a type of algorithm that changes its behavior based on feedback or new information.
adaptive neuro fuzzy inference system (ANFIS)A type of artificial neural network that is used to model complex input-output relationships by combining fuzzy logic with neural networks.
admissible heuristicA heuristic is a rule of thumb that is used to make decisions, solve problems, or learn new information. Heuristics are used when exact solutions are not possible or practical. Admissible heuristics are those that always lead to a solution that is as good as or better than the solutions that could be found using other heuristics.
affective computingAffective computing is a branch of AI that deals with the study and design of systems and devices that can recognize, interpret, process, and simulate human emotions.
agent architectureAgent architecture in AI is a framework that defines the components and interactions of an intelligent agent.
AI accelerator (computer hardware)A computer hardware accelerator is a device that is used to improve the performance of a computer or other type of electronic device.
AI-completeA problem is AI-complete if it requires the same amount of effort to solve using AI as it would using any other method.
AIMLAIML is a markup language used by Artificial Intelligence applications to create natural language interfaces.
algorithmA set of rules or steps that are followed in order to solve a problem.
algorithmic efficiencyAlgorithmic efficiency in AI is the ability of an algorithm to solve a problem in the shortest amount of time possible.
algorithmic probabilityAlgorithmic probability is a branch of AI that deals with the probability of events occurring based on an algorithm.
AlphaGoAlphaGo is a computer program that plays the board game Go.
ambient intelligence (AmI)Ambient intelligence (AmI) is a term used to describe a vision of the future in which computing is ubiquitous and integrated into the environment, and where intelligent systems interact seamlessly with people to enhance their quality of life.
analysis of algorithmsThe analysis of algorithms is the process of determining the amount of resources (time, space, etc.) required to solve a problem using a given algorithm.
analyticsAnalytics in AI is the process of analyzing data to extract useful information that can be used to improve decision making.
answer set programming (ASP)Answer set programming is a declarative programming paradigm in which a program consists of a set of rules. These rules are used to compute the set of desired output values.
anytime algorithmAn anytime algorithm is an algorithm that produces a sequence of solutions, with each successive solution being better than the previous one. The algorithm is designed to be run for a limited amount of time, and the best solution found so far is returned when time runs out.
application programming interface (API)An application programming interface (API) is a set of routines, protocols, and tools for building software applications. It specifies how software components should interact and lets programmers specify how they want their software to work.
approximate string matchingApproximate string matching is a method for finding strings that are similar to a given string.
approximation errorApproximation error is the difference between the value of a function at a certain point and the value of its approximation at that point.
argumentation frameworkAn argumentation framework is a set of rules and procedures for how agents in an artificial intelligence system can exchange arguments and counterarguments.
artificial general intelligence (AGI)Artificial general intelligence (AGI) is a subfield of AI research dedicated to creating a machine that can reason, learn, and solve problems like a human.
artificial immune system (AIS)AIS is a subfield of AI that deals with the design of computer systems that can identify and respond to potentially harmful inputs in a way that is similar to the human immune system.
Artificial intelligence, situated approachThe situated approach to artificial intelligence is a view of AI that emphasizes the importance of an agent's environment in its ability to perform intelligent behavior.
artificial intelligence (AI)Artificial intelligence (AI) is a branch of computer science that deals with the creation of intelligent agents, which are systems that can reason, learn, and act autonomously.
artificial neural network (ANN)An artificial neural network (ANN) is a machine learning algorithm that is used to model complex patterns in data. ANNs are similar to the brain in that they are composed of a large number of interconnected processing nodes, or neurons, that can learn to recognize patterns of input data.
Association for the Advancement of Artificial Intelligence (AAAI)The Association for the Advancement of Artificial Intelligence (AAAI) is a scientific society devoted to advancing the scientific understanding of artificial intelligence (AI) and promoting its responsible use.
asymptotic computational complexityAsymptotic computational complexity is a measure of the efficiency of an algorithm as the input size increases.
attributional calculusAttributional calculus is a mathematical framework for reasoning about the causes of events. It is used in AI to identify the causes of events and to predict the consequences of actions.
augmented reality (AR)Augmented reality (AR) is a technology that superimposes a computer-generated image on a user's view of the real world, providing a composite view.
AutoGPTAutoGPT refers to techniques and systems that automate interacting with large language models (LLMs) like GPT-3.
automata theoryAutomata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them.
automated planning and schedulingAutomated planning and scheduling in AI is the process of using computers to automatically plan and schedule actions or events. This can include planning and scheduling tasks, resources, and events.
automated reasoningAutomated reasoning is a subfield of AI that deals with the question of how to get computers to reason automatically.
autonomic computing (AC)Autonomic computing is a self-managing approach to computing in which systems can automatically configure, optimize, and heal themselves.
autonomous carA car that is able to drive itself using artificial intelligence.
autonomous robotA robot that is capable of carrying out tasks without human intervention.
backpropagation through time (BPTT)BPTT is a neural network training algorithm that is used to train recurrent neural networks. It is a variation of the backpropagation algorithm that is used to train standard feedforward neural networks.
backpropagationBackpropagation is a method used in artificial neural networks to calculate the error gradient of the network.
backward chainingBackward chaining is a technique used in artificial intelligence to solve problems by working backwards from the goal state to the current state.
bag-of-words model in computer visionA bag-of-words model in computer vision is a model where visual features are represented as a bag of words.
bag-of-words modelA bag-of-words model is a simple technique for natural language processing where a text is represented as a bag of words.
batch normalizationBatch normalization is a technique used to improve the training of deep neural networks by normalizing the input data at each layer.
Bayesian programmingBayesian programming is a method of AI programming that uses Bayesian inference to update beliefs about the state of the world based on new evidence.
bees algorithmBees algorithm is a swarm intelligence algorithm that is inspired by the foraging behavior of bees. The algorithm is used to solve optimization problems.
behavior informatics (BI)Behavior informatics is the study of how people interact with technology, and how those interactions can be used to improve the design of technology.
behavior tree (artificial intelligence, robotics and control)A behavior tree is a graphical representation of a sequence of actions and conditions that determine how an AI agent behaves.
belief-desire-intention software model (BDI)The belief-desire-intention software model (BDI) is a model of the mental states of an intelligent agent. The model consists of three components - beliefs, desires, and intentions.
bias–variance tradeoffThe bias–variance tradeoff is the problem of minimizing the sum of the bias and the variance of an estimator.
big dataBig data in AI is a term used to describe the large amount of data that is used to train machine learning models.
Big O notationBig O notation is a mathematical notation that describes the limiting behavior of a function when the argument tends to infinity.
binary treeA binary tree is a data structure that allows two nodes to be linked together by a path from the root to the leftmost child, and from the leftmost child to the rightmost child. The path is called a path from the root to the leftmost child, and from the leftmost child to the rightmost child.
blackboard systemA blackboard system is a type of artificial intelligence architecture that uses a central repository (blackboard) of information to which various modules can contribute. The blackboard is used to store both data and results of computations, and the modules can access and modify this information.
Boltzmann machineA Boltzmann machine is a type of stochastic artificial neural network that can learn a probability distribution over a set of inputs.
Boolean satisfiability problemThe Boolean satisfiability problem is the problem of determining whether a given Boolean formula can be satisfied by a given assignment of truth values to the variables of the formula.
brain technologyBrain technology in AI is a technology that enables machines to simulate human intelligence.
branching factorThe branching factor is the number of possible moves that can be made from a given position in a game.
brute-force searchA brute-force search in AI is a search algorithm that systematically checks every possible solution until it finds the one that works best.
capsule neural network (CapsNet)A capsule neural network (CapsNet) is a neural network that uses capsules to group together related information. Capsules are groups of neurons that work together to represent information about a particular part of an image or a particular object.
case-based reasoning (CBR)Case-based reasoning is a problem-solving approach that relies on previous solutions to similar problems.
chatbotA chatbot is a computer program that simulates human conversation, usually through artificial intelligence, to provide customer service or other online assistance.
cloud roboticsCloud robotics is a field of robotics that deals with the design and implementation of robots that are connected to the internet and can be controlled remotely.
cluster analysisCluster analysis is a technique for finding groups of similar objects in a data set.
Cobweb (clustering)A cobweb (clustering) is a method of unsupervised learning where data points are clustered together based on similarity.
cognitive architectureA cognitive architecture is a blueprint for a type of artificial intelligence that is designed to simulate the human mind.
cognitive computingCognitive computing is a branch of AI that deals with creating machines that can learn and think like humans.
cognitive scienceCognitive science is the study of the mind and its processes, including perception, attention, memory, language, and reasoning. It covers a wide range of topics from artificial intelligence (AI) and neuroscience to psychology and linguistics.
combinatorial optimizationCombinatorial optimization is a subfield of AI that deals with the problem of finding an optimal solution from a finite set of possibilities, using a combination of heuristic search and mathematical optimization techniques.
committee machineA committee machine is a type of artificial intelligence algorithm that combines the predictions of multiple models to produce a more accurate result.
commonsense knowledge (artificial intelligence)Commonsense knowledge is a branch of artificial intelligence that deals with the ability of computers to understand and work with common sense knowledge, i.e. the kind of knowledge that is not formal or logical, but is instead based on everyday experience.
commonsense reasoningCommonsense reasoning is the ability to make deductions based on everyday knowledge.
computational chemistryComputational chemistry in AI is the study of how to use computers to model and simulate chemical systems.
computational complexity theoryComputational complexity theory is a branch of AI that deals with the study of the resources required to solve problems.
computational creativityComputational creativity is a branch of AI that deals with the creation of new, original ideas or solutions.
computational cyberneticsComputational cybernetics is a subfield of AI that deals with the design and analysis of computational systems that can learn and adapt. It is concerned with the ways in which these systems can be made to behave in ways that are similar to the way humans and other animals learn and adapt.
computational humorComputational humor is a branch of AI that deals with the automatic generation and recognition of humor.
computational intelligence (CI)Computational intelligence (CI) is a subfield of artificial intelligence (AI) that deals with the design and development of intelligent computer systems. CI research is characterized by a focus on computational models of natural intelligence, as opposed to more traditional rule-based or logic-based approaches.
computational learning theoryComputational learning theory is a subfield of artificial intelligence that deals with the design and analysis of machine learning algorithms.
computational linguisticsComputational linguistics is the study of how to create computer programs that can process and understand human language.
computational mathematicsComputational mathematics in AI is the study of mathematical problems that can be solved using computers. This includes problems in optimization, numerical analysis, and statistics.
computational neuroscienceComputational neuroscience is the study of the brain and nervous system using mathematical models and computer simulations.
computational number theoryComputational number theory in AI is the study of algorithms for performing arithmetic operations on numbers, typically integers. It is a branch of mathematics that is concerned with the properties of integers, such as divisibility and factorization.
computational problemA computational problem is a task that can be solved by a computer.
computational statisticsComputational statistics in AI is the application of statistical methods to data analysis and decision making in artificial intelligence systems.
computer-automated design (CAutoD)A technology that uses computers to assist in the creation of designs.
computer scienceComputer science in AI is the study of how to create intelligent computer systems. This includes developing algorithms, designing architectures, and devising ways to make computers learn from data.
computer visionComputer vision is a branch of AI that deals with how computers can be made to gain high-level understanding from digital images or videos.
concept driftConcept drift is a phenomenon in machine learning where the performance of a model degrades over time due to changes in the underlying data distribution.
connectionismConnectionism is a neural network approach to artificial intelligence.
consistent heuristicA consistent heuristic is a function that always returns the same value for the same input.
constrained conditional model (CCM)A constrained conditional model (CCM) is a type of AI model that is used to find the best possible solution to a problem within a set of constraints.
constraint logic programmingConstraint logic programming is a subfield of AI that deals with the use of logic to solve problems with constraints.
constraint programmingConstraint programming is a subfield of AI that deals with the problems of finding solutions to constraints.
constructed languageA constructed language is a language that has been created by humans rather than developing naturally.
control theoryControl theory is a branch of AI that deals with the design and analysis of algorithms that can be used to control systems.
convolutional neural networkA convolutional neural network is a type of neural network that is used in image recognition and classification.
crossover (genetic algorithm)A crossover is a genetic algorithm that combines two different solutions to create a new solution.
DarkforestA darkforest is a type of AI algorithm that is used to identify objects in images.
Dartmouth workshopThe Dartmouth workshop in AI was a conference held in 1956 that is credited with launching the field of artificial intelligence.
data augmentationData augmentation is a technique used to artificially increase the size of a training dataset by creating modified versions of existing data. This is done by applying random transformations to the data, such as rotation, translation, and scaling.
data fusionData fusion is a process of combining data from multiple sources to produce a more accurate representation of a phenomenon than any of the individual data sources.
data integrationData integration in AI is the process of combining data from multiple sources into a single, coherent view. This allows businesses to make better decisions by having a more complete picture of their customers, products, and operations.
data miningData mining is a process of extracting patterns from data.
data scienceData science is the process of extracting knowledge from data. It is a interdisciplinary field that uses scientific methods, processes, algorithms and systems to extract knowledge and insights from data in various forms, both structured and unstructured.
data setA data set is a collection of data that is used to train a machine learning algorithm.
data warehouse (DW or DWH)A data warehouse is a database used for reporting and data analysis. It is a central repository of data that can be used to answer business questions.
DatalogDatalog is a declarative programming language for querying relational databases. It is based on the logical language Prolog, and extends Prolog with features for efficient query processing.
decision boundaryA decision boundary is a line or surface that separates different regions in data space.
decision support system (DSS)A decision support system (DSS) is a computer program that aids decision-making by using artificial intelligence (AI) techniques. DSSs use data from various sources to support decision-makers in solving complex problems.
decision theoryDecision theory is a mathematical framework for making optimal decisions in the face of uncertainty.
decision tree learningDecision tree learning is a method of machine learning that is used to create a model that predicts the value of a target variable based on several input variables.
declarative programmingDeclarative programming is a programming paradigm that expresses the logic of a computation without describing its control flow.
deductive classifierA deductive classifier is a type of AI algorithm that uses deductive reasoning to generate a classifier.
Deep Blue (chess computer)Deep Blue was a chess computer developed by IBM. It is known for being the first computer to beat a world chess champion in a match when it defeated Garry Kasparov in 1997.
deep learningDeep learning is a subset of machine learning that uses algorithms to model high-level abstractions in data.
DeepMind TechnologiesDeepMind Technologies is a leading artificial intelligence company that specializes in deep learning and reinforcement learning algorithms.
default logicDefault logic is a non-monotonic logic that allows for the expression of exceptions.
description logic (DL)A description logic is a formalism used for knowledge representation and reasoning in artificial intelligence.
developmental robotics (DevRob)Developmental robotics (DevRob) is a subfield of AI that deals with robots that are capable of autonomously acquiring new skills and knowledge through experience, similar to the way humans and other animals develop.
diagnosis (artificial intelligence)A diagnosis is a decision made by an AI system about the nature of something, typically based on data.
dialogue systemA dialogue system is a computer system that is designed to simulate a human conversation with another human.
dimensionality reductionDimensionality reduction is a technique used to reduce the number of features in a data set while retaining as much information as possible.
discrete systemA discrete system is a system where the state space is discrete.
distributed artificial intelligence (DAI)A distributed artificial intelligence (DAI) system is a type of AI system where intelligent agents are located in different places and can communicate and cooperate with each other to solve problems.
dynamic epistemic logic (DEL)Dynamic epistemic logic (DEL) is a subfield of AI that studies how agents reason about knowledge and belief in dynamic environments.
eager learningEager learning is a type of machine learning where the algorithm is trained using a dataset and then immediately tested on a separate dataset.
Ebert testThe Ebert test is a test used to determine whether a machine is capable of human-like intelligence.
echo state network (ESN)An echo state network is a recurrent neural network with a random hidden layer. The hidden layer is "echoing" the input, so that the network can learn temporal dependencies.
embodied agentAn embodied agent is an artificial intelligence system that is designed to interact with the physical world. Embodied agents typically have some kind of body or physical form, and they are able to interact with their environment through sensors and actuators.
embodied cognitive scienceEmbodied cognitive science is a field of AI that studies how the body and mind work together to produce intelligent behavior. It is based on the idea that the mind is not a separate entity from the body, but rather that the two are intimately intertwined.
ensemble averaging (machine learning)Ensemble averaging is a technique used in machine learning to improve the accuracy of a model by combining the predictions of multiple models.
error-driven learningError-driven learning is a type of learning in which the AI system is presented with a set of training data, and the system adjusts its parameters in order to minimize the error between the predicted output and the actual output.
ethics of artificial intelligenceThe ethics of artificial intelligence is a branch of ethics that deals with the moral and ethical issues that arise from the use of artificial intelligence.
evolutionary algorithm (EA)An evolutionary algorithm (EA) is a type of artificial intelligence that uses a process of natural selection to find solutions to problems.
evolutionary computationEvolutionary computation is a subfield of AI that deals with the design and analysis of algorithms based on the principles of natural selection and evolution.
evolving classification function (ECF)A function that maps an input to a class label, where the function evolves over time as it is exposed to new data.
existential risk from artificial general intelligenceExistential risk from artificial general intelligence is the risk of human extinction or permanent civilizational decline due to the development of artificial general intelligence.
expert systemAn expert system is a computer system that emulates the decision-making ability of a human expert.
fast-and-frugal treesA fast-and-frugal tree is a decision tree that is designed to be both fast and frugal, meaning that it is able to make decisions quickly and with a minimum of resources.
feature extractionFeature extraction is a process of reducing the amount of data in a dataset while retaining as much information as possible.
feature learningFeature learning is a technique for automatically discovering useful representations of data. This is typically done by training a machine learning model to perform a task using a dataset where the input data has been transformed into a set of features. The model can then be used to transform new data into the same set of features, which can be used to perform the same task.
feature selectionFeature selection is a process in machine learning where a model is trained to identify which input features are most relevant to the model's output. This process can improve the model's accuracy and reduce the amount of data that the model needs to be trained on.
federated learningFederated learning is a type of machine learning where data is distributed across multiple devices and the model is trained on these devices.
first-order logicFirst-order logic is a formal system used in mathematics, philosophy, linguistics, and computer science. It is characterized by its use of quantifiers, which are variables that range over objects, such as people or things, and allow for the expression of general statements, such as "there exists someone who likes all dogs".
fluent (artificial intelligence)Fluent is an artificial intelligence technology company that specializes in providing virtual customer assistants.
formal languageA formal language is a language that is characterized by a strict set of rules that govern the structure of expressions within the language.
forward chainingForward chaining is a data-driven approach to problem solving that involves starting with known information and working toward a desired goal.
frame languageA frame language is a language used to describe the structure of data in a frame-based system.
frame problemA frame problem is a problem in artificial intelligence that occurs when an AI system cannot identify all relevant factors in a given situation. This can lead to the AI making suboptimal or even incorrect decisions.
frame (artificial intelligence)A frame is a collection of data describing a particular aspect of the world, including objects, events, and relations between them.
friendly artificial intelligenceA friendly artificial intelligence is an AI system that has been designed to be safe and beneficial for humans.
futures studiesFutures studies in AI is the study of how artificial intelligence will impact the future of humanity.
fuzzy control systemA fuzzy control system is a control system based on fuzzy logic—a mathematical system that analyzes analog input values in terms of logical variables that take on continuous values between 0 and 1.
fuzzy logicFuzzy logic is a type of AI that uses imprecise or incomplete data to make decisions.
fuzzy ruleA fuzzy rule is a statement of the form "If X is A, then Y is B", where X and Y are variables, and A and B are fuzzy sets.
fuzzy setA fuzzy set is a set in which the membership of each element is a real number between 0 and 1.
game theoryGame theory is a branch of AI that deals with the strategic interaction between intelligent agents.
general game playing (GGP)A general game playing (GGP) agent is one that can reason about and play any game given only its rules.
generative adversarial network (GAN)A generative adversarial network (GAN) is a type of artificial intelligence algorithm used to generate new data samples from a training dataset. It is composed of two neural networks, a generator and a discriminator, that compete with each other in a zero-sum game. The generator creates new data samples that are similar to the training data, while the discriminator tries to distinguish between the generated samples and the real training data.
genetic algorithm (GA)A genetic algorithm is a search heuristic that is inspired by Charles Darwin’s theory of natural selection. This algorithm mimics the process of natural selection to find the best solution to a problem.
genetic operatorA genetic operator is a function that is used to create a new individual in a population of individuals for a genetic algorithm.
glowworm swarm optimizationGlowworm swarm optimization is a method of AI that uses a swarm of glowworms to find the best solution to a problem.
graph (discrete mathematics)A graph is a discrete mathematics structure that consists of a set of vertices (or nodes) and a set of edges connecting them.
graph database (GDB)A graph database is a database that uses graph structures for semantic queries with nodes, edges, and properties to represent and store data.
graph theoryGraph theory is the study of graphs and their properties. In AI, graph theory is used to represent and solve problems involving relationships between objects.
graph traversalGraph traversal is a process of visiting each node in a graph, usually from a starting node, and keeping track of which nodes have been visited.
graph (abstract data type)A graph is a data structure that consists of a set of nodes (vertices) and a set of edges connecting them.
halting problemThe halting problem is a problem in computer science that asks whether it is possible to determine, given a description of a program and an input, whether the program will finish running or continue to run forever.
heuristic (computer science)A heuristic is a technique used to solve a problem more quickly when classic methods are too slow, or when no exact solution exists.
hyper-heuristicA hyper-heuristic is a search method that uses a set of heuristics to guide the search for a solution to a problem.
IEEE Computational Intelligence SocietyThe IEEE Computational Intelligence Society (IEEE-CIS) is a professional society of the Institute of Electrical and Electronics Engineers (IEEE) focused on artificial intelligence (AI), machine learning (ML), and computational intelligence (CI) research and applications.
incremental learningIncremental learning is a method of training artificial intelligence (AI) systems whereby new data is incrementally added to a pre-existing dataset and the AI system is retrained on the combined dataset. This allows the AI system to continually learn from new data and improve its performance over time.
inference engineAn inference engine is a component of an AI system that applies logical reasoning to arrive at conclusions based on a set of given facts.
information integration (II)Information integration is the process of combining data from multiple sources into a single, coherent view. This can be done manually, but is often automated using software that can identify and merge data from multiple sources.
Information Processing Language (IPL)IPL is a programming language designed for artificial intelligence research.
intelligence amplification (IA)IA is a process of using AI technology to enhance human cognitive abilities. This can be done through a variety of means, such as providing humans with access to more information, or helping them to process and understand information more effectively.
intelligence explosionThe intelligence explosion is a hypothetical future event in which machines become capable of improving their own intelligence, and thus design even more intelligent machines. This could potentially lead to an exponential increase in intelligence, and eventually to a Singularity.
intelligent agent (IA)An intelligent agent is a software program that is able to autonomously perform tasks in order to achieve a goal.
intelligent controlIntelligent control is a subfield of AI that deals with the design of intelligent agents, which are systems that can reason and act autonomously.
intelligent personal assistantAn intelligent personal assistant is a software agent that can perform tasks or services for an individual based on commands or questions.
interpretation (logic)Interpretation (logic) in AI is the process of analyzing and understanding the meaning of data, in order to draw conclusions from it.
intrinsic motivation (artificial intelligence)Intrinsic motivation is a form of motivation that comes from within oneself, as opposed to extrinsic motivation, which comes from external factors.
issue treeAn issue tree is a graphical representation of the relationships between various issues. It is used to help identify and analyze the relationships between different issues, and to find solutions to problems.
junction tree algorithmA junction tree algorithm is a method for finding the optimal solution to a problem by breaking it down into smaller subproblems.
kernel methodA kernel method is a method used in machine learning to estimate the value of a function at a given point by using a kernel, which is a function that returns the inner product of two vectors.
KL-ONEKL-ONE is a knowledge representation system used in artificial intelligence. It is based on the formalism of description logics.
knowledge acquisitionIn AI, knowledge acquisition is the process of extracting knowledge from data. This can be done manually, through a process of observation and experimentation, or automatically, using a variety of techniques such as machine learning.
knowledge-based system (KBS)A knowledge-based system (KBS) is a computer system that uses artificial intelligence (AI) techniques to store and retrieve knowledge.
knowledge engineering (KE)Knowledge engineering is the process of designing and building computer systems that can acquire, represent, and reason with knowledge.
knowledge extractionKnowledge extraction is the process of extracting knowledge from data.
knowledge Interchange Format (KIF)KIF is a knowledge representation language used in AI that is based on first-order logic.
knowledge representation and reasoningKnowledge representation is the process of encoding information about the world in a form that a computer can use to solve problems. Reasoning is the process of using the knowledge to draw new conclusions or solve problems.
lazy learningLazy learning is a machine learning method where generalization from a training set is delayed until a query is made to the system, as opposed to in eager learning, where the system is trained and generates a model before receiving any queries.
Lisp (programming language) (LISP)Lisp is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation. Originally specified in 1958, Lisp is the second-oldest high-level programming language in widespread use today. Only Fortran is older, by one year.
LLMOpsLLMOps refers to the processes involved in building, training, and deploying these large language models for practical applications.
logic programmingLogic programming is a type of programming in which programmers define the rules of the program in the form of logical statements.
long short-term memory (LSTM)A long short-term memory (LSTM) is a type of recurrent neural network that is capable of learning long-term dependencies.
machine learning (ML)Machine learning is a subset of artificial intelligence in which computers are trained to learn from data, identify patterns and make predictions without being explicitly programmed to do so.
machine listeningMachine listening is a subfield of AI that deals with teaching computers how to interpret and understand audio data. This can involve tasks such as speech recognition, speaker identification, and sound source localization.
machine perceptionMachine perception is the ability of machines to interpret and understand sensory data. This includes the ability to identify objects, faces, and emotions from images and videos, as well as to identify sounds and to understand spoken language.
machine vision (MV)Machine vision is a branch of AI that deals with giving computers the ability to see and interpret the world in the same way that humans do.
Markov chainA Markov chain is a stochastic model describing a sequence of possible events in which the probability of each event depends only on the state attained in the previous event.
Markov decision process (MDP)A Markov decision process (MDP) is a mathematical framework for modeling decision-making in situations where outcomes are partly random and partly under the control of a decision-maker.
mathematical optimizationMathematical optimization is a subfield of mathematics that deals with the problem of finding the best possible solution to a given mathematical problem.
mechanism designMechanism design is a subfield of artificial intelligence that deals with the design of intelligent systems. It is concerned with the creation of algorithms and architectures that enable intelligent systems to perform tasks such as planning, scheduling, and resource allocation.
mechatronicsMechatronics is the combination of mechanical engineering, electronics, and computer science to create intelligent machines.
metabolic network reconstruction and simulationMetabolic network reconstruction and simulation is the process of using artificial intelligence algorithms to create a model of a cell's metabolic network and then simulate how the cell would respond to various stimuli.
metaheuristicA metaheuristic is a higher-level procedure or heuristic designed to find, generate, or select a heuristic (partial search algorithm) that may provide a sufficiently good solution to an optimization problem, especially with incomplete or uncertain information.
model checkingModel checking is a method of verifying the correctness of a model of a system.
Monte Carlo tree searchA Monte Carlo tree search is a method used in artificial intelligence to find the best move in a game by using random simulations.
multi-agent system (MAS)A multi-agent system (MAS) is a system composed of multiple interacting intelligent agents.
multi-swarm optimizationMulti-swarm optimization is a technique used in AI to optimize a function by iteratively improving a set of candidate solutions.
mutation (genetic algorithm)A mutation is a random change to the genetic code of a chromosome.
MycinMycin is a rule-based expert system for diagnosing infections and selecting antibiotics.
naive Bayes classifierA naive Bayes classifier is a simple machine learning algorithm that is used to predict the class of an object based on the class probabilities of other objects.
naive semanticsNaive semantics is a simple approach to understanding the meaning of natural language sentences that relies on the compositionality of meaning.
name bindingName binding is the process of associating a name with an entity, such as a variable, in order to identify it.
named-entity recognition (NER)Named-entity recognition (NER) is a sub-task of information extraction that seeks to locate and classify named entities in text into pre-defined categories such as the names of persons, organizations, locations, expressions of times, quantities, monetary values, percentages, etc.
named graphA named graph is a graph that has been given a name.
natural language generation (NLG)Natural language generation is a subfield of artificial intelligence that deals with the generation of natural language text by computers.
natural language processing (NLP)Natural language processing (NLP) is a subfield of linguistics, computer science, information engineering, and artificial intelligence concerned with the interactions between computers and human (natural) languages, in particular how to program computers to process and analyze large amounts of natural language data.
natural language programmingNatural language programming is a subfield of AI that deals with the ability of computers to understand and process human language.
network motifA network motif is a small, recurring pattern of connectivity within a complex network.
neural machine translation (NMT)Neural machine translation is a type of AI that is used to translate text from one language to another.
neural Turing machine (NTM)A neural Turing machine (NTM) is a neural network architecture that can learn to perform complex tasks by reading and writing to an external memory.
neuro-fuzzyA neuro-fuzzy system is a type of artificial intelligence that uses both neural networks and fuzzy logic.
neurocyberneticsNeurocybernetics is a field of AI that deals with the design and control of intelligent systems that interact with the brain and nervous system.
neuromorphic engineeringNeuromorphic engineering is a branch of AI that deals with the design and development of artificial neural networks.
node (computer science)A node is a point in a network where lines or pathways intersect or branch. In computer science, a node is an individual computer or other device within a network.
nondeterministic algorithmA nondeterministic algorithm is an algorithm that, given a particular input, can exhibit different behaviors on different runs, even if the input is the same.
nouvelle AINouvelle AI is a subfield of AI that deals with the creation of intelligent agents.
NP-completenessA problem is NP-complete if it is in the class NP and it is as hard as the hardest problems in NP.
NP-hardnessA problem is NP-hard if it is at least as hard as the hardest problems in NP.
NP (complexity)In computational complexity theory, NP is a complexity class used to describe certain types of decision problems. NP is the set of all decision problems for which the answer can be checked by a polynomial-time algorithm, that is, an algorithm that runs in O(nk) time for some constant k.
Occam's razorOccam's razor is a principle that states that the simplest explanation is usually the correct one. In AI, this principle is often used to choose between different models or algorithms.
offline learningOffline learning is a type of AI where the system is not constantly being trained with new data. Instead, it is trained with a set of data and then left to learn on its own.
online machine learningOnline machine learning is a subfield of machine learning that focuses on developing algorithms that can learn from data that is continuously being streamed.
ontology learningOntology learning is a process of automatically extracting structured information from unstructured or semi-structured data sources.
Open Mind Common SenseOpen Mind Common Sense is a cognitive architecture that aims to provide a computational model of human common sense. It is designed to capture the knowledge that humans use to reason about the world, including knowledge about physics, psychology, and social interactions.
open-source software (OSS)Open-source software (OSS) is software that is available for free and can be modified by anyone.
OpenAIOpenAI is a research company that focuses on artificial intelligence (AI) in order to promote friendly AI.
OpenCogOpenCog is an artificial intelligence project aimed at creating a general artificial intelligence framework.
partial order reductionPartial order reduction is a technique used in AI to reduce the search space of a problem by considering only partial orders of the variables. This can be done by using a heuristic function to order the variables, or by using a constraint satisfaction algorithm to find a consistent ordering of the variables.
partially observable Markov decision process (POMDP)A POMDP is a decision process in which an agent must make decisions in an environment where some of the information is hidden.
particle swarm optimization (PSO)Particle swarm optimization (PSO) is a computational method that optimizes a problem by iteratively trying to improve a candidate solution with regard to a given measure of quality.
pathfindingPathfinding is the process of finding a path from one point to another.
pattern recognitionPattern recognition is a branch of machine learning that deals with the identification and classification of patterns in data. Pattern recognition can be used for a variety of tasks, such as image classification, object detection, and facial recognition.
predicate logicPredicate logic is a formal system of logic that allows for the expression of complex propositions and relationships between objects, including the use of variables.
predictive analyticsPredictive analytics is a branch of artificial intelligence that deals with making predictions about future events based on data and analytics.
principal component analysis (PCA)A principal component is a linear combination of the original variables in a data set. Principal component analysis is a technique used to find the principal components in a data set.
principle of rationalityThe principle of rationality is the idea that agents should make decisions that are in their best interests.
probabilistic programming (PP)Probabilistic programming is a subfield of AI that deals with the creation of models that can generate predictions based on probabilistic reasoning.
production system (computer science)A production system is a computer program that uses a set of rules to generate a solution to a problem.
programming languageA programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
PrologProlog is a logic programming language associated with artificial intelligence and computational linguistics.
prompt engineeringPrompt engineering is the practice of carefully designing the prompts that are inputted into large language models (LLMs) to produce better quality and more controlled outputs.
propositional calculusPropositional calculus is a branch of logic that deals with propositions, which are statements that can be either true or false.
Python (programming language)Python is a programming language that is widely used in AI applications.
qualification problemA qualification problem in AI is a problem that can be solved by a computer using AI techniques.
quantifier (logic)In logic, a quantifier is a type of operator that specifies how many times a statement must be true.
quantum computingQuantum computing is a type of computing where information is processed using quantum bits instead of classical bits. This makes quantum computers much faster and more powerful than traditional computers.
query languageA query language is a language used to make queries, or requests for information, from a database.
R (programming language)R is a programming language for statistical computing and graphics. It is a free and open-source software environment.
radial basis function networkA radial basis function network is a type of neural network that uses radial basis functions as activation functions. Radial basis function networks are used for pattern recognition and classification tasks.
random forestA random forest is a type of machine learning algorithm that builds a model of multiple decision trees to make predictions.
reasoning systemA reasoning system is a set of rules used to draw conclusions from a set of premises.
recurrent neural network (RNN)A recurrent neural network (RNN) is a type of neural network that is used to model sequential data. RNNs are similar to traditional neural networks, but they are designed to handle data that is in a sequential or time-series format.
region connection calculusA region connection calculus is a set of mathematical rules used to infer relationships between different regions in an image. This type of calculus is often used in computer vision and image processing applications.
reinforcement learning (RL)Reinforcement learning is a type of machine learning that allows agents to learn how to optimize their behavior by interacting with their environment.
reservoir computingA reservoir computer is a type of neural network that uses a dynamic system, such as a liquid or gas, as its working memory. The system's dynamics are used to store and process information, making it well suited for tasks such as pattern recognition and time-series prediction.
Resource Description Framework (RDF)The Resource Description Framework (RDF) is a standard model for data interchange on the Web. RDF is a directed, labeled graph data model that enables the representation of information from a variety of sources and vocabularies.
restricted Boltzmann machine (RBM)A restricted Boltzmann machine (RBM) is a type of energy-based model which is used to learn a probability distribution over a set of hidden variables, given a set of visible variables.
Rete algorithmA Rete algorithm is a type of AI algorithm that is used to improve the efficiency of rule-based systems. It does this by creating a network of nodes, which represent rules or conditions, and then using this network to match new data against the rules.
roboticsRobotics in AI is the study of how to create robots that can think and act for themselves. This includes creating algorithms for robots to use to make decisions, as well as programming robots to be able to interact with their environment and with humans.
rule-based systemA rule-based system is a computer system that uses a set of rules to make decisions or perform actions.
satisfiabilityThe satisfiability problem is the problem of determining whether there exists an interpretation that satisfies a given Boolean formula.
search algorithmA search algorithm is a method for finding a solution to a problem in a finite amount of time.
selection (genetic algorithm)Selection is the process of choosing which individual will reproduce and pass on their genes to the next generation.
self-management (computer science)Self-management is the ability of a computer system to manage its own resources without human intervention. This includes tasks such as allocating resources, scheduling tasks, and monitoring performance.
semantic networkA semantic network is a graphical representation of how words are related to each other.
semantic queryA semantic query is a question that can be answered by extracting information from a text document.
semantic reasonerA semantic reasoner is a computer program that uses a formal ontology to reason about the meaning of symbols in order to draw logical conclusions from a set of premises.
semantics (computer science)In computer science, semantics is the study of meaning in programming languages and formal logics.
sensor fusionSensor fusion is the process of combining data from multiple sensors to estimate the state of a system.
separation logicSeparation logic is a logical framework for reasoning about the safety of programs that manipulate heap-allocated data structures.
similarity learningSimilarity learning is a subfield of machine learning that deals with the problem of finding a similarity function that can be used to measure the similarity between two data points.
simulated annealing (SA)Simulated annealing is a technique used in AI to find an approximate solution to a problem by slowly changing a set of values in order to find a minimum or maximum value.
situation calculusThe situation calculus is a formalism for reasoning about actions and change in a dynamic world.
SLD resolutionIn AI, SLD resolution is a process of converting a first-order logic sentence into an equivalent sentence in propositional logic.
software engineeringSoftware engineering in AI is the process of designing, creating, testing, and maintaining software for artificial intelligence applications.
softwareSoftware in AI is a set of instructions that tell a computer how to perform a task.
SPARQLSPARQL is a query language for databases that allows for the retrieval of specific data from those databases.
spatial-temporal reasoningSpatial-temporal reasoning is the ability to reason about space and time.
speech recognitionA process of converting spoken words to text, typically by means of a computer.
spiking neural network (SNN)A spiking neural network (SNN) is a neural network that uses spikes, or discrete pulses of information, to communicate between neurons. SNNs are similar to traditional neural networks, but they can process information in a more efficient way.
Stanford Research Institute Problem Solver (STRIPS)STRIPS is a planning system for AI that was developed at Stanford Research Institute. It is based on the idea of representing actions and goals as sets of preconditions and effects.
state (computer science)A state is a representation of the current situation in an AI system. It includes all the information that is relevant to the current task.
statistical classificationStatistical classification is a method of machine learning where data is classified into groups based on similarities. This is done by training a classifier on a dataset, which is then used to predict the class of new data.
statistical relational learning (SRL)Statistical relational learning (SRL) is a subfield of machine learning that combines statistical and relational learning techniques to learn from complex, structured data. SRL algorithms are capable of learning complex relationships between variables and can handle data with missing values and hidden structure.
stochastic optimization (SO)Stochastic optimization is a method of optimization that uses randomness to find an approximate solution to a problem.
stochastic semantic analysisA stochastic semantic analysis is a type of AI that uses statistical methods to analyze data.
subject-matter expertA subject-matter expert in AI is a person who is an expert in a particular area of AI.
superintelligenceSuperintelligence is a hypothetical AI system that is significantly smarter than any human.
supervised learningSupervised learning is a type of machine learning algorithm that uses a known dataset to train a model to make predictions.
support-vector machinesA support-vector machine is a supervised learning algorithm that can be used for both classification and regression tasks. The algorithm is based on finding a hyperplane that maximizes the margin between the two classes.
swarm intelligence (SI)Swarm intelligence (SI) is a subfield of artificial intelligence (AI) that is concerned with the study of decentralized, self-organized systems.
symbolic artificial intelligenceSymbolic artificial intelligence is a subfield of AI that deals with the manipulation of symbols.
synthetic intelligence (SI)Synthetic intelligence (SI) is a subfield of AI that deals with the creation of intelligent agents, which are systems that can reason, learn, and act autonomously.
systems neuroscienceSystems neuroscience in AI is the study of how the brain processes information and how this can be applied to artificial intelligence.
technological singularityThe technological singularity is a hypothetical future event in which artificial intelligence (AI) will have surpassed human intelligence, leading to a rapid and exponential increase in technological development.
temporal difference learningTemporal difference learning is a type of machine learning that is used to predict future events.
tensor network theoryTensor network theory is a branch of mathematics that deals with the representation of high-dimensional tensors. Tensors are mathematical objects that generalize matrices to higher dimensions. Tensor network theory provides a way to represent these high-dimensional objects using a lower-dimensional network. This theory has applications in machine learning, where it can be used to represent high-dimensional data.
TensorFlowTensorFlow is a free and open-source software library for data analysis and machine learning. It is a symbolic math library, and is also used for machine learning applications such as neural networks.
theoretical computer science (TCS)Theoretical computer science (TCS) is a branch of computer science that deals with the theoretical foundations of computing and computer science, as well as their applications.
theory of computationThe theory of computation is the branch of mathematics that deals with the analysis of algorithms and the efficiency of computation.
Thompson samplingThompson sampling is a reinforcement learning algorithm that deals with the exploration-exploitation trade-off by balancing between exploration (of new options) and exploitation (of known good options).
time complexityTime complexity is a measure of the amount of time it takes for an algorithm to run.
transhumanismTranshumanism in AI is the belief that artificial intelligence will eventually surpass human intelligence, and that humans should use technology to enhance their own cognitive and physical abilities.
transition systemA transition system is a mathematical model used to describe the behavior of a system that can be in one of a finite number of states. The system can change from one state to another in a finite number of steps.
tree traversalA tree traversal is a method of visiting each node in a tree data structure in a specific order.
true quantified Boolean formulaA true quantified Boolean formula (QBF) is a formula in which all variables are quantified, and in which the truth of the formula can be determined by evaluating the formula for all possible combinations of truth values for the quantified variables.
Turing machineA Turing machine is a hypothetical machine conceived of by Alan Turing in 1936 that can perform any calculation that could be done by hand.
Turing testA Turing test is a test of a machine's ability to exhibit intelligent behaviour equivalent to, or indistinguishable from, that of a human.
type systemA type system is a logical system that allows for the classification of objects into types. In AI, a type system can be used to classify objects in a scene, such as identifying all the people in an image.
unsupervised learningUnsupervised learning is a type of machine learning algorithm that is used to find patterns in data. The algorithm is not given any labels or target values to learn from.
vision processing unit (VPU)A vision processing unit (VPU) is a specialized type of microprocessor that is designed to rapidly process and interpret the large amounts of data that are generated by digital cameras and other image-sensing devices.
Watson (computer)Watson is a computer system that can answer questions posed in natural language.
weak AIWeak AI is a term used to describe AI systems that are not as advanced as strong AI. Weak AI systems are designed to perform specific tasks, such as playing a game or solving a specific problem.
World Wide Web Consortium (W3C)The World Wide Web Consortium (W3C) is an international community that develops standards for the World Wide Web.