Automating commonsense reasoning, i.e., automating the human thought process, has been considered fiendishly difficult. It is widely believed that automation of commonsense reasoning is needed to build intelligent systems that can rival humans. We argue that answer set programming (ASP) along with its goal-directed implementation allows us to reach this automation goal. We discuss essential elements needed for automating the human thought process and show how they are realized in ASP and the s(CASP) goal-directed ASP engine developed in our lab. We also show how default rules, expressible in ASP, help solve the explainable AI problem.
Speaker: Dr. Gopal Gupta, UT Dallas
