TY - GEN
T1 - Reasoning with uncertainty by Nmatrix-metric semantics
AU - Arieli, Ofer
AU - Zamansky, Anna
PY - 2008
Y1 - 2008
N2 - Non-deterministic matrices, a natural generalization of many-valued matrices, are semantic structures in which the value assigned to a complex formula may be chosen non-deterministically from a given set of options. We show that by combining Nmatrices and preferential metric-based considerations, one obtains a family of logics that are useful for reasoning with uncertainty. We investigate the basic properties of these logics and demonstrate their usefulness in handling incomplete and inconsistent information.
AB - Non-deterministic matrices, a natural generalization of many-valued matrices, are semantic structures in which the value assigned to a complex formula may be chosen non-deterministically from a given set of options. We show that by combining Nmatrices and preferential metric-based considerations, one obtains a family of logics that are useful for reasoning with uncertainty. We investigate the basic properties of these logics and demonstrate their usefulness in handling incomplete and inconsistent information.
UR - http://www.scopus.com/inward/record.url?scp=47749134242&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-69937-8_8
DO - 10.1007/978-3-540-69937-8_8
M3 - Conference contribution
AN - SCOPUS:47749134242
SN - 3540699368
SN - 9783540699361
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 69
EP - 82
BT - Logic, Language, Information and Computation - 15th International Workshop, WoLLIC 2008, Proceedings
T2 - 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008
Y2 - 1 July 2008 through 4 July 2008
ER -