category machine-reasoning