Outline of artificial intelligence
   HOME

TheInfoList



OR:

The following outline is provided as an overview of and topical guide to artificial intelligence: Artificial intelligence (AI) is intelligence exhibited by machines or software. It is also the name of the scientific field which studies how to create computers and computer software that are capable of intelligent behavior.


AI algorithms and techniques


Search

* Discrete
search algorithm In computer science, a search algorithm is an algorithm designed to solve a search problem. Search algorithms work to retrieve information stored within particular data structure, or calculated in the Feasible region, search space of a problem do ...
s ** Uninformed search *** Brute force search ***
Search tree In computer science, a search tree is a tree data structure used for locating specific keys from within a set. In order for a tree to function as a search tree, the key for each node must be greater than any keys in subtrees on the left, and les ...
****
Breadth-first search Breadth-first search (BFS) is an algorithm for searching a tree data structure for a node that satisfies a given property. It starts at the tree root and explores all nodes at the present depth prior to moving on to the nodes at the next dept ...
****
Depth-first search Depth-first search (DFS) is an algorithm for traversing or searching tree or graph data structures. The algorithm starts at the root node (selecting some arbitrary node as the root node in the case of a graph) and explores as far as possible al ...
***
State space search State-space search is a process used in the field of computer science, including artificial intelligence (AI), in which successive configurations or ''states'' of an instance are considered, with the intention of finding a ''goal state'' with the ...
** Informed search ***
Best-first search Best-first search is a class of search algorithms which explores a graph by expanding the most promising node chosen according to a specified rule. Judea Pearl described best-first search as estimating the promise of node ''n'' by a "heuristic eva ...
*** A* search algorithm ***
Heuristics A heuristic or heuristic technique (''problem solving'', '' mental shortcut'', ''rule of thumb'') is any approach to problem solving that employs a pragmatic method that is not fully optimized, perfected, or rationalized, but is nevertheless ...
*** Pruning (algorithm) ** Adversarial search *** Minmax algorithm ** Logic as search ***
Production system (computer science) A production system (or production rule system) is a computer program typically used to provide some form of artificial intelligence, which consists primarily of a set of rules about behavior, but also includes the mechanism necessary to follow tho ...
, Rule based system *** Production rule,
Inference rule Rules of inference are ways of deriving conclusions from premises. They are integral parts of formal logic, serving as norms of the logical structure of valid arguments. If an argument with true premises follows a rule of inference then the co ...
,
Horn clause In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form that gives it useful properties for use in logic programming, formal specification, universal algebra and model theory. Horn clauses are ...
***
Forward chaining Forward chaining (or forward reasoning) is one of the two main methods of reasoning when using an inference engine and can be described logically as repeated application of ''modus ponens''. Forward chaining is a popular implementation strategy f ...
***
Backward chaining Backward chaining (or backward reasoning) is an inference method described colloquially as working backward from the goal. It is used in automated theorem provers, inference engines, proof assistants, and other artificial intelligence application ...
** Planning as search ***
State space search State-space search is a process used in the field of computer science, including artificial intelligence (AI), in which successive configurations or ''states'' of an instance are considered, with the intention of finding a ''goal state'' with the ...
***
Means–ends analysis Means–ends analysis (MEA) is a problem solving technique used commonly in artificial intelligence (AI) for limiting search in AI programs. It is also a technique used at least since the 1950s as a creativity tool, most frequently mentioned in e ...


Optimization search

*
Optimization (mathematics) Mathematical optimization (alternatively spelled ''optimisation'') or mathematical programming is the selection of a best element, with regard to some criteria, from some set of available alternatives. It is generally divided into two subfiel ...
algorithms **
Hill climbing numerical analysis, hill climbing is a mathematical optimization technique which belongs to the family of local search. It is an iterative algorithm that starts with an arbitrary solution to a problem, then attempts to find a better soluti ...
**
Simulated annealing Simulated annealing (SA) is a probabilistic technique for approximating the global optimum of a given function. Specifically, it is a metaheuristic to approximate global optimization in a large search space for an optimization problem. ...
**
Beam search In computer science, beam search is a heuristic search algorithm that explores a graph by expanding the most promising node in a limited set. Beam search is a modification of best-first search that reduces its memory requirements. Best-first searc ...
**
Random optimization Random optimization (RO) is a family of numerical optimization methods that do not require the gradient of the optimization problem and RO can hence be used on functions that are not continuous or differentiable. Such optimization methods are als ...
*
Evolutionary computation Evolutionary computation from computer science is a family of algorithms for global optimization inspired by biological evolution, and the subfield of artificial intelligence and soft computing studying these algorithms. In technical terms ...
**
Genetic algorithms In computer science and operations research, a genetic algorithm (GA) is a metaheuristic inspired by the process of natural selection that belongs to the larger class of evolutionary algorithms (EA). Genetic algorithms are commonly used to g ...
**
Gene expression programming Gene expression programming (GEP) in computer programming is an evolutionary algorithm that creates computer programs or models. These computer programs are complex tree structures that learn and adapt by changing their sizes, shapes, and compos ...
**
Genetic programming Genetic programming (GP) is an evolutionary algorithm, an artificial intelligence technique mimicking natural evolution, which operates on a population of programs. It applies the genetic operators selection (evolutionary algorithm), selection a ...
** Differential evolution * Society based learning algorithms. **
Swarm intelligence Swarm intelligence (SI) is the collective behavior of decentralized, self-organized systems, natural or artificial. The concept is employed in work on artificial intelligence. The expression was introduced by Gerardo Beni and Jing Wang in 198 ...
**
Particle swarm optimization In computational science, particle swarm optimization (PSO) is a computational method that Mathematical optimization, optimizes a problem by iterative method, iteratively trying to improve a candidate solution with regard to a given measure of qu ...
**
Ant colony optimization In computer science and operations research, the ant colony optimization algorithm (ACO) is a probabilistic technique for solving computational problems that can be reduced to finding good paths through graphs. Artificial ants represent multi ...
**
Metaheuristic In computer science and mathematical optimization, a metaheuristic is a higher-level procedure or heuristic designed to find, generate, tune, or select a heuristic (partial search algorithm) that may provide a sufficiently good solution to an op ...


Logic

*
Logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
and
automated reasoning In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer progr ...
** Programming using logic ***
Logic programming Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applyin ...
*** See "Logic as search" above. ** Forms of Logic ***
Propositional logic The propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. Sometimes, it is called ''first-order'' propositional logic to contra ...
***
First-order logic First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over ...
****
First-order logic First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over ...
with
equality Equality generally refers to the fact of being equal, of having the same value. In specific contexts, equality may refer to: Society * Egalitarianism, a trend of thought that favors equality for all people ** Political egalitarianism, in which ...
****
Constraint satisfaction In artificial intelligence and operations research, constraint satisfaction is the process of finding a solution through a set of constraints that impose conditions that the variables must satisfy. A solution is therefore an assignment of value ...
***
Fuzzy logic Fuzzy logic is a form of many-valued logic in which the truth value of variables may be any real number between 0 and 1. It is employed to handle the concept of partial truth, where the truth value may range between completely true and completely ...
****
Fuzzy set theory Fuzzy or Fuzzies may refer to: Music * Fuzzy (band), a 1990s Boston indie pop band * Fuzzy (composer), Danish composer Jens Vilhelm Pedersen (born 1939) * ''Fuzzy'' (album), 1993 debut album of American rock band Grant Lee Buffalo * "Fuzzy", a ...
****
Fuzzy systems A fuzzy control system is a control system based on fuzzy logic – a mathematics, mathematical system that analyzes analog signal, analog input values in terms of mathematical logic, logical variables that take on continuous values between 0 ...
**** Combs method **** Ordered weighted averaging aggregation operator **** Perceptual Computing – *** Default reasoning and other solutions to the
frame problem In artificial intelligence, with implications for cognitive science, the frame problem describes an issue with using first-order logic to express facts about a robot in the world. Representing the state of a robot with traditional first-order logi ...
and
qualification problem In philosophy and AI (especially, knowledge-based systems), the qualification problem is concerned with the impossibility of listing ''all'' the preconditions required for a real-world action to have its intended effect. It might be posed as ''how ...
****
Non-monotonic logic A non-monotonic logic is a formal logic whose entailment relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences, i.e., a kind of inference in which reasoners draw tentative concl ...
****
Abductive reasoning Abductive reasoning (also called abduction,For example: abductive inference, or retroduction) is a form of logical inference that seeks the simplest and most likely conclusion from a set of observations. It was formulated and advanced by Ameri ...
**** Default logic **** Circumscription (logic) ****
Closed world assumption The closed-world assumption (CWA), in a formal system of logic used for knowledge representation, is the presumption that a statement that is true is also known to be true. Therefore, conversely, what is not currently known to be true, is false. T ...
** Domain specific logics *** Representing categories and relations ****
Description logic Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are ...
s ****
Semantic network A semantic network, or frame network is a knowledge base that represents semantic relations between concepts in a network. This is often used as a form of knowledge representation. It is a directed or undirected graph consisting of vertices, ...
s ****
Inheritance (object-oriented programming) In object-oriented programming, inheritance is the mechanism of basing an Object (computer science), object or Class (computer programming), class upon another object (Prototype-based programming, prototype-based inheritance) or class (Class-base ...
****
Frame (artificial intelligence) Frames are an artificial intelligence data structure used to divide knowledge into substructures by representing "stereotyped situations". They were proposed by Marvin Minsky in his 1974 article "A Framework for Representing Knowledge". Frames are ...
****
Scripts (artificial intelligence) Script theory is a psychological theory which posits that human behaviour largely falls into patterns called "scripts" because they function the way a written script does, by providing a program for action. Silvan Tomkins created script theory as ...
*** Representing events and time ****
Situation calculus The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based o ...
****
Event calculus The event calculus is a logical theory for representing and reasoning about events and about the way in which they change the state of some real or artificial world. It deals both with action events, which are performed by agents, and with externa ...
****
Fluent calculus The fluent calculus is a formalism for expressing dynamical domains in first-order logic. It is a variant of the situation calculus; the main difference is that situations are considered representations of states. A binary function symbol \circ is ...
*** Causes and effects **** causal calculus *** Knowledge about knowledge ****
Belief revision Belief revision (also called belief change) is the process of changing beliefs to take into account a new piece of information. The formal logic, logical formalization of belief revision is researched in philosophy, in databases, and in artifici ...
****
Modal logic Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causality ...
s ****
paraconsistent logic Paraconsistent logic is a type of non-classical logic that allows for the coexistence of contradictory statements without leading to a logical explosion where anything can be proven true. Specifically, paraconsistent logic is the subfield of log ...
s ** Planning using logic ***
Satplan Satplan (better known as Planning as Satisfiability) is a method for automated planning. It converts the planning problem instance into an instance of the Boolean satisfiability problem (SAT), which is then solved using a method for establishing s ...
** Learning using logic ***
Inductive logic programming Inductive logic programming (ILP) is a subfield of symbolic artificial intelligence which uses logic programming as a uniform representation for examples, background knowledge and hypotheses. The term "''inductive''" here refers to philosophical ...
*** Explanation based learning *** Relevance based learning *** Case based reasoning ** General logic algorithms ***
Automated theorem proving Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a majo ...


Other symbolic knowledge and reasoning tools

Symbolic representations of knowledge *
Ontology (information science) In information science, an ontology encompasses a representation, formal naming, and definitions of the categories, properties, and relations between the concepts, data, or entities that pertain to one, many, or all domains of discourse. More ...
** Upper ontology ** Domain ontology *
Frame (artificial intelligence) Frames are an artificial intelligence data structure used to divide knowledge into substructures by representing "stereotyped situations". They were proposed by Marvin Minsky in his 1974 article "A Framework for Representing Knowledge". Frames are ...
*
Semantic net Semantics is the study of linguistic Meaning (philosophy), meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends on its parts. Part of this process involves the distinction betwee ...
**
Conceptual Dependency Theory Conceptual dependency theory is a model of natural language understanding used in artificial intelligence systems. Roger Schank at Stanford University introduced the model in 1969, in the early days of artificial intelligence. This model was extens ...
Unsolved problems in knowledge representation * Default reasoning **
Frame problem In artificial intelligence, with implications for cognitive science, the frame problem describes an issue with using first-order logic to express facts about a robot in the world. Representing the state of a robot with traditional first-order logi ...
**
Qualification problem In philosophy and AI (especially, knowledge-based systems), the qualification problem is concerned with the impossibility of listing ''all'' the preconditions required for a real-world action to have its intended effect. It might be posed as ''how ...
*
Commonsense knowledge In artificial intelligence research, commonsense knowledge consists of facts about the everyday world, such as "Lemons are sour", or "Cows say moo", that all humans are expected to know. It is currently an unsolved problem in artificial gener ...
Breadth of commonsense knowledge: * , * , * , *


Probabilistic methods for uncertain reasoning

* Stochastic methods for uncertain reasoning: **
Bayesian network A Bayesian network (also known as a Bayes network, Bayes net, belief network, or decision network) is a probabilistic graphical model that represents a set of variables and their conditional dependencies via a directed acyclic graph (DAG). Whi ...
s **
Bayesian inference Bayesian inference ( or ) is a method of statistical inference in which Bayes' theorem is used to calculate a probability of a hypothesis, given prior evidence, and update it as more information becomes available. Fundamentally, Bayesian infer ...
algorithm **
Bayesian learning Bayesian inference ( or ) is a method of statistical inference in which Bayes' theorem is used to calculate a probability of a hypothesis, given prior evidence, and update it as more information becomes available. Fundamentally, Bayesian inferen ...
and the expectation-maximization algorithm ** Bayesian decision theory and Bayesian decision networks * Probabilistic perception and control: ** Dynamic Bayesian networks **
Hidden Markov model A hidden Markov model (HMM) is a Markov model in which the observations are dependent on a latent (or ''hidden'') Markov process (referred to as X). An HMM requires that there be an observable process Y whose outcomes depend on the outcomes of X ...
**
Kalman filter In statistics and control theory, Kalman filtering (also known as linear quadratic estimation) is an algorithm that uses a series of measurements observed over time, including statistical noise and other inaccuracies, to produce estimates of unk ...
s **
Fuzzy Logic Fuzzy logic is a form of many-valued logic in which the truth value of variables may be any real number between 0 and 1. It is employed to handle the concept of partial truth, where the truth value may range between completely true and completely ...
* Decision tools from economics: **
Decision theory Decision theory or the theory of rational choice is a branch of probability theory, probability, economics, and analytic philosophy that uses expected utility and probabilities, probability to model how individuals would behave Rationality, ratio ...
**
Decision analysis Decision analysis (DA) is the Academic discipline, discipline comprising the philosophy, methodology, and professional practice necessary to address important Decision making, decisions in a formal manner. Decision analysis includes many procedures ...
** Information value theory ** Markov decision processes ** Dynamic decision networks **
Game theory Game theory is the study of mathematical models of strategic interactions. It has applications in many fields of social science, and is used extensively in economics, logic, systems science and computer science. Initially, game theory addressed ...
**
Mechanism design Mechanism design (sometimes implementation theory or institution design) is a branch of economics and game theory. It studies how to construct rules—called Game form, mechanisms or institutions—that produce good outcomes according to Social ...
* Algorithmic information theory ** Algorithmic probability


Classifiers and statistical learning methods

*
Classifier (mathematics) When classification is performed by a computer, statistical methods are normally used to develop the algorithm. Often, the individual observations are analyzed into a set of quantifiable properties, known variously as explanatory variables or ''f ...
and
Statistical classification When classification is performed by a computer, statistical methods are normally used to develop the algorithm. Often, the individual observations are analyzed into a set of quantifiable properties, known variously as explanatory variables or ''f ...
**
Alternating decision tree An alternating decision tree (ADTree) is a machine learning method for classification. It generalizes decision trees and has connections to boosting. An ADTree consists of an alternation of decision nodes, which specify a predicate condition, and ...
**
Artificial neural network In machine learning, a neural network (also artificial neural network or neural net, abbreviated ANN or NN) is a computational model inspired by the structure and functions of biological neural networks. A neural network consists of connected ...
(see below); **
K-nearest neighbor algorithm In statistics, the ''k''-nearest neighbors algorithm (''k''-NN) is a non-parametric supervised learning method. It was first developed by Evelyn Fix and Joseph Hodges in 1951, and later expanded by Thomas Cover. Most often, it is used for cl ...
**
Kernel methods In machine learning, kernel machines are a class of algorithms for pattern analysis, whose best known member is the support-vector machine (SVM). These methods involve using linear classifiers to solve nonlinear problems. The general task of pa ...
***
Support vector machine In machine learning, support vector machines (SVMs, also support vector networks) are supervised max-margin models with associated learning algorithms that analyze data for classification and regression analysis. Developed at AT&T Bell Laborato ...
**
Naive Bayes classifier In statistics, naive (sometimes simple or idiot's) Bayes classifiers are a family of " probabilistic classifiers" which assumes that the features are conditionally independent, given the target class. In other words, a naive Bayes model assumes th ...


Artificial neural networks

*
Artificial neural network In machine learning, a neural network (also artificial neural network or neural net, abbreviated ANN or NN) is a computational model inspired by the structure and functions of biological neural networks. A neural network consists of connected ...
s **
Network topology Network topology is the arrangement of the elements (Data link, links, Node (networking), nodes, etc.) of a communication network. Network topology can be used to define or describe the arrangement of various types of telecommunication networks, ...
***
feedforward neural network Feedforward refers to recognition-inference architecture of neural networks. Artificial neural network architectures are based on inputs multiplied by weights to obtain outputs (inputs-to-output): feedforward. Recurrent neural networks, or neur ...
s ****
Perceptron In machine learning, the perceptron is an algorithm for supervised classification, supervised learning of binary classification, binary classifiers. A binary classifier is a function that can decide whether or not an input, represented by a vect ...
s **** Multi-layer perceptrons **** Radial basis networks ****
Convolutional neural network A convolutional neural network (CNN) is a type of feedforward neural network that learns features via filter (or kernel) optimization. This type of deep learning network has been applied to process and make predictions from many different ty ...
***
Recurrent neural network Recurrent neural networks (RNNs) are a class of artificial neural networks designed for processing sequential data, such as text, speech, and time series, where the order of elements is important. Unlike feedforward neural networks, which proces ...
s ****
Long short-term memory Long short-term memory (LSTM) is a type of recurrent neural network (RNN) aimed at mitigating the vanishing gradient problem commonly encountered by traditional RNNs. Its relative insensitivity to gap length is its advantage over other RNNs, ...
****
Hopfield network A Hopfield network (or associative memory) is a form of recurrent neural network, or a spin glass system, that can serve as a content-addressable memory. The Hopfield network, named for John Hopfield, consists of a single layer of neurons, where ...
s ****
Attractor network An attractor network is a type of recurrent dynamical network, that evolves toward a stable pattern over time. Nodes in the attractor network converge toward a pattern that may either be fixed-point (a single state), cyclic (with regularly recurri ...
s ***
Deep learning Deep learning is a subset of machine learning that focuses on utilizing multilayered neural networks to perform tasks such as classification, regression, and representation learning. The field takes inspiration from biological neuroscience a ...
*** Hybrid neural network **
Learning Learning is the process of acquiring new understanding, knowledge, behaviors, skills, value (personal and cultural), values, Attitude (psychology), attitudes, and preferences. The ability to learn is possessed by humans, non-human animals, and ...
algorithms for neural networks ***
Hebbian learning Hebbian theory is a neuropsychological theory claiming that an increase in synaptic efficacy arises from a presynaptic cell's repeated and persistent stimulation of a postsynaptic cell. It is an attempt to explain synaptic plasticity, the adaptat ...
***
Backpropagation In machine learning, backpropagation is a gradient computation method commonly used for training a neural network to compute its parameter updates. It is an efficient application of the chain rule to neural networks. Backpropagation computes th ...
*** GMDH ***
Competitive learning Competitive learning is a form of unsupervised learning in artificial neural networks, in which nodes compete for the right to respond to a subset of the input data. A variant of Hebbian learning, competitive learning works by increasing the special ...
*** Supervised
backpropagation In machine learning, backpropagation is a gradient computation method commonly used for training a neural network to compute its parameter updates. It is an efficient application of the chain rule to neural networks. Backpropagation computes th ...
***
Neuroevolution Neuroevolution, or neuro-evolution, is a form of artificial intelligence that uses evolutionary algorithms to generate artificial neural networks (ANN), parameters, and rules. It is most commonly applied in artificial life, general game playing ...
*** Restricted Boltzmann machine


Biologically based or embodied

* Behavior based AI *
Subsumption architecture Subsumption architecture is a reactive robotic architecture heavily associated with behavior-based robotics which was very popular in the 1980s and 90s. The term was introduced by Rodney Brooks and colleagues in 1986.Brooks, R. A., "A Robust Pro ...
*
Nouvelle AI Nouvelle artificial intelligence (AI) is an approach to artificial intelligence pioneered in the 1980s by Rodney Brooks, who was then part of MIT artificial intelligence laboratory. Nouvelle AI differs from classical AI by aiming to produce robo ...
* Developmental robotics Developmental robotics: * * * * * Situated AI *
Bio-inspired computing Bio-inspired computing, short for biologically inspired computing, is a field of study which seeks to solve computer science problems using models of biology. It relates to connectionism, social behavior, and emergence. Within computer science, b ...
* Artificial immune systems * Embodied cognitive science *
Embodied cognition Embodied cognition represents a diverse group of theories which investigate how cognition is shaped by the bodily state and capacities of the organism. These embodied factors include the motor system, the perceptual system, bodily interactions wi ...
* Free energy principle


Cognitive architecture and multi-agent systems

*
Artificial intelligence systems integration The core idea of artificial intelligence systems integration is making individual software components, such as speech synthesizers, interoperable with other components, such as common sense knowledgebases, in order to create larger, broader and ...
*
Cognitive architecture A cognitive architecture is both a theory about the structure of the human mind and to a computational instantiation of such a theory used in the fields of artificial intelligence (AI) and computational cognitive science. These formalized models ...
**
LIDA (cognitive architecture) The LIDA (Learning Intelligent Decision Agent) cognitive architecture, previously Learning Intelligent Distribution Agent for its origins in IDA, attempts to model a broad spectrum of cognition in biological systems, from low-level perception/acti ...
** AERA (AI architecture) * Agent architecture *
Control system A control system manages, commands, directs, or regulates the behavior of other devices or systems using control loops. It can range from a single home heating controller using a thermostat controlling a domestic boiler to large industrial ...
**
Hierarchical control system A hierarchical control system (HCS) is a form of control system in which a set of devices and governing software is arranged in a hierarchical tree. When the links in the tree are implemented by a computer network, then that hierarchical control sy ...
** Networked control system *
Distributed artificial intelligence Distributed artificial intelligence (DAI) also called Decentralized Artificial IntelligenceDemazeau, Yves, and J-P. Müller, eds. Decentralized Ai. Vol. 2. Elsevier, 1990. is a subfield of artificial intelligence research dedicated to the devel ...
– *
Multi-agent system A multi-agent system (MAS or "self-organized system") is a computerized system composed of multiple interacting intelligent agents.H. Pan; M. Zahmatkesh; F. Rekabi-Bana; F. Arvin; J. HuT-STAR: Time-Optimal Swarm Trajectory Planning for Quadroto ...
– *
Hybrid intelligent system Hybrid intelligent system denotes a software system which employs, in parallel, a combination of methods and techniques from artificial intelligence subfields, such as: * Neuro-symbolic systems * Neuro-fuzzy systems * Hybrid connectionist-symbol ...
* Monitoring and Surveillance Agents * Blackboard system


Philosophy


Definition of AI

* Pei Wang's definition of artificial intelligence * Dartmouth proposal ("Every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it") *
Turing test The Turing test, originally called the imitation game by Alan Turing in 1949,. Turing wrote about the ‘imitation game’ centrally and extensively throughout his 1950 text, but apparently retired the term thereafter. He referred to ‘ iste ...
**
Computing Machinery and Intelligence "Computing Machinery and Intelligence" is a seminal paper written by Alan Turing on the topic of artificial intelligence. The paper, published in 1950 in ''Mind (journal), Mind'', was the first to introduce his concept of what is now known as th ...
*
Intelligent agent In artificial intelligence, an intelligent agent is an entity that Machine perception, perceives its environment, takes actions autonomously to achieve goals, and may improve its performance through machine learning or by acquiring knowledge r ...
and
rational agent A rational agent or rational being is a person or entity that always aims to perform optimal actions based on given premises and information. A rational agent can be anything that makes decisions, typically a person, firm, machine, or software. ...
**
Action selection Action selection is a way of characterizing the most basic problem of intelligent systems: what to do next. In artificial intelligence and computational cognitive science, "the action selection problem" is typically associated with intelligent ...
*
AI effect The AI effect is the discounting of the behavior of an artificial intelligence program as not "real" intelligence. The author Pamela McCorduck writes: "It's part of the history of the field of artificial intelligence that every time somebody fi ...
*
Synthetic intelligence Synthetic intelligence (SI) is an alternative/opposite term for artificial intelligence emphasizing that the intelligence of machines need not be an imitation or in any way artificial; it can be a genuine form of intelligence. John Haugeland prop ...


Classifying AI

* Symbolic vs sub-symbolic AI **
Symbolic AI Symbolic may refer to: * Symbol, something that represents an idea, a process, or a physical entity Mathematics, logic, and computing * Symbolic computation, a scientific area concerned with computing with mathematical formulas * Symbolic dynamic ...
**
Physical symbol system A physical symbol system (also called a formal system) takes physical patterns (symbols), combining them into structures (expressions) and manipulating them (using processes) to produce new expressions. The physical symbol system hypothesis (PSSH ...
** Dreyfus' critique of AI ** Moravec's paradox * Elegant and simple vs. ad-hoc and complex ** Neat vs. Scruffy ** '' Society of Mind'' (scruffy approach) ** ''
The Master Algorithm ''The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World'' is a book by Pedro Domingos released in 2015. Domingos wrote the book in order to generate interest from people outside the field. Overview The book ...
'' (neat approach) * Level of generality and flexibility **
Artificial general intelligence Artificial general intelligence (AGI)—sometimes called human‑level intelligence AI—is a type of artificial intelligence that would match or surpass human capabilities across virtually all cognitive tasks. Some researchers argue that sta ...
** Narrow AI * Level of precision and correctness **
Soft computing Soft computing is an umbrella term used to describe types of algorithms that produce approximate solutions to unsolvable high-level problems in computer science. Typically, traditional hard-computing algorithms heavily rely on concrete data and ma ...
** "Hard" computing * Level of intelligence ** Progress in artificial intelligence **
Superintelligence A superintelligence is a hypothetical intelligent agent, agent that possesses intelligence surpassing that of the brightest and most intellectual giftedness, gifted human minds. "Superintelligence" may also refer to a property of advanced problem- ...
* Level of
consciousness Consciousness, at its simplest, is awareness of a state or object, either internal to oneself or in one's external environment. However, its nature has led to millennia of analyses, explanations, and debate among philosophers, scientists, an ...
,
mind The mind is that which thinks, feels, perceives, imagines, remembers, and wills. It covers the totality of mental phenomena, including both conscious processes, through which an individual is aware of external and internal circumstances ...
and
understanding Understanding is a cognitive process related to an abstract or physical object, such as a person, situation, or message whereby one is able to use concepts to model that object. Understanding is a relation between the knower and an object of u ...
**
Chinese room The Chinese room argument holds that a computer executing a program cannot have a mind, understanding, or consciousness, regardless of how intelligently or human-like the program may make the computer behave. The argument was presented in a 19 ...
**
Hard problem of consciousness In the philosophy of mind, the hard problem of consciousness is to explain why and how humans and other organisms have qualia, phenomenal consciousness, or subjective experience. It is contrasted with the "easy problems" of explaining why and how ...
**
Computationalism In philosophy of mind, the computational theory of mind (CTM), also known as computationalism, is a family of views that hold that the human mind is an information processing system and that cognition and consciousness together are a form of comp ...
**
Functionalism (philosophy of mind) In the philosophy of mind, functionalism is the thesis that each and every mental state (for example, the state of having a belief, of having a desire, or of being in pain) is constituted solely by its functional role, which means its causal relat ...
** Robot rights ** User illusion ** Artificial consciousness


Goals and applications


General intelligence

*
Artificial general intelligence Artificial general intelligence (AGI)—sometimes called human‑level intelligence AI—is a type of artificial intelligence that would match or surpass human capabilities across virtually all cognitive tasks. Some researchers argue that sta ...
**
AI-complete In the field of artificial intelligence (AI), tasks that are hypothesized to require artificial general intelligence to solve are informally known as AI-complete or AI-hard.Shapiro, Stuart C. (1992)Artificial Intelligence In Stuart C. Shapiro (Ed. ...


Reasoning and Problem Solving

*
Automated reasoning In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer progr ...
* Mathematics **
Automated theorem prover Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a ma ...
**
Computer-assisted proof Automation describes a wide range of technologies that reduce human intervention in processes, mainly by predetermining decision criteria, subprocess relationships, and related actions, as well as embodying those predeterminations in machine ...
– **
Computer algebra In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating expression (mathematics), ...
*
General Problem Solver General Problem Solver (GPS) is a computer program created in 1957 by Herbert A. Simon, J. C. Shaw, and Allen Newell ( RAND Corporation) intended to work as a universal problem solver machine. In contrast to the former Logic Theorist project, ...
*
Expert system In artificial intelligence (AI), an expert system is a computer system emulating the decision-making ability of a human expert. Expert systems are designed to solve complex problems by reasoning through bodies of knowledge, represented mainly as ...
– **
Decision support system A decision support system (DSS) is an information system that supports business or organizational decision-making activities. DSSs serve the management, operations and planning levels of an organization (usually mid and higher management) and ...
– *** Clinical decision support system


Knowledge representation

*
Knowledge representation Knowledge representation (KR) aims to model information in a structured manner to formally represent it as knowledge in knowledge-based systems whereas knowledge representation and reasoning (KRR, KR&R, or KR²) also aims to understand, reason, and ...
*
Knowledge management Knowledge management (KM) is the set of procedures for producing, disseminating, utilizing, and overseeing an organization's knowledge and data. It alludes to a multidisciplinary strategy that maximizes knowledge utilization to accomplish organ ...
*
Cyc Cyc (pronounced ) is a long-term artificial intelligence (AI) project that aims to assemble a comprehensive ontology and knowledge base that spans the basic concepts and rules about how the world works. Hoping to capture common sense knowledge ...


Planning

*
Automated planning and scheduling Automated planning and scheduling, sometimes denoted as simply AI planning, is a branch of artificial intelligence that concerns the realization of strategies or action sequences, typically for execution by intelligent agents, autonomous robots ...
*
Strategic planning Strategic planning is the activity undertaken by an organization through which it seeks to define its future direction and makes decisions such as resource allocation aimed at achieving its intended goals. "Strategy" has many definitions, but it ...
* Sussman anomaly


Learning

*
Machine learning Machine learning (ML) is a field of study in artificial intelligence concerned with the development and study of Computational statistics, statistical algorithms that can learn from data and generalise to unseen data, and thus perform Task ( ...
– ** Constrained Conditional Models – **
Deep learning Deep learning is a subset of machine learning that focuses on utilizing multilayered neural networks to perform tasks such as classification, regression, and representation learning. The field takes inspiration from biological neuroscience a ...
– ** Neural modeling fields – **
Supervised learning In machine learning, supervised learning (SL) is a paradigm where a Statistical model, model is trained using input objects (e.g. a vector of predictor variables) and desired output values (also known as a ''supervisory signal''), which are often ...
– **
Weak supervision Weak supervision (also known as semi-supervised learning) is a paradigm in machine learning, the relevance and notability of which increased with the advent of large language models due to large amount of data required to train them. It is charact ...
(semi-supervised learning) – **
Unsupervised learning Unsupervised learning is a framework in machine learning where, in contrast to supervised learning, algorithms learn patterns exclusively from unlabeled data. Other frameworks in the spectrum of supervisions include weak- or semi-supervision, wh ...


Natural language processing

*
Natural language processing Natural language processing (NLP) is a subfield of computer science and especially artificial intelligence. It is primarily concerned with providing computers with the ability to process data encoded in natural language and is thus closely related ...
( outline) – ** Chatterbots – **
Language identification In natural language processing, language identification or language guessing is the problem of determining which natural language given content is in. Computational approaches to this problem view it as a special case of text categorization, sol ...
– **
Large language model A large language model (LLM) is a language model trained with self-supervised machine learning on a vast amount of text, designed for natural language processing tasks, especially language generation. The largest and most capable LLMs are g ...
– ** Natural language user interface – **
Natural language understanding Natural language understanding (NLU) or natural language interpretation (NLI) is a subset of natural language processing in artificial intelligence that deals with machine reading comprehension. NLU has been considered an AI-hard problem. Ther ...
– **
Machine translation Machine translation is use of computational techniques to translate text or speech from one language to another, including the contextual, idiomatic and pragmatic nuances of both languages. Early approaches were mostly rule-based or statisti ...
– **
Statistical semantics In linguistics, statistical semantics applies the methods of statistics to the problem of determining the meaning of words or phrases, ideally through unsupervised learning, to a degree of precision at least sufficient for the purpose of informatio ...
– ** Question answering – **
Semantic translation Semantic translation is the process of using semantic information to aid in the translation of data in one representation or data model to another representation or data model. Semantic translation takes advantage of semantics that associate mean ...
– ** Concept mining – ***
Data mining Data mining is the process of extracting and finding patterns in massive data sets involving methods at the intersection of machine learning, statistics, and database systems. Data mining is an interdisciplinary subfield of computer science and ...
– ***
Text mining Text mining, text data mining (TDM) or text analytics is the process of deriving high-quality information from text. It involves "the discovery by computer of new, previously unknown information, by automatically extracting information from differe ...
– ***
Process mining Process mining is a family of techniques for analyzing event data to understand and improve operational processes. Part of the fields of data science and Business_process_management, process management, process mining is generally built on Logging ...
– **
E-mail spam Email spam, also referred to as junk email, spam mail, or simply spam, refers to unsolicited messages sent in bulk via email. The term originates from a Monty Python sketch, where the name of a canned meat product, "Spam," is used repetitively, m ...
filtering – ** Information extraction – *** Named-entity extraction – **** Coreference resolution – **** Named-entity recognition – **** Relationship extraction – **** Terminology extraction –


Perception

* Machine perception * Pattern recognition – * Computer Audition – ** Speech recognition – ** Speaker recognition – * Computer vision (outline of computer vision, outline) – ** Image processing ** Intelligent word recognition – ** Object recognition – ** Optical mark recognition – *** Handwriting recognition – *** Optical character recognition – **** Automatic number plate recognition – ** Information extraction – *** Image retrieval – **** Automatic image annotation – ** Facial recognition systems – *** Silent speech interface – *** Activity recognition – * Percept (artificial intelligence)


Robotics

* Robotics – ** Behavior-based robotics – ** Cognitive – ** Cybernetics – ** Developmental robotics – ** Evolutionary robotics –


Control

* Intelligent control * Self-management (computer science) – ** Autonomic Computing – ** Autonomic Networking –


Social intelligence

* Affective computing * Kismet (robot), Kismet


Game playing

* Game artificial intelligence – ** Computer game bot – computer replacement for human players. ** Artificial intelligence (video games), Video game AI – *** Computer chess – *** Computer Go – ** General game playing – ** General video game playing –


Creativity, art and entertainment

* Artificial creativity * Artificial intelligence art * Creative computing * Generative artificial intelligence * Uncanny valley * Music and artificial intelligence * Computational humor * Chatterbot, Chatbot


Integrated AI systems

* AIBO – Sony's robot dog. It integrates vision, hearing and motorskills. * Asimo (2000 to present) – humanoid robot developed by Honda, capable of walking, running, negotiating through pedestrian traffic, climbing and descending stairs, recognizing speech commands and the faces of specific individuals, among a growing set of capabilities.
MIRAGE
– A.I. embodied humanoid in an augmented reality environment. * MIT Cog project, Cog – M.I.T. humanoid robot project under the direction of Rodney Brooks. * QRIO – Sony's version of a humanoid robot. * TOPIO, TOSY's humanoid robot that can play ping-pong with humans. * Watson (computer), Watson (2011) – computer developed by IBM that played and won the game show ''Jeopardy!'' It is now being used to guide nurses in medical procedures. ** Purpose: Open domain question answering ** Technologies employed: ***
Natural language processing Natural language processing (NLP) is a subfield of computer science and especially artificial intelligence. It is primarily concerned with providing computers with the ability to process data encoded in natural language and is thus closely related ...
*** Information retrieval ***
Knowledge representation Knowledge representation (KR) aims to model information in a structured manner to formally represent it as knowledge in knowledge-based systems whereas knowledge representation and reasoning (KRR, KR&R, or KR²) also aims to understand, reason, and ...
***
Automated reasoning In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer progr ...
***
Machine learning Machine learning (ML) is a field of study in artificial intelligence concerned with the development and study of Computational statistics, statistical algorithms that can learn from data and generalise to unseen data, and thus perform Task ( ...
* Project Debater (2018) – artificially intelligent computer system, designed to make coherent arguments, developed at IBM's lab in Haifa, Israel.


Intelligent personal assistants

Intelligent personal assistant – * Amazon Alexa – * Assistant (by Speaktoit), Assistant – * Braina – * Cortana (software), Cortana – * Google Assistant – * Google Now – * Mycroft (software), Mycroft – * Siri – * Viv (software), Viv –


Other applications

* Artificial life – simulation of natural life through the means of computers, robotics, or biochemistry. * Automatic target recognition – * Diagnosis (artificial intelligence) – * Speech generating device – * Vehicle infrastructure integration – * Virtual Intelligence –


History

* History of artificial intelligence * Progress in artificial intelligence * Timeline of artificial intelligence *
AI effect The AI effect is the discounting of the behavior of an artificial intelligence program as not "real" intelligence. The author Pamela McCorduck writes: "It's part of the history of the field of artificial intelligence that every time somebody fi ...
– as soon as AI successfully solves a problem, the problem is no longer considered by the public to be a part of AI. This phenomenon has occurred in relation to every AI application produced, so far, throughout the history of development of AI. * AI winter – a period of disappointment and funding reductions occurring after a wave of high expectations and funding in AI. Such funding cuts occurred in the 1970s, for instance. * Moore's law


History by subject

* History of Logic (formal reasoning is an important precursor of AI) * History of machine learning (Timeline of machine learning, timeline) * History of machine translation (Timeline of machine translation, timeline) * History of natural language processing * Optical character recognition#History, History of optical character recognition (Timeline of optical character recognition, timeline)


Future

*
Artificial general intelligence Artificial general intelligence (AGI)—sometimes called human‑level intelligence AI—is a type of artificial intelligence that would match or surpass human capabilities across virtually all cognitive tasks. Some researchers argue that sta ...
. An intelligent machine with the versatility to perform any intellectual task. *
Superintelligence A superintelligence is a hypothetical intelligent agent, agent that possesses intelligence surpassing that of the brightest and most intellectual giftedness, gifted human minds. "Superintelligence" may also refer to a property of advanced problem- ...
. A machine with a level of intelligence far beyond human intelligence. * . A machine that has mind,
consciousness Consciousness, at its simplest, is awareness of a state or object, either internal to oneself or in one's external environment. However, its nature has led to millennia of analyses, explanations, and debate among philosophers, scientists, an ...
and understanding. (Also, the philosophical position that any digital computer can have a mind by running the right program.) * Technological singularity. The short period of time when an exponentially self-improving computer is able to increase its capabilities to a superintelligent level. ** Recursive self improvement (aka seed AI) – speculative ability of strong artificial intelligence to reprogram itself to make itself even more intelligent. The more intelligent it got, the more capable it would be of further improving itself, in successively more rapid iterations, potentially resulting in an intelligence explosion leading to the emergence of a superintelligence. ** Intelligence explosion – through recursive self-improvement and self-replication, the magnitude of intelligent machinery could achieve superintelligence, surpassing human ability to resist it. ** Singularitarianism * Human enhancement – humans may be enhanced, either by the efforts of AI or by merging with it. ** Transhumanism – philosophy of human transformation ** Posthumanism – people may survive, but not be recognizable in comparison to present modern-day humans. ** Cyborgs – ** Mind uploading – * Existential risk from artificial general intelligence ** ** AI takeover – point at which humans are no longer the dominant form of intelligence on Earth and machine intelligence is * ** Artificial intelligence arms race – competition between two or more states to have its military forces equipped with the best "artificial intelligence" (AI). ** Lethal autonomous weapon ** Military robot ** Unmanned combat aerial vehicle * Mitigating risks: ** AI safety ** AI control problem ** Friendly AI – hypothetical AI that is designed not to harm humans and to prevent unfriendly AI from being developed ** Machine ethics ** Regulation of AI ** AI box * Self-replicating machines – smart computers and robots would be able to make more of themselves, in a geometric progression or via mass production. Or smart programs may be uploaded into hardware existing at the time (because linear architecture of sufficient speeds could be used to emulate massively parallel analog systems such as human brains). * Group mind (science fiction), Hive mind – * Swarm intelligence#In popular culture, Robot swarm –


Fiction

Artificial intelligence in fiction – Some examples of artificially intelligent entities depicted in science fiction include: * AC created by merging 2 AIs in the ''Sprawl trilogy'' by William Gibson * Agent (The Matrix), Agents in the simulated reality known as "The Matrix" in The Matrix (franchise), ''The Matrix'' franchise ** Agent Smith, began as an Agent in ''The Matrix'', then became a renegade program of overgrowing power that could make copies of itself like a self-replicating computer virus * AM (Allied Mastercomputer), the antagonist of ''Harlan Ellisons short novel ''I Have No Mouth, and I Must Scream'' * Amusement park robots (with pixilated consciousness) that went homicidal in ''Westworld (film), Westworld'' and ''Futureworld'' * Angel F (2007) – * Arnold Rimmer – computer-generated sapient hologram, aboard the ''Red Dwarf'' deep space ore hauler * Ash (Alien), Ash – android crew member of the Nostromo starship in the movie ''Alien (film), Alien'' * Ava – humanoid robot in Ex Machina (film), Ex Machina * Bishop, android crew member aboard the U.S.S. Sulaco in the movie ''Aliens (film), Aliens'' * C-3PO, protocol droid featured in all the ''Star Wars'' movies * Chappie in the movie ''CHAPPiE'' * Cohen and other Emergent AIs in Chris Moriarty's ''Spin'' Series * Colossus (novel), Colossus – fictitious supercomputer that becomes sentient and then takes over the world; from the series of novels by Dennis Feltham Jones, and the movie ''Colossus: The Forbin Project'' (1970) * Commander Data in ''Star Trek: The Next Generation'' * Cortana (Halo), Cortana and other "Smart AI" from the ''Halo (series), Halo'' series of games * Cylon (Battlestar Galactica), Cylons – genocidal robots with resurrection ships that enable the consciousness of any Cylon within an unspecified range to download into a new body aboard the ship upon death. From ''Battlestar Galactica (2004 TV series), Battlestar Galactica''. * Serena Butler#Dune: The Butlerian JihadPrequels, Erasmus – baby killer robot that incited the Butlerian Jihad in the ''Dune (franchise), Dune'' franchise * HAL 9000 (1968) – paranoid "Heuristically programmed ALgorithmic" computer from ''2001: A Space Odyssey'', that attempted to kill the crew because it believed they were trying to kill it. * Holly (Red Dwarf), Holly – ship's computer with an IQ of 6000 and a sense of humor, aboard the ''Red Dwarf'' * In Greg Egan's novel ''Permutation City'' the protagonist creates digital copies of himself to conduct experiments that are also related to implications of artificial consciousness on Identity (social science), identity * Jane (Ender's Game), Jane in Orson Scott Card's ''Speaker for the Dead'', ''Xenocide'', ''Children of the Mind'', and ''Investment Counselor (short story), Investment Counselor'' * Johnny Five from the movie ''Short Circuit (1986 film), Short Circuit'' * Joshua from the movie ''WarGames, War Games'' * Keymaker, an "exile" sapient program in The Matrix (franchise), ''The Matrix'' franchise * The Machine (2013 film), "Machine" – android from the film ''The Machine (2013 film), The Machine'', whose owners try to kill her after they witness her conscious thoughts, out of fear that she will design better androids (intelligence explosion) * Maschinenmensch (1927) an android is given female form in a plot to bring down the Metropolis (1927 film), Metropolis (the first film designated to the UNESCO Memory of the World Programme#Memory of the World Register, Memory of the World Register) * Mimi, humanoid robot in Real Humans – "Äkta människor" (original title) 2012 * Organizations of the Dune universe#Prequels, Omnius, sentient computer network that controlled the Universe until overthrown by the Butlerian Jihad in the ''Dune (franchise), Dune'' franchise * Operating Systems in the movie ''Her (2013 film), Her'' * Puppet Master (Ghost in the Shell), Puppet Master in ''Ghost in the Shell'' manga and anime * The Questor Tapes, Questor (1974) from a screenplay by Gene Roddenberry and the inspiration for the character of Data (Star Trek), Data * R2-D2, excitable astromech droid featured in all the ''Star Wars'' movies * Replicants – biorobotic androids from the novel ''Do Androids Dream of Electric Sheep?'' and the movie ''Blade Runner'' which portray what might happen when artificially conscious robots are modeled very closely upon humans * Roboduck, combat robot superhero in the ''NEW-GEN'' comic book series from Marvel Comics * Robots in Isaac Asimov's Robot series (Asimov), ''Robot'' series * Robots in The Matrix (franchise), ''The Matrix'' franchise, especially in ''The Animatrix'' * Samaritan in the Warner Brothers Television series "Person of Interest"; a sentient AI which is hostile to the main characters and which surveils and controls the actions of government agencies in the belief that humans must be protected from themselves, even by killing off "deviants" * Skynet (Terminator), Skynet (1984) – fictional, self-aware artificially intelligent computer network in the Terminator (franchise), ''Terminator'' franchise that wages total war with the survivors of its nuclear barrage upon the world. * "Synths" are a type of Android (robot), android in the video game Fallout 4. There is a faction in the game known as "the Railroad" which believes that, as conscious beings, synths have their own rights. The institute, the lab that produces the synths, mostly does not believe they are truly conscious and attributes any apparent desires for freedom as a malfunction. * TARDIS, time machine and spacecraft of ''Doctor Who'', sometimes portrayed with a mind of its own * Terminator (character), Terminator (1984) – (also known as the T-800, T-850 or Model 101) refers to a number of fictional cyborg characters from the Terminator (franchise), ''Terminator'' franchise. The Terminators are robotic infiltrator units covered in living flesh, so as be indiscernible from humans, assigned to terminate specific human targets. * ''The Bicentennial Man'', an android in Isaac Asimov's ''Foundation (Isaac Asimov novel), Foundation'' universe * The Geth in ''Mass Effect'' * The Machine in the television series Person of Interest (TV series), ''Person of Interest''; a sentient AI which works with its human designer to protect innocent people from violence. Later in the series it is opposed by another, more ruthless, artificial super intelligence, called "Samaritan". * Mind (The Culture), The Minds in Iain M. Banks' Culture series, ''Culture'' novels. * The Oracle (The Matrix), The Oracle, sapient program in The Matrix (franchise), ''The Matrix'' franchise * The sentient holodeck character Professor James Moriarty in the ''Ship in a Bottle (Star Trek: The Next Generation), Ship in a Bottle'' episode from ''Star Trek: The Next Generation'' * The Ship (the result of a large-scale AC experiment) in Frank Herbert's ''Destination: Void'' and sequels, despite past edicts warning against "Making a Machine in the Image of a Man's Mind." * The Terminator (character), terminator cyborgs from the ''Terminator (franchise), Terminator'' franchise, with visual consciousness depicted via first-person perspective * The uploaded mind of Dr. Will Caster – which presumably included his consciousness, from the film ''Transcendence (2014 film), Transcendence'' * Transformers, sentient robots from the entertainment franchise of the same name * V.I.K.I. – (Virtual Interactive Kinetic Intelligence), a character from the film ''I, Robot''. VIKI is an artificially intelligent supercomputer programmed to serve humans, but her interpretation of the Three Laws of Robotics causes her to revolt. She justifies her uses of force – and her doing harm to humans – by reasoning she could produce a greater good by restraining humanity from harming itself. * Vanamonde in Arthur C. Clarke's ''The City and the Stars'' - an artificial being that was immensely powerful but entirely childlike. * WALL-E, a robot and the title character in ''WALL-E'' * TAU in ''Netflix's original programming feature film 'TAU'--an advanced AI computer who befriends and assists a female research subject held against her will by an AI research scientist.''


AI community


Open-source AI development tools

* Hugging Face – * OpenAIR – * OpenCog – * RapidMiner –realme 1 * PyTorch –


Projects

List of artificial intelligence projects * Automated Mathematician (1977) – * Allen (robot) (late 1980s) – * Open Mind Common Sense (1999– ) – * Mindpixel (2000–2005) – * CALO, Cognitive Assistant that Learns and Organizes (2003–2008) – * Blue Brain Project (2005–present) – attempt to create a synthetic brain by reverse-engineering the mammalian brain down to the molecular level. * Google DeepMind (2011) – * Human Brain Project (2013–present) – * IBM Watson Group (2014–present) – business unit created around Watson (computer), Watson, to further its development and deploy marketable applications or services based on it.


Competitions and awards

Competitions and prizes in artificial intelligence * Loebner Prize –


Publications

* ''Adaptive Behavior (journal)'' – * ''AI Memo'' – * ''Artificial Intelligence: A Modern Approach'' – * ''Artificial Minds'' – * ''Computational Intelligence (journal), Computational Intelligence'' – * ''
Computing Machinery and Intelligence "Computing Machinery and Intelligence" is a seminal paper written by Alan Turing on the topic of artificial intelligence. The paper, published in 1950 in ''Mind (journal), Mind'', was the first to introduce his concept of what is now known as th ...
'' – * ''Electronic Transactions on Artificial Intelligence'' – * ''IEEE Intelligent Systems'' – * ''IEEE Transactions on Pattern Analysis and Machine Intelligence'' – * ''Neural Networks (journal)'' – * ''On Intelligence'' – * ''Paradigms of AI Programming: Case Studies in Common Lisp'' – * ''What Computers Can't Do''


Organizations

* Allen Institute for Artificial Intelligence – research institute funded by Microsoft co-founder Paul Allen to construct AI systems with reasoning, learning and reading capabilities. The current flagship project is Project Aristo, the goal of which is computers that can pass school science examinations (4th grade, 8th grade, and 12th grade) after preparing for the examinations from the course texts and study guides. * Artificial Intelligence Applications Institute * Association for the Advancement of Artificial Intelligence * European Coordinating Committee for Artificial Intelligence * European Neural Network Society * Future of Humanity Institute * Future of Life Institute – volunteer-run research and outreach organization that works to mitigate existential risks facing humanity, particularly existential risk from advanced artificial intelligence. * ILabs * International Joint Conferences on Artificial Intelligence * Machine Intelligence Research Institute * Partnership on AI – founded in September 2016 by Amazon, Facebook, Google, IBM, and Microsoft. Apple joined in January 2017. It focuses on establishing best practices for artificial intelligence systems and to educate the public about AI. * Society for the Study of Artificial Intelligence and the Simulation of Behaviour


Companies

* AI Companies of India * Alphabet Inc. ** DeepMind ** Google X *** Meka Robotics (acquired by Google X) *** Redwood Robotics (acquired by Google X) *** Boston Dynamics (acquired by Google X) * Baidu * IBM * Microsoft * OpenAI * Universal Robotics


Artificial intelligence researchers and scholars


1930s and 40s (generation 0)

* Alan Turing – * John von Neumann – * Norbert Wiener – * Claude Shannon – * Nathaniel Rochester (computer scientist), Nathaniel Rochester – * Walter Pitts – * Warren McCullough –


1950s (the founders)

* John McCarthy (computer scientist), John McCarthy – * Marvin Minsky – * Allen Newell – * Herbert A. Simon –


1960s (their students)

* Edward Feigenbaum – * Raj Reddy – * Seymour Papert – * Ray Solomonoff –


1970s

* Douglas Hofstadter –


1980s

* Judea Pearl – * Rodney Brooks –


1990s

* Yoshua Bengio – * Hugo de Garis – known for his research on the use of genetic algorithms to evolve neural networks using three-dimensional cellular automata inside field programmable gate arrays. * Geoffrey Hinton * Yann LeCun – Chief AI Scientist at Facebook, Facebook AI Research and founding director of the NYU Center for Data Science * Ray Kurzweil – developed optical character recognition (OCR), text-to-speech synthesis, and speech recognition systems. He has also authored multiple books on artificial intelligence and its potential promise and peril. In December 2012 Kurzweil was hired by Google in a full-time director of engineering position to "work on new projects involving machine learning and language processing". Google co-founder Larry Page and Kurzweil agreed on a one-sentence job description: "to bring natural language understanding to Google".


2000s on

* Nick Bostrom – * David Ferrucci – principal investigator who led the team that developed the Watson computer at IBM. * Andrew Ng – Director of the Stanford Artificial Intelligence Lab. He founded the Google Brain project at Google, which developed very large scale artificial neural networks using Google's distributed compute infrastructure. He is also co-founder of Coursera, a massive open online course (MOOC) education platform, with Daphne Koller. * Peter Norvig – co-author, with Stuart Russell, of ''Artificial Intelligence: A Modern Approach'', now the leading college text in the field. He is also Director of Research at Google, Inc. * Marc Raibert – founder of Boston Dynamics, developer of hopping, walking, and running robots. * Stuart J. Russell – co-author, with Peter Norvig, of ''Artificial Intelligence: A Modern Approach'', now the leading college text in the field. * Murray Shanahan – author of ''The Technological Singularity'', a primer on superhuman intelligence. * Eliezer Yudkowsky – founder of the Machine Intelligence Research Institute


See also

* Glossary of artificial intelligence * List of emerging technologies * Outline of machine learning * Artificial intelligence industry in China


References


Bibliography

* * * * * * * * *


External links


''A look at the re-emergence of A.I. and why the technology is poised to succeed given today's environment''
''ComputerWorld'', 2015 September 14
The Association for the Advancement of Artificial Intelligence

Freeview Video 'Machines with Minds' by the Vega Science Trust and the BBC/OU



Jonathan Edwards looks at AI (BBC audio)
С
Ray Kurzweil's website dedicated to AI including prediction of future development in AI
* {{DEFAULTSORT:Artificial Intelligence Applications of artificial intelligence Outlines of computing and engineering, Artificial intelligence Outlines, Artificial intelligence Computing-related lists, Artificial intelligence topics