Safe Rules and Intelligent Instantiation
Vladimir Lifschitz · 2015
The set of rules that are accepted by the ASP grounder gringo as safe is rather complicated, and we propose to view it as an approximation to a more general concept of a safe rule. We introduce a simple model of the process of intelligent instantiation and show that this process can be launched, without guarantee of termination, as long as all rules of the program are safe according to the new definition. In this sense, the proposed definition is not overly general.