Heuristic Search

Fuzzy Logic

A form of logic that handles approximate reasoning, allowing variables to have degrees of truth rather than strict binary true/false values.

Bayesian Reasoning

A statistical approach to AI that uses Bayes' theorem to update probability estimates as new evidence becomes available.

State Space Search

A method of problem-solving that represents all possible states of a system and searches for a path from initial to goal state.

Constraint Satisfaction

A computational approach where problems are defined as a set of variables, domains, and constraints that must all be simultaneously satisfied.

Planning Algorithm

An AI algorithm that generates a sequence of actions to achieve a specified goal from an initial state.

Forward Chaining

An inference strategy that starts with known facts and applies rules to derive new conclusions until a goal is reached.

Backward Chaining

An inference strategy that starts with a goal and works backward through rules to determine what facts must be true.

Abductive Reasoning

A form of logical inference that seeks the simplest and most likely explanation for a set of observations.

Reducing the precision of neural network weights and activations from floating-point to lower-bit representations for efficiency.

The frameworks, policies, and regulations that guide the responsible development and deployment of AI technologies.

Computing systems that simulate human thought processes using self-learning algorithms, data mining, pattern recognition, and natural language processing.

A theoretical level of AI that surpasses human cognitive abilities across all domains, including creativity and social intelligence.

Standardised tests and datasets used to evaluate and compare the performance of AI models across specific tasks.

A prompting technique that encourages language models to break down reasoning into intermediate steps before providing an answer.

The practice of making AI systems' operations, data usage, and decision processes openly visible to stakeholders.

Querying a language model to perform a task it was not explicitly trained on, without providing any examples in the prompt.