Sökning: WFRF:(Lukaszewicz Witold 1947 )
> (1995-1999) >
General domain circ...
General domain circumscription and its effective reductions.
-
- Doherty, Patrick, 1957- (författare)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning
-
- Lukaszewicz, Witold, 1947- (författare)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning
-
- Szalas, Andrzej, 1956- (författare)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning
-
(creator_code:org_t)
- IOS Press, 1998
- 1998
- Engelska.
-
Ingår i: Fundamenta Informaticae. - : IOS Press. - 0169-2968 .- 1875-8681. ; 36:1, s. 23-55
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.3...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Computer science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas