Back to top: Automated logic
The term “automated logic” seems preferable over the term “artificial intelligence” because the latter implies a degree of autonomous agency which is in fact lacking.