Refers to the study and implementation of machine-based logic and data-driven inference models. Covers algorithmic approaches used in automated analysis and control.