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

Direct link
General domain circumscription and its first-order reduction.
1996 (English)In: Proceedings of the 1st International Conference on Formal and Applied Practical Reasoning (FAPR) / [ed] Dov Gabbay, Hans Olbach, Springer Berlin/Heidelberg, 1996, 93-109Konferensbidrag (Refereed)
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 isolate a class of domain circumscribed theories, such 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.

Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1085
National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-41447 (URN)10.1007/3-540-61313-7_65 (DOI)56653 (Local ID)978-3-540-61313-8 (ISBN)oai:DiVA.org:liu-41447 (OAI)
Available from2009-10-10 Created:2009-10-10 Last updated:2012-02-13

Open Access in DiVA

No fulltext

Other links

Publisher's fulltext

Search in DiVA

By author/editor
Doherty, PatrickLukaszewicz, WitoldSzalas, Andrzej
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
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

Totalt: 12 hits
ReferencesLink to record
Permanent link

Direct link