Distance-based non-deterministic semantics for reasoning with uncertainty

Ofer Arieli, Anna Zamansky

Research output: Contribution to journalArticlepeer-review


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 non-deterministic matrices and distance-based considerations, one obtains a family of logics that are useful for reasoning with uncertainty. These logics are a conservative extension of those that are obtained by standard (i.e., deterministic) distance-based semantics, and so usual distance-based methods (in the context of, e.g., belief revision, information integration, and social choice theory) are easily simulated within our framework. We investigate the basic properties of the distance-preferential non-deterministic logics, consider their application for reasoning with incomplete and inconsistent information, and show the correspondence between some particular entailments in our framework and well-known problems like max-SAT.

Original languageEnglish
Pages (from-to)325-350
Number of pages26
JournalLogic Journal of the IGPL
Issue number4
StatePublished - 2009
Externally publishedYes

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Distance-based non-deterministic semantics for reasoning with uncertainty'. Together they form a unique fingerprint.

Cite this