Extensions for open default theories via the domain closure assumption

Publisher Website
Google Scholar
Abstract
In this paper we analyse the semantical definition of extensions for open default theories. We argue that this definition reflects the domain closure assumption and show how the domain closure assumption for countable and finite domains can be expressed in first-order default logic extended with the Carnap rule of inference. Also we give examples of the domain dependence of extensions for open default theories. In particular, we show that such extensions do not possess the minimality property.

This publication has 0 references indexed in Scilit: