English
Related papers

Related papers: Defining Relative Likelihood in Partially-Ordered …

200 papers

There are two main approach to probability, one of set-theoretic character where probability is the measure of a set, and another one of linguistic character where probability is the degree of confidence in a proposition. In this work we…

Logic · Mathematics 2013-10-24 Maurizio Negri

The definition of preferences assigned to individuals is a concept that concerns many disciplines, from economics, with the search of an acceptable outcome for an ensemble of individuals, to decision making an analysis of vote systems. We…

Physics and Society · Physics 2008-12-02 Elena Ramirez Barrios , Juan G. Diaz Ochoa

Reasoning under uncertainty is a fundamental challenge in Artificial Intelligence. As with most of these challenges, there is a harsh dilemma between the expressive power of the language used, and the tractability of the computational…

Artificial Intelligence · Computer Science 2025-05-08 Luise Ge , Brendan Juba , Kris Nilsson

Most of the stochastic orders for comparing random variables, considered in the literature, are afflicted with two main drawbacks: (i) lack of connex property and (ii) lack of consideration of any dependence structure between the random…

Methodology · Statistics 2021-03-03 Sugata Ghosh , Asok K. Nanda

We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.

Logic · Mathematics 2019-01-04 Antti Kuusisto

The development of science and technology has progressively demonstrated the ability of humankind to understand and manipulate the physical world, and it has also shown some fundamental limitations to predictability of physical events. This…

History and Philosophy of Physics · Physics 2022-06-03 Ezequiel López-Rubio

Word order is an important concept in natural language, and in this work, we study how word order affects the induction of world knowledge from raw text using language models. We use word analogies to probe for such knowledge. Specifically,…

Computation and Language · Computer Science 2024-03-05 Qinghua Zhao , Vinit Ravishankar , Nicolas Garneau , Anders Søgaard

Within classical propositional logic, assigning probabilities to formulas is shown to be equivalent to assigning probabilities to valuations. A novel notion of probabilistic entailment enjoying desirable properties of logical consequence is…

Logic · Mathematics 2016-01-13 Joao Rasga , Cristina Sernadas , Amilcar Sernadas

This contribution derives from a rather extensive study on the foundations of probability. We start by discussing critically the two main models of the random event in Probability Theroy and cast light over a number of incongruities. We…

Probability · Mathematics 2007-05-23 Paolo Rocchi , Leonida Gianfagna

A probabilistic propositional logic, endowed with an epistemic component for asserting (non-)compatibility of diagonizable and bounded observables, is presented and illustrated for reasoning about the random results of projective…

Logic · Mathematics 2018-03-20 A. Sernadas , J. Rasga , C. Sernadas , L. Alcácer , A. B. Henriques

We analyze selected iterated conditionals in the framework of conditional random quantities. We point out that it is instructive to examine Lewis's triviality result, which shows the conditions a conditional must satisfy for its probability…

Probability · Mathematics 2020-03-17 Giuseppe Sanfilippo , Angelo Gilio , David Over , Niki Pfeifer

The usual stochastic order and the likelihood ratio order between probability distributions on the real line are reviewed in full generality. In addition, for the distribution of a random pair $(X,Y)$, it is shown that the conditional…

Statistics Theory · Mathematics 2023-03-08 Lutz Duembgen , Alexandre Moesching

In many situations, the decision maker observes items in sequence and needs to determine whether or not to retain a particular item immediately after it is observed. Any decision rule creates a set of items that are selected. We consider…

Probability · Mathematics 2007-05-23 Abba M. Krieger , Moshe Pollak , Ester Samuel-Cahn

The problem of assigning probabilities when little is known is analized in the case where the quanities of interest are physical observables, i.e. can be measured and their values expressed by numbers. It is pointed out that the assignment…

Data Analysis, Statistics and Probability · Physics 2012-08-29 Vesselin I. Dimitrov

A natural partial order on the set of prime numbers was derived by the author from the internal symmetries of the primary finite fields, independently of Ford a.a., who investigated Pratt trees for primality tests. It leads to a…

Number Theory · Mathematics 2014-07-25 Lucian M. Ionescu

Categorical responses arise naturally within various scientific disciplines. In many circumstances, there is no predetermined order for the response categories, and the response has to be modeled as nominal. In this study, we regard the…

Statistics Theory · Mathematics 2024-03-20 Tianmeng Wang , Jie Yang

We present a propositional logic 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…

Artificial Intelligence · Computer Science 2014-08-08 Joseph Y. Halpern , Riccardo Pucella

In this work we generalize standard Decision Theory by assuming that two outcomes can also be incomparable. Two motivating scenarios show how incomparability may be helpful to represent those situations where, due to lack of information,…

Computer Science and Game Theory · Computer Science 2014-04-04 Piero A. Bonatti , Marco Faella , Luigi Sauro

Here it is shown that standard set theory can be interpreted in a theory about order. The ordering here is about non-extensional flat classes, i.e. classes that are not elements of classes. So, stipulating a nearly well order over all those…

Logic · Mathematics 2023-12-20 Zuhair Al-Johar

We present a first-order logic equipped with an "asymmetric" directed notion of equality, which can be thought of as rewrites between terms, allowing for types to be interpreted as preorders. The logic is equipped with a precise syntactic…

Logic in Computer Science · Computer Science 2026-05-12 Andrea Laretto , Fosco Loregian , Niccolò Veltri