Showing papers by "Ofer Arieli published in 2009"
TL;DR: The basic properties of the distance-preferential non-deterministic logics are investigated, their application for reasoning with incomplete and inconsistent information is considered, and the correspondence between some particular entailments in the framework and well-known problems like max-SAT is shown.
Abstract: 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.
9 citations
05 Jun 2009
TL;DR: This work introduces a modular framework for formalizing reasoning with incomplete and inconsistent information that is composed of non-deterministic semantic structures and distance-based considerations and investigates the basic properties of these entailments and demonstrates their usefulness in the context of model-based diagnostic systems.
Abstract: We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structures and distance-based considerations. The combination of these two principles leads to a variety of entailment relations that can be used for reasoning about non-deterministic phenomena and are inconsistency-tolerant. We investigate the basic properties of these entailments and demonstrate their usefulness in the context of model-based diagnostic systems.
2 citations