Similar to 自動推論

Mondex

Finite-state machine

Loop invariant

Safety-critical system

Artificial intelligence

Apple Intelligence

DABUS

ID3 algorithm

Jabberwacky

Logic Theorist

MNIST database

NovelAI

Open Neural Network Exchange

OpenAI o1

PARRY

REST

SHRDLU

Soar (cognitive architecture)

Stanford Research Institute Problem Solver

Udio

VALL-E

Web intelligence