Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Partial Models of Extended Generalized Logic Programs
| |
|
Partial Models of Extended Generalized Logic Programs
José J. Alferes10, 12 , Heinrich Herre11 and Luís Moniz Pereira12 
| (10) |
Departamento de Matemática, Universidade de Évora, Portugal |
| (11) |
Institute of Informatics, University of Leipzig, Augustusplatz 10-11, Germany |
| (12) |
Centro de Inteligência, Universidade Nova de Lisboa, 2825 Monte da Caparica, Portugal |
Abstract
In recent years there has been an increasing interest in extensions of the logic programming paradigm beyond the class of
normal logic programs motivated by the need for a satisfactory respresentation and processing of knowledge. An important problem
in this area is to find an adequate declarative semantics for logic programs. In the present paper a general preference criterion
is proposed that selects the ‘intended’ partial models of extended generalized logic programs which is a conservative extension
of the stationary semantics for normal logic programs of [13], [14] and generalizes the WFSX-semantics of [12]. The presented preference criterion defines a partial model of an extended generalized logic program as intended if it is
generated by a stationary chain. The GWFSX-semantics is defined by the set-theoretical intersection of all stationary generated
models, and thus generalizes the results from [9] and [1].
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|