Data Science

Production System

Heuristic

Rule Based System

Backward Chaining

Rule of Inference

Horn Clause

Forward Chaining

Computer Science Ontology

General Artificial Intelligence

Super Artificial Intelligence

Strong Artificial Intelligence

Conceptual Dependency Theory

Script Theory

Situation Calculus

Event Calculus

Particle Swarm Optimization

Metaheuristic

Bayesian Decision Networks

Human Enhancement

Existential Risk from Artificial General Intelligence