English
Related papers

Related papers: Possible World Partition Sequences: A Unifying Fra…

200 papers

In this paper some initial work towards a new approach to qualitative reasoning under uncertainty is presented. This method is not only applicable to qualitative probabilistic reasoning, as is the case with other methods, but also allows…

Artificial Intelligence · Computer Science 2013-03-08 Simon Parsons , E. H. Mamdani

Signed networks appear naturally in contexts where conflict or animosity is apparent. In this book chapter we review some of the literature on signed networks, especially in the context of partitioning. Most of the work is founded in what…

Physics and Society · Physics 2018-03-07 V. A. Traag , P. Doreian , A. Mrvar

Uncertainty representation and quantification are paramount in machine learning and constitute an important prerequisite for safety-critical applications. In this paper, we propose novel measures for the quantification of aleatoric and…

Machine Learning · Computer Science 2024-04-22 Paul Hofman , Yusuf Sale , Eyke Hüllermeier

We introduce a new semantics for justification logic based on subset relations. Instead of using the established and more symbolic interpretation of justifications, we model justifications as sets of possible worlds. We introduce a new…

Logic · Mathematics 2020-08-19 Eveline Lehmann , Thomas Studer

Quantum cognition often explains order effects, contextuality, and violations of the law of total probability by replacing classical probability with quantum probability on a fixed event structure. This paper proposes a different…

Artificial Intelligence · Computer Science 2026-05-26 Song-Ju Kim

We synthesize and unify notions of regularity, both of individual sets and of collections of sets, as they appear in the convergence theory of projection methods for consistent feasibility problems. Several new characterizations of…

Optimization and Control · Mathematics 2018-05-15 Alexander Y. Kruger , D. Russell Luke , Nguyen H. Thao

The idea that events obey a definite causal order is deeply rooted in our understanding of the world and at the basis of the very notion of time. But where does causal order come from, and is it a necessary property of nature? We address…

Quantum Physics · Physics 2013-02-15 Ognyan Oreshkov , Fabio Costa , Caslav Brukner

We present a universal framework for constructing confidence sets based on sequential likelihood mixing. Building upon classical results from sequential analysis, we provide a unifying perspective on several recent lines of work, and…

Machine Learning · Statistics 2025-02-21 Johannes Kirschner , Andreas Krause , Michele Meziu , Mojmir Mutny

We present a categorical construction for modelling causal structures within a general class of process theories that include the theory of classical probabilistic processes as well as quantum theory. Unlike prior constructions within…

Quantum Physics · Physics 2023-06-22 Aleks Kissinger , Sander Uijlen

This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty (and even more, that there are kinds of uncertainty which are for principled reasons not addressable with probabilistic means);…

Artificial Intelligence · Computer Science 2017-03-02 Tarek R. Besold , Artur d'Avila Garcez , Keith Stenning , Leendert van der Torre , Michiel van Lambalgen

We provide a unified and strengthened framework for the product form and the sum form variance-based uncertainty relations by constructing a unified uncertainty relation. In the unified framework, we deduce that the uncertainties of the…

Quantum Physics · Physics 2020-02-24 Xiao Zheng , Shao-Qiang Ma , Guo-Feng Zhang , Heng Fan , Wu-Ming Liu

Causal reasoning is essential for understanding decision-making about the behaviour of complex `ecosystems' of systems that underpin modern society, with security -- including issues around correctness, safety, resilience, etc. -- typically…

Logic in Computer Science · Computer Science 2025-08-05 Pinaki Chakraborty , Tristan Caulfield , David Pym

Multivariate information theory provides a general and principled framework for understanding how the components of a complex system are connected. Existing analyses are coarse in nature -- built up from characterizations of discrete…

Information Theory · Computer Science 2025-05-30 Kieran A. Murphy , Yujing Zhang , Dani S. Bassett

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

A new approach for uncertainty management for fuzzy, rule based decision support systems is proposed: The domain expert's knowledge is expressed by a set of rules that frequently refer to vague and uncertain propositions. The certainty of…

Artificial Intelligence · Computer Science 2013-04-10 Christoph F. Eick

Quantified modal logic provides a natural logical language for reasoning about modal attitudes even while retaining the richness of quantification for referring to predicates over domains. But then most fragments of the logic are…

Logic in Computer Science · Computer Science 2018-03-29 Anantha Padmanabha , R. Ramanujam , Yanjing Wang

Theories of natural language and concepts have been unable to model the flexibility, creativity, context-dependence, and emergence, exhibited by words, concepts and their combinations. The mathematical formalism of quantum theory has…

Artificial Intelligence · Computer Science 2016-09-09 Diederik Aerts , Jan Broekaert , Liane Gabora , Sandro Sozzo

Starting with a likelihood or preference order on worlds, we extend it to a likelihood ordering on sets of worlds in a natural way, and examine the resulting logic. Lewis earlier considered such a notion of relative likelihood in the…

Artificial Intelligence · Computer Science 2016-08-31 J. Y. Halpern

Probabilistic puzzles can be confusing, partly because they are formulated in natural languages - full of unclarities and ambiguities - and partly because there is no widely accepted and intuitive formal language to express them. We propose…

Logic in Computer Science · Computer Science 2025-04-11 Elena Di Lavore , Bart Jacobs , Mario Román

In this paper, we deal with the problem of putting together modal worlds that operate in different logic systems. When evaluating a modal sentence $\Box \varphi$, we argue that it is not sufficient to inspect the truth of $\varphi$ in…

Logic · Mathematics 2022-03-02 Alfredo Roque Freire , Manuel A. Martins