English
Related papers

Related papers: Toward a combination rule to deal with partial con…

200 papers

Cooperation is of utmost importance to society as a whole, but is often challenged by individual self-interests. While game theory has studied this problem extensively, there is little work on interactions within and across groups with…

Physics and Society · Physics 2010-10-14 Dirk Helbing , Anders Johansson

We introduce a graceful approach to probabilistic inference called bounded conditioning. Bounded conditioning monotonically refines the bounds on posterior probabilities in a belief network with computation, and converges on final…

Artificial Intelligence · Computer Science 2013-04-08 Eric J. Horvitz , Jaap Suermondt , Gregory F. Cooper

The aim of this paper is to show the use of the coupled quasisolutions method as a useful technique when treating with ordinary differential equations with functional arguments of bounded variation. We will do this by looking for solutions…

Classical Analysis and ODEs · Mathematics 2016-11-26 Rubén Figueroa

We propose a simple method for combining together voting rules that performs a run-off between the different winners of each voting rule. We prove that this combinator has several good properties. For instance, even if just one of the base…

Artificial Intelligence · Computer Science 2012-03-15 Nina Narodytska , Toby Walsh , Lirong Xia

We consider the problem of fairly allocating a combination of divisible and indivisible goods. While fairness criteria like envy-freeness (EF) and proportionality (PROP) can always be achieved for divisible goods, only their relaxed…

Computer Science and Game Theory · Computer Science 2024-04-30 Bo Li , Zihao Li , Shengxin Liu , Zekai Wu

Recently, belief change within the framework of fragments of propositional logic has gained increasing attention. Previous works focused on belief contraction and belief revision on the Horn fragment. However, the problem of belief merging…

Artificial Intelligence · Computer Science 2014-04-28 Nadia Creignou , Odile Papini , Stefan Rümmele , Stefan Woltran

This paper extends the applications of belief-networks to include the revision of belief commitments, i.e., the categorical acceptance of a subset of hypotheses which, together, constitute the most satisfactory explanation of the evidence…

Artificial Intelligence · Computer Science 2013-04-12 Judea Pearl

Several aspects of fusion rings and fusion rule algebras, and of their manifestations in twodimensional (conformal) field theory, are described: diagonalization and the connection with modular invariance; the presentation in terms of…

High Energy Physics - Theory · Physics 2009-10-22 J. Fuchs

Common knowledge is crucial for safe group coordination. In its absence, humans must rely on shared knowledge, which is inherently limited in depth and therefore prone to coordination failures, because any finite-order knowledge attribution…

Multiagent Systems · Computer Science 2025-11-12 Thomas Bolander , Robin Engelhardt , Thomas S. Nicolet

In a real expert system, one may have unreliable, unconfident, conflicting estimates of the value for a particular parameter. It is important for decision making that the information present in this aggregate somehow find its way into use.…

Artificial Intelligence · Computer Science 2013-04-15 Henry Hamburger

We begin a systematic study of the enumerative combinatorics of mixed succession rules, which are succession rules such that, in the associated generating tree, the nodes are allowed to produce their sons at several different levels…

Combinatorics · Mathematics 2008-06-05 Silvia Bacchelli , Luca Ferrari , Renzo Pinzani , Renzo Sprugnoli

The delay monad provides a way to introduce general recursion in type theory. To write programs that use a wide range of computational effects directly in type theory, we need to combine the delay monad with the monads of these effects.…

Logic in Computer Science · Computer Science 2025-10-15 Rasmus Ejlers Møgelberg , Maaike Zwart

For decision making under uncertainty, min-max regret has been established as a popular methodology to find robust solutions. In this approach, we compare the performance of our solution against the best possible performance had we known…

Optimization and Control · Mathematics 2021-11-25 Marc Goerigk , Michael Hartisch

Within the framework of evidence theory, the confidence functions of different information can be combined into a combined confidence function to solve uncertain problems. The Dempster combination rule is a classic method of fusing…

Statistical Finance · Quantitative Finance 2021-08-09 Tianxiang Zhan , Fuyuan Xiao

An analysis of several important aspects of competition or conflict in games, social choice and decision theory is presented. Inherent difficulties and complexities in cooperation are highlighted. These have over the years led to a certain…

Optimization and Control · Mathematics 2007-05-23 Elemér E Rosinger

Reaching some form of consensus is often necessary for autonomous agents that want to coordinate their actions or otherwise engage in joint activities. One way to reach a consensus is by aggregating individual information, such as…

Multiagent Systems · Computer Science 2016-07-13 Marija Slavkovik

Variational inference algorithms such as belief propagation have had tremendous impact on our ability to learn and use graphical models, and give many insights for developing or understanding exact and approximate inference. However,…

Artificial Intelligence · Computer Science 2012-10-19 Qiang Liu , Alexander T. Ihler

Distributive laws are important for algebraic reasoning in arithmetic and logic. They are equally important for algebraic reasoning about concurrent programs. In existing theories such as Concurrent Kleene Algebra, only partial correctness…

Logic in Computer Science · Computer Science 2024-03-21 Larissa A. Meinicke , Ian J. Hayes

We propose a relaxation of common belief called factional belief that is suitable for the analysis of strategic coordination on social networks. We show how this definition can be used to analyze revolt games on general graphs, including by…

Computer Science and Game Theory · Computer Science 2020-12-22 Noah Burrell , Grant Schoenebeck

This is a survey and research note on the modified Orlik conjecture derived from the division theorem introduced in [2]. The division theorem is a generalization of classical addition-deletion theorems for free arrangements. The division…

Commutative Algebra · Mathematics 2016-03-15 Takuro Abe