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.
My Menu
Saved Items

Partial Models of Extended Generalized Logic Programs

José J. Alferes10, 12 Contact Information, Heinrich Herre11 Contact Information and Luís Moniz Pereira12 Contact Information

(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].

Contact Information José J. Alferes
Email: jja@di.fct.unl.pt

Contact Information Heinrich Herre
Email: herre@informatik.uni-leipzig.de

Contact Information Luís Moniz Pereira
Email: lmp@di.fct.unl.pt
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.109 • Server: mpweb23
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)