Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/92546
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Marchioni, Enrico | - |
dc.date.accessioned | 2019-03-25T17:21:57Z | - |
dc.date.available | 2019-03-25T17:21:57Z | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | Marchioni, E. (2008). Representing upper probability measures over rational Lukasiewicz logic. Mathware & Soft Computing, 15(2), 159-173. | - |
dc.identifier.issn | 1134-5632MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/92546 | - |
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 v in order to reason about upper probabilities of classical boolean events y so that v(y) can be read as 'the upper probability of y'. 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. | en |
dc.language.iso | eng | - |
dc.publisher | Mathware & Soft Computing | - |
dc.relation.ispartof | Mathware & Soft Computing, 2008, 15(2) | - |
dc.relation.uri | https://upcommons.upc.edu/handle/2099/13198 | - |
dc.rights | CC BY | - |
dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | - |
dc.subject | informàtica teórica | ca |
dc.subject | theoretical computing | en |
dc.subject | lógica racional | es |
dc.subject | rational logic | en |
dc.subject | lògica racional | ca |
dc.subject | informática teórica | es |
dc.subject | probabilidad | es |
dc.subject | probability | en |
dc.subject | probabilitat | ca |
dc.subject.lcsh | Artificial intelligence | en |
dc.title | Representing upper probability measures over rational Lukasiewicz logic | - |
dc.type | info:eu-repo/semantics/article | - |
dc.subject.lemac | Intel·ligència artificial | ca |
dc.subject.lcshes | Inteligencia artificial | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.gir.id | AR/0000001373 | - |
dc.type.version | info:eu-repo/semantics/publishedVersion | - |
Aparece en las colecciones: | Articles cientÍfics Articles |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
marchioni.pdf | 237,67 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons