George Boole
(4 articles)
1854
Boolean
Based on Boolean algebra, involving binary variables representing true or false, essential for logic operations in AI systems.
Generality: 500

1956
Automaton
A self-operating machine or control mechanism designed to follow a predetermined sequence of operations or respond to encoded instructions.
Generality: 500

1960
Satisfiability
The problem of determining if there exists an interpretation that satisfies a given logical formula.
Generality: 775

1960
Numerical Data
Data that is represented in the form of numbers, allowing for quantitative analysis and computational applications in AI and ML.
Generality: 500