liu.seSearch for publications in DiVA
ReferencesLink to record
Permanent link

Direct link
General domain circumscription and its effective reductions.
1998 (English)In: Fundamenta Informaticae, ISSN 0169-2968, Vol. 36, no 1, 23-55Artikel i tidskrift (Refereed) Published
Abstract [en]

We first define general domain circumscription (GDC) and provide it with a semantics. GDC subsumes existing domain circumscription proposals in that it allows varying of arbitrary predicates, functions, or constants, to maximize the minimization of the domain of a theory. We then show that for the class of semi-universal theories without function symbols, that the domain circumscription of such theories can be constructively reduced to logically equivalent first-order theories by using an extension of the DLS algorithm, previously proposed by the authors for reducing second-order formulas. We also show that for a certain class of domain circumscribed theories, that any arbitrary second-order circumscription policy applied to these theories is guaranteed to be reducible to a logically equivalent first-order theory. In the case of semi-universal theories with functions and arbitrary theories which are not separated, we provide additional results, which although not guaranteed to provide reductions in all cases, do provide reductions in some cases. These results are based on the use of fixpoint reductions.

National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-41617 (URN)10.3233/FI-1998-3612 (DOI)2-s2.0-0040880587 (ScopusID)58395 (Local ID)oai:DiVA.org:liu-41617 (OAI)
Available from2009-10-10 Created:2009-10-10 Last updated:2011-02-27

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Doherty, PatrickLukaszewicz, WitoldSzalas, Andrzej
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
In the same journal
Fundamenta Informaticae
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Citations

Web of Science®:

Altmetric score

Total: 32 hits
ReferencesLink to record
Permanent link

Direct link