A carregar...
Publicação
Scenario semantics of extended logic programs
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 507.78 KB | Adobe PDF |
Orientador(es)
Resumo(s)
We present a coherent, fexible, unifying, and intuitive framework for the study of explicit negation in logic programs, based on the notion of admissible scenaria and the "coherence principle". With this support we introduce, in a simple way, a proposed "ideal sceptical semantics", as well as its well{ founded counterpart. Another result is a less sceptical "complete scenaria semantics", and its proof of equivalence to the well{founded semantics with explicit negation (WFSX). This has the added benect of bridging complete scenaria to default theory via WFSX, dened here based on Gelfond{Lifschitz operator.. Finally, we characterize a variety of more and less sceptical or credulous semantics, including answer{sets, and give sucient conditions for equivalence between those semantics.