推論技術:inference Technology Answer Set Programming: A Brief History of Logic Programming and ASP
A solution set program as a tool for representing complex knowledge information used in digital transformation and artificial intelligence tasks.