3,835 research outputs found
Epistemic Logic with Partial Dependency Operator
In this paper, we introduce dependency modality
into epistemic logic so as to reason about
dependency relationship in Kripke models. The resulted dependence epistemic
logic possesses decent expressivity and beautiful properties. Several
interesting examples are provided, which highlight this logic's practical
usage. The logic's bisimulation is then discussed, and we give a sound and
strongly complete axiomatization for a sub-language of the logic
A logic for reasoning about upper probabilities
We present a propositional logic %which can be used to reason about the
uncertainty of events, where the uncertainty is modeled by a set of probability
measures assigning an interval of probability to each event. We give a sound
and complete axiomatization for the logic, and show that the satisfiability
problem is NP-complete, no harder than satisfiability for propositional logic.Comment: A preliminary version of this paper appeared in Proc. of the 17th
Conference on Uncertainty in AI, 200
Toward a probability theory for product logic: states, integral representation and reasoning
The aim of this paper is to extend probability theory from the classical to
the product t-norm fuzzy logic setting. More precisely, we axiomatize a
generalized notion of finitely additive probability for product logic formulas,
called state, and show that every state is the Lebesgue integral with respect
to a unique regular Borel probability measure. Furthermore, the relation
between states and measures is shown to be one-one. In addition, we study
geometrical properties of the convex set of states and show that extremal
states, i.e., the extremal points of the state space, are the same as the
truth-value assignments of the logic. Finally, we axiomatize a two-tiered modal
logic for probabilistic reasoning on product logic events and prove soundness
and completeness with respect to probabilistic spaces, where the algebra is a
free product algebra and the measure is a state in the above sense.Comment: 27 pages, 1 figur
- …