English
Related papers

Related papers: General combination rules for qualitative and quan…

200 papers

A framework for consensus modelling is introduced using Kleene's three valued logic as a means to express vagueness in agents' beliefs. Explicitly borderline cases are inherent to propositions involving vague concepts where sentences of a…

Multiagent Systems · Computer Science 2018-01-15 Michael Crosscombe , Jonathan Lawry

Conceptual combination performs a fundamental role in creating the broad range of compound phrases utilized in everyday language. This article provides a novel probabilistic framework for assessing whether the semantics of conceptual…

Computation and Language · Computer Science 2014-11-24 Peter D. Bruza , Kirsty Kitto , Brentyn J. Ramm , Laurianne Sitbon

In Information fusion, the conflict is an important concept. Indeed, combining several imperfect experts or sources allows conflict. In the theory of belief functions, this notion has been discussed a lot. The mass appearing on the empty…

Artificial Intelligence · Computer Science 2017-09-14 Arnaud Martin

We propose a conjugate logic that can capture the behavior of quantum and quantum-like systems. The proposal is similar to the more generic concept of epistemic logic: it encodes knowledge or perhaps more correctly, predictions about…

Quantum Physics · Physics 2024-01-10 Niklas Johansson , Felix Huber , Jan-Åke Larsson

The study of theory combination in Satisfiability Modulo Theories (SMT) involves various model theoretic properties (e.g., stable infiniteness, smoothness, etc.). We show that such properties can be partly captured by the natural density of…

Logic in Computer Science · Computer Science 2025-05-23 Guilherme V. Toledo , Yoni Zohar

In this paper, a model is proposed for the kernel in the generalized mixing rule recently formulated by Anderssen and Mead (1998). In order to derive such a model, it is necessary to take account of the rheological significance of the…

Materials Science · Physics 2009-10-31 Wolfgang Thimm , Christian Friedrich , Tobias Roths , Josef Honerkamp

Recent high-precision experimental confirmations of quantum complementarity have revitalized foundational debates about measurement, description, and realism. This article argues that complementarity is most productively interpreted as an…

Neurons and Cognition · Quantitative Biology 2026-01-23 Lalit Kumar Shukla

A class of discrete Bidding Combinatorial Games that generalize alternating normal play was introduced by Kant, Larsson, Rai, and Upasany (2022). The major questions concerning optimal outcomes were resolved. By generalizing standard game…

Computer Science and Game Theory · Computer Science 2023-10-31 Prem Kant , Urban Larsson , Ravi K. Rai , Akshay V. Upasany

We aim to design strategies for sequential decision making that adjust to the difficulty of the learning problem. We study this question both in the setting of prediction with expert advice, and for more general combinatorial decision…

Machine Learning · Computer Science 2015-03-02 Wouter M. Koolen , Tim van Erven

The management and combination of uncertain, imprecise, fuzzy and even paradoxical or high conflicting sources of information has always been, and still remains today, of primal importance for the development of reliable modern information…

Artificial Intelligence · Computer Science 2009-03-03 Jean Dezert , Florentin Smarandache

Dempster-Shafer evidence theory has been widely used in various fields of applications, because of the flexibility and effectiveness in modeling uncertainties without prior information. However, the existing evidence theory is insufficient…

Artificial Intelligence · Computer Science 2019-06-28 Fuyuan Xiao

Consider a policymaker who wants to decide which intervention to perform in order to change a currently undesirable situation. The policymaker has at her disposal a team of experts, each with their own understanding of the causal…

Artificial Intelligence · Computer Science 2020-05-21 Dalal Alrajeh , Hana Chockler , Joseph Y. Halpern

This paper investigates the issues of combination and normalization of interval-valued belief structures within the framework of Dempster-Shafer theory of evidence. Existing approaches are reviewed and thoroughly analyzed. The advantages…

Artificial Intelligence · Computer Science 2020-11-30 Miao Qin , Yongchuan Tang

This paper examines the concept of a combination rule for belief functions. It is shown that two fairly simple and apparently reasonable assumptions determine Dempster's rule, giving a new justification for it.

Artificial Intelligence · Computer Science 2013-03-08 Nic Wilson

In this paper we investigate the question of how much combined measurements can increase the accuracy of additive quantities. Therefore, we consider a set of measurements from a selection of all possible combinations of the $n$ labeled…

Data Analysis, Statistics and Probability · Physics 2022-05-18 B. Mirbach , M. Boguslawski

P values or risk ratios from multiple, independent studies, observational or randomized, can be computationally combined to provide an overall assessment of a research question in meta-analysis. There is a need to examine the reliability of…

Methodology · Statistics 2021-10-28 S. Stanley Young , Warren B. Kindzierski

These last years, there were many studies on the problem of the conflict coming from information combination, especially in evidence theory. We can summarise the solutions for manage the conflict into three different approaches: first, we…

Artificial Intelligence · Computer Science 2008-12-18 Arnaud Martin , Christophe Osswald

Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but appears to be computational complex, and not tractable at…

Artificial Intelligence · Computer Science 2007-05-23 Omar Doukari , Robert Jeansoulin

In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differential linear logic and of the differential lambda-calculus are…

Logic in Computer Science · Computer Science 2024-01-29 Thomas Ehrhard

Reasoning with quantifier expressions in natural language combines logical and arithmetical features, transcending strict divides between qualitative and quantitative. Our topic is this cooperation of styles as it occurs in common…

Logic · Mathematics 2025-07-08 Johan van Benthem , Thomas Icard