Mostra el registre d'ítem simple

dc.contributor.authorNieves, Juan Carlos
dc.contributor.authorCortés García, Claudio Ulises
dc.contributor.authorOsorio Galindo, Mauricio
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2016-05-11T07:33:36Z
dc.date.available2016-05-11T07:33:36Z
dc.date.issued2008-11
dc.identifier.citationNieves, J.C., Cortés, C., Osorio, M. "Semantics for possibilistic disjunctive programs". 2008.
dc.identifier.urihttp://hdl.handle.net/2117/86911
dc.description.abstractWe define a possibilistic disjunctive logic programming approach for modeling uncertain, incomplete and inconsistent information. This approach introduces the use of possibilistic disjunctive clauses which are able to capture incomplete information and incomplete states of a knowledge base at the same time. This approach is computable and moreover allows encoding uncertain information by using either numerical values or relative likelihoods. In order to define the semantics of the possibilistic disjunctive programs, three approaches are defined: 1.- The first is strictly close to the proof theory of possibilistic logic and answer set models; 2.- The second is based on partial evaluation, a fix-point operator and answer set models; and 3.- The last is also based on the proof theory of possibilistic logic and pstable semantics. 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 by a medical scenario.
dc.format.extent43 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-08-31-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
dc.subject.otherAnswer set programming
dc.subject.otherUncertain information
dc.subject.otherPossibilistic reasoning
dc.titleSemantics for possibilistic disjunctive programs
dc.typeExternal research report
dc.contributor.groupUniversitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic
dc.rights.accessOpen Access
local.identifier.drac647196
dc.description.versionPostprint (published version)
local.citation.authorNieves, J.C.; Cortés, C.; Osorio, M.


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple