Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lottery paradox is presented and a new form of an amalgamation reversal is introduced. Together these puzzles highlight a difficulty for introducing measures of uncertainty to a variety of logical knowledge representation frameworks. The point is illustrated by contrasting the constraints on solutions to each puzzle with the structural properties of the preferential semantics for non-monotonic logics (System P), and also with systems of normal modal logics. The difficulties illustrate several points of tensions between the aggregation of uncertain information and agg...
Probability can be viewed as a multi-valued logic that extends binary Boolean propositional logic t...
National audienceThis paper proposes a conceptually simple but expressive framework for handling pro...
We present the syntax and proof theory of a logic of argumentation, LA. We also outline the developm...
Probability theory and fuzzy logic have been presented as quite distinct theoretical foundations for...
This work is partially based on a paper entitled “Can we enforce full compositionality in uncertaint...
Talks of Keynote Speakers (Conférencier invité)International audienceSets of formulas in classical l...
Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values, bu...
Probability is usually closely related to Boolean structures, i.e. Boolean algebras or propositional...
AbstractThis paper proposes an integrated approach to indeterminacy and epistemic uncertainty in ord...
AbstractProbability is usually closely related to Boolean structures, i.e., Boolean algebras or prop...
35th Annual Conference of the Cognitive Science Society, Berlin, Germany, 31 July - 3 August 2013In ...
In this article we demonstrate how algorithmic probability theory is applied to situations that invo...
Abstract. A bounded formula is a pair consisting of a propositional formula φ in the first coordinat...
International audienceWhen representing knowledge, it may be fruitful to distinguish between negativ...
International audienceThere has been a long-lasting misunderstanding in the literature of artificial...
Probability can be viewed as a multi-valued logic that extends binary Boolean propositional logic t...
National audienceThis paper proposes a conceptually simple but expressive framework for handling pro...
We present the syntax and proof theory of a logic of argumentation, LA. We also outline the developm...
Probability theory and fuzzy logic have been presented as quite distinct theoretical foundations for...
This work is partially based on a paper entitled “Can we enforce full compositionality in uncertaint...
Talks of Keynote Speakers (Conférencier invité)International audienceSets of formulas in classical l...
Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values, bu...
Probability is usually closely related to Boolean structures, i.e. Boolean algebras or propositional...
AbstractThis paper proposes an integrated approach to indeterminacy and epistemic uncertainty in ord...
AbstractProbability is usually closely related to Boolean structures, i.e., Boolean algebras or prop...
35th Annual Conference of the Cognitive Science Society, Berlin, Germany, 31 July - 3 August 2013In ...
In this article we demonstrate how algorithmic probability theory is applied to situations that invo...
Abstract. A bounded formula is a pair consisting of a propositional formula φ in the first coordinat...
International audienceWhen representing knowledge, it may be fruitful to distinguish between negativ...
International audienceThere has been a long-lasting misunderstanding in the literature of artificial...
Probability can be viewed as a multi-valued logic that extends binary Boolean propositional logic t...
National audienceThis paper proposes a conceptually simple but expressive framework for handling pro...
We present the syntax and proof theory of a logic of argumentation, LA. We also outline the developm...