bibtype |
J -
Journal Article
|
ARLID |
0376409 |
utime |
20240103200824.6 |
mtime |
20120511235959.9 |
WOS |
000302970000001 |
DOI |
10.1016/j.ijar.2011.10.007 |
title
(primary) (eng) |
States in Lukasiewicz logic correspond to probabilities of rational polyhedra |
specification |
|
serial |
ARLID |
cav_un_epca*0256774 |
ISSN |
0888-613X |
title
|
International Journal of Approximate Reasoning |
volume_id |
53 |
volume |
4 (2012) |
page_num |
435-446 |
publisher |
|
|
keyword |
state |
keyword |
Lukasiewicz logic |
keyword |
rational polyhedron |
author
(primary) |
ARLID |
cav_un_auth*0101141 |
name1 |
Kroupa |
name2 |
Tomáš |
full_dept (cz) |
Matematická teorie rozhodování |
full_dept (eng) |
Department of Decision Making Theory |
department (cz) |
MTR |
department (eng) |
MTR |
institution |
UTIA-B |
full_dept |
Department of Decision Making Theory |
fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
cas_special |
project |
project_id |
1M0572 |
agency |
GA MŠk |
ARLID |
cav_un_auth*0001814 |
|
project |
project_id |
GA201/09/1891 |
agency |
GA ČR |
ARLID |
cav_un_auth*0253175 |
|
research |
CEZ:AV0Z10750506 |
abstract
(eng) |
It will be shown that probabilities of infinite-valued events represented by formulas in Lukasiewicz propositional logic are in one-to-one correspondence with tight probability measures over rational polyhedra in the unit hypercube. This result generalizes a recent work on rational measures of polyhedra and provides an elementary geometric approach to reasoning under uncertainty with states in Lukasiewicz logic. |
reportyear |
2013 |
RIV |
BA |
permalink |
http://hdl.handle.net/11104/0208816 |
mrcbT16-e |
COMPUTERSCIENCEARTIFICIALINTELLIGENCE |
mrcbT16-f |
2.165 |
mrcbT16-g |
0.447 |
mrcbT16-h |
5.5 |
mrcbT16-i |
0.00618 |
mrcbT16-j |
0.745 |
mrcbT16-k |
1920 |
mrcbT16-l |
85 |
mrcbT16-s |
1.494 |
mrcbT16-4 |
Q1 |
mrcbT16-B |
65.146 |
mrcbT16-C |
70.000 |
mrcbT16-D |
Q2 |
mrcbT16-E |
Q1 |
arlyear |
2012 |
mrcbU34 |
000302970000001 WOS |
mrcbU63 |
cav_un_epca*0256774 International Journal of Approximate Reasoning 0888-613X 1873-4731 Roč. 53 č. 4 2012 435 446 Elsevier |
|