Logical formalizations of commonsense reasoning
DavisErnest · 2017
Commonsense reasoning is in principle a central problem in artificial intelligence, but it is a very difficult one. One approach that has been pursued since the earliest days of the field has been ...