Abstract | ||
---|---|---|
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly developing towards a foundational logical theory and has found numerous applications. The novelty of Nmatrices is in extending the usual many-valued algebraic semantics of logical systems by importing the idea of non-deterministic computations, and allowing the truth-value of a formula to be chosen non-deterministically out of a given set of options. Nmatrices have proved to be a powerful tool, the use of which preserves all the advantages of ordinary many-valued matrices, but is applicable to a much wider range of logics. Indeed, there are many useful (propositional) non-classical logics, which have no finite multi-valued characteristic matrices, but {do} have finite Nmatrices, and thus are decidable. In this tutorial we introduce the reader to the concept of Nmatrices, and demonstrate their usefulness by providing modular non-deterministic semantics for a well-known family of logics for reasoning under uncertainty. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/ISMVL.2010.18 | ISMVL |
Keywords | Field | DocType |
usual many-valued algebraic semantics,non-classical logic,modular non-deterministic semantics,non-deterministic computation,non-deterministic multi-valued logics,logical system,ordinary many-valued matrix,foundational logical theory,finite multi-valued characteristic matrix,finite nmatrices,non-deterministic multi-valued matrix,logic gates,noise measurement,cost accounting,semantics,uncertainty,application software,non classical logic,fuzzy logic,cognition,computer science,mathematical model | Discrete mathematics,Computer science,Matrix (mathematics),Fuzzy logic,Decidability,Theoretical computer science,Modular design,Application software,Semantics,Algebraic semantics,Computation | Conference |
ISSN | ISBN | Citations |
0195-623X | 978-1-4244-6752-5 | 1 |
PageRank | References | Authors |
0.35 | 5 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Arnon Avron | 1 | 1292 | 147.65 |
Anna Zamansky | 2 | 245 | 43.38 |