Semantics for Possibilistic Disjunctive Programs release_d6be4dfdxvfgrjmssuyq34uhre

by JUAN CARLOS NIEVES, MAURICIO OSORIO, ULISES CORTÉS

Published in Theory and Practice of Logic Programming by Cambridge University Press (CUP).

2011   Volume 13, Issue 01, p33-70

Abstract

<jats:title>Abstract</jats:title>In this paper, a possibilistic disjunctive logic programming approach for modeling uncertain, incomplete, and inconsistent information is defined. This approach introduces the use of possibilistic disjunctive clauses, which are able to capture incomplete information and states of a knowledge base at the same time. By considering a possibilistic logic program as a possibilistic logic theory, a construction of a possibilistic logic programming semantic based on answer sets and the proof theory of possibilistic logic is defined. It shows that this possibilistic semantics for disjunctive logic programs can be characterized by a fixed-point operator. It is also shown that the suggested possibilistic semantics can be computed by a resolution algorithm and the consideration of optimal refutations from a possibilistic logic theory. In order to manage inconsistent possibilistic logic programs, a preference criterion between inconsistent possibilistic models is defined. In addition, the approach of cuts for restoring consistency of an inconsistent possibilistic knowledge base is adopted. The approach is illustrated in a medical scenario.
In application/xml+jats format

Archived Files and Locations

application/pdf  110.7 kB
file_4hqtop4r6vd4jiyfrnyir6l4by
www.lsi.upc.edu (web)
web.archive.org (webarchive)
application/pdf  318.4 kB
file_5hyn4p34dzhtbcwdu4xm6zyp2e
web.archive.org (webarchive)
www.lsi.upc.edu (web)
application/pdf  433.5 kB
file_i534kgmn2zh75msii7zgkiq7ru
web.archive.org (webarchive)
upcommons.upc.edu (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2011-07-28
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1471-0684
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 5457e77d-0d58-4c34-9907-075fa869f9bf
API URL: JSON