Skip to main content

1990 | OriginalPaper | Buchkapitel

On Open Defaults

verfasst von : Vladimir Lifschitz

Erschienen in: Computational Logic

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

In Reiter’s default logic, the parameters of a default are treated as metavariables for ground terms. We propose an alternative definition of an extension for a default theory, which handles parameters as genuine object variables. The new form of default logic may be preferable when the domain closure assumption is not postulated. It stands in a particularly simple relation to circumscription. Like circumscription, it can be viewed as a syntactic transformation of formulas of higher order logic.

Metadaten
Titel
On Open Defaults
verfasst von
Vladimir Lifschitz
Copyright-Jahr
1990
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-76274-1_3

Neuer Inhalt