Mostra el registre d'ítem simple
Representing upper probability Measures over rational Lukasiewicz logic
dc.contributor.author | Marchioni, Enrico |
dc.date.accessioned | 2013-04-15T17:10:23Z |
dc.date.available | 2013-04-15T17:10:23Z |
dc.date.issued | 2008 |
dc.identifier.citation | Marchioni, Enrico. Representing upper probability Measures over rational Lukasiewicz logic. "Mathware & Soft Computing", vol. 15, núm. 2, p. 159-173. |
dc.identifier.issn | 1134-5632 |
dc.identifier.uri | http://hdl.handle.net/2099/13198 |
dc.description.abstract | Upper probability measures are measures of uncertainty that generalize probability measures in order to deal with non-measurable events. Following an approach that goes back to previous works by H ajek, Esteva, and Godo, we show how to expand Rational Lukasiewicz Logic by modal operators in order to reason about upper probabilities of classical Boolean events ' so that ( ' ) can be read as \the upper probability of ' ". We build the logic U (R L) for representing upper probabilities and show it to be complete w.r.t. a class of Kripke structures equipped with an upper probability measure. Finally, we prove that the set of U (R L)-satis able formulas is NP-complete. |
dc.format.extent | 15 p. |
dc.language.iso | eng |
dc.publisher | Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica |
dc.relation.ispartof | Mathware & Soft Computing. 2008, vol. 15, núm. 2 |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teórica |
dc.subject.lcsh | Artificial intelligence |
dc.title | Representing upper probability Measures over rational Lukasiewicz logic |
dc.type | Article |
dc.subject.lemac | Intel•ligència artificial |
dc.description.peerreviewed | Peer Reviewed |
dc.subject.ams | Classificació AMS::68 Computer science::68T Artificial intelligence |
dc.rights.access | Open Access |
local.citation.author | Marchioni, Enrico |
local.citation.publicationName | Mathware & Soft Computing |
local.citation.volume | 15 |
local.citation.number | 2 |
local.citation.startingPage | 159 |
local.citation.endingPage | 173 |